erlv

PLDI 2012 List of Accepted Papers

编译前沿, 编译技术 No Responses »

二 042012

List of Accepted Papers 论文收录

* The acceptance of a few additional papers is still pending

Compiling a High-Level Language for GPUs (via Language Support for Architectures and Compilers)

Christophe Dubach¹², Perry Cheng¹, Rodric Rabbah¹, David F. Bacon¹, Stephen Fink¹
¹IBM, ²University of Edinburgh

Synchronising C/C++ and POWER

Susmit Sarkar¹, Mark Batty¹, Scott Owens¹, Kayvan Memarian¹, Peter Sewell¹, Luc Maranget², Jade Alglave³, Derek Williams⁴
¹University of Cambridge, ²INRIA, ³University of Oxford, ⁴IBM

Static Analysis and Compiler Implementation of Idempotent Processing

Marc Kruijf, Karthikeyan Sankaralingam, Somesh Jha
University of Wisconsin – Madison

Adaptive Input-aware Compilation for Graphics Engines

Mehrzad Samadi¹, Amir Hormati², Mojtaba Mehrara¹, Scott Mahlke¹
¹University of Michigan, ²Microsoft Corporation

Automated Error Diagnosis Using Abductive Inference

Isil Dillig¹, Thomas Dillig¹, Alex Aiken²
¹College of William & Mary, ²Stanford University

Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection

Santosh Nagarakatte¹, Sebastian Burckhardt², Milo M K Martin¹, Madanlal Musuvathi²
¹University of Pennsylvania, ²Microsoft Research

RockSalt: Better, Faster, Stronger SFI for the x86

Greg Morrisett¹, Gang Tan², Joseph Tassarotti¹, Jean-Baptiste Tristan¹, Edward Gan¹
¹Harvard University, ²Lehigh University

Fast and Precise Hybrid Type Inference for JavaScript

Brian Hackett¹, Shu-yu Guo²
¹Mozilla Corporation, ²University of California, Los Angeles

Fully Automatic and Precise Detection of Thread Safety Violations

Michael Pradel, Thomas Gross
ETH Zurich

The Implicit Calculus: A New Foundation for Generic Programming

Bruno Oliveira¹, Tom Schrijvers², Wontae Choi¹, Wonchan Lee¹, Kwangkeun Yi¹
¹Seoul National University, ²Universiteit Gent

Sound and Precise Analysis of Multithreaded Programs through Schedule Specialization

Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang
Columbia University

Effective Parallelization of Loops in the Presence of I/O Operations

Min Feng, Rajiv Gupta, Iulian Neamtiu
University of California, Riverside

Input-Sensitive Profiling

Emilio Coppa, Camil Demetrescu, Irene Finocchi
Sapienza University of Rome

Type-Directed Completion of Partial Expressions

Daniel Perelman¹, Sumit Gulwani², Tom Ball², Dan Grossman¹
¹University of Washington, ²Microsoft Research Redmond

Synthesising graphics card programs from DSLs

Luke Cartey, Rune LyngsÃ¸, Oege Moor
University of Oxford

Reasoning about Relaxed Programs

Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
MIT Computer Science and Artificial Intelligence Laboratory

Parallelizing Top-Down Interprocedural Analyses

Aws Albarghouthi¹, Rahul Kumar², Aditya Nori³, Sriram Rajamani³
¹University of Toronto, ²Microsoft Corporation, ³Microsoft Research India

Concurrent Data Representation Synthesis

Peter Hawkins¹, Alex Aiken¹, Kathleen Fisher², Martin Rinard³, Mooly Sagiv⁴
¹Stanford University, ²Tufts University, ³MIT Computer Science and Artificial Intelligence Laboratory, ⁴Tel-Aviv University

Diderot: A Parallel DSL for Image Analysis and Visualization

Charisee Chiw, Gordon Kindlmann, John Reppy, Lamont Samuels, Nick Seltzer
University of Chicago

A Dynamic Program Analysis to find Floating-Point Accuracy Problems

Florian Benz¹, Sebastian Hack¹, Andreas Hildebrandt²
¹Saarland University, ²Johannes-Gutenberg UniversitÄt Mainz

Self-Stabilizing Java

Yong hun Eom, Brian Demsky
University of California, Irvine

Race Detection for Web Applications

Boris Petrov¹, Martin Vechev², Manu Sridharan³, Julian Dolby³
¹Sofia University, ²ETH Zurich, ³IBM T.J. Watson Research Center

Engage: A Deployment Management System

Jeffrey Fischer¹, Rupak Majumdar², Shahram Esmaeilsabzali²
¹Genforma Corp., ²MPI-SWS

Understanding and Detecting Real-World Performance Bugs

Guoliang Jin¹, Linhai Song¹, Xiaoming Shi¹, Joel Scherpelz², Shan Lu¹
¹University of Wisconsin, Madison, ²Nvidia

And Then There Were None: A Stall-Free Real-Time Garbage Collector for Reconfigurable Hardware

David F. Bacon, Perry Cheng, Sunil Shukla
IBM Research

Polyhedra Scanning Revisited

Chun Chen
University of Utah

Dynamic Trace-Based Analysis of Vectorization Potential of Applications

Justin Holewinski, Ragavendar Ramamurthi, Naznin Fauzia, Mahesh Ravishankar, Louis-Noel Pouchet, Atanas Rountev, P. Sadayappan
Ohio State University

Automated Synthesis of Symbolic Instruction Encodings from I/O Samples

Patrice Godefroid¹, Ankur Taly²
¹Microsoft Research, ²Stanford University

Parcae: A System for Flexible Parallel Execution

Arun Raman¹, Ayal Zaks², Jae W. Lee ³, David I. August¹
¹Princeton University, ²IBM Research, ³Sungkyunkwan University

Dynamic Synthesis for Relaxed Memory Models

Feng Liu¹, Nayden Nedev¹, Nedyalko Prisadnikov², Martin Vechev³, Eran Yahav⁴
¹Princeton University, ²Sofia University, ³ETH Zurich, ⁴Technion

Language-Based Control and Mitigation of Timing Channels

Danfeng Zhang, Aslan Askarov, Andrew Myers
Cornell University

A Compiler Framework for Extracting Superword Level Parallelism

Jun Liu, Yuanrui Zhang, Ohyoung Jang, Wei Ding, Mahmut Kandemir
The Pennsylvania State University

Algorithmic Profiling

Dmitrijs Zaparanuks, Matthias Hauswirth
University of Lugano

Reagents: Expressing and Composing Fine-grained Concurrency

Aaron Turon
Northeastern University

Janus: Exploiting Parallelism via Hindsight

Omer Tripp¹, Roman Manevich², John Field³, Mooly Sagiv¹
¹Tel Aviv University, ²The University of Texas at Austin, ³Google

Deterministic Parallelism via Liquid Effects

Ming Kawaguchi, Patrick Rondon, Alexander Bakst, Ranjit Jhala
UC San Diego

Chimera: Hybrid Program Analysis for Determinism

Dongyoon Lee, Peter Chen, Jason Flinn, Satish Narayanasamy
University of Michigan, Ann Arbor

Scalable and Precise Dynamic Datarace Detection for Structured Parallelism

Raghavan Raman¹, Jisheng Zhao¹, Vivek Sarkar¹, Martin Vechev², Eran Yahav³
¹Rice University, ²ETH Zurich, ³Technion

Synthesizing Software Verifiers from Proof Rules

Sergey Grebenshchikov¹, Nuno Lopes², Corneliu Popeea¹, Andrey Rybalchenko¹
¹Technical University Munich, ²INESC-ID / IST – TU Lisbon

Speculative Separation for Privatization and Reductions

Nick P. Johnson¹, Hanjun Kim¹, Prakash Prabhu¹, Ayal Zaks ², David I. August¹
¹Princeton University, ²IBM Haifa Research Lab

SuperC: Parsing All of C by Taming the Preprocessor

Paul Gazzillo, Robert Grimm
New York University

Type-Directed Automatic Incrementalization

Yan Chen, Joshua Dunfield, Umut A. Acar
Max Planck Institute for Software Systems

Efficient State Merging in Symbolic Execution

Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
EPFL

Design and Implementation of Sparse Global Analyses for C-like Languages

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi
Seoul National University

中科院计算所岗位招聘（编译方向）

编译器相关招聘信息, 编译技术 7 Responses »

二 012012

工作地点：北京海淀区科学院南路6号，中国科学院计算技术研究所
单位网站：www.ict.ac.cn
部门：计算机系统结构重点实验室

岗位职责: 从事C/C++/Fortran优化编译器的开发与调试
具体包括:
1. 编译优化的设计和开发
2. 面向异构多核的编译系统的设计和开发

岗位要求:
1. 计算机相关专业本科以上学历，对计算机系统结构有深入理解者优先。
2. 熟悉C/C++编程，熟悉Linux操作系统者优先。
3. 熟悉GCC/Open64/LLVM编译器者优先, 有编译相关工作经验者优先。
4. 熟悉一种或多种脚本语言优先。
5. 同时接受校招与社招。

其他要求：
1. 做事认真负责，具有强烈的责任心。
2. 具有团队意识，较强的沟通能力。
3. 有敬业和钻研技术的精神。
4. 有较强的英文阅读和写作能力。

有意者请将简历以附件形式发送至 lianruiqi@ict.ac.cn，邮件主题：(姓名)应聘编译开发职位。
符合职位要求者单位会电话通知尽快安排面试。

附：计算所&&计算所机体系结构实验室简介

中国科学院计算技术研究所是中国第一个专门从事计算机科学技术综合性研究的学术机构。在这里工作或学习过的院士有二十余位，先后获得国家、院、市、部级重大科技奖励194项。曙光高性能计算机和龙芯通用处理器均在这里诞生。

计算机体系结构实验室是我国在计算机体系结构方面唯一的一个国家重点实验室。实验室主要研究方向：高端计算体系结构；微处理器与VLSI；编译和操作系统；测试与容错；非传统体系结构。

发展目标：建设一支高水平、跨学科、结构合理的研究队伍，将学术骨干培养成为所在研究领域中享有国际声誉的科学家，在国际上代表国内最高水平，建立计算机体系结构领域国际一流的科学研究、技术创新和人才培养的基地。

计算所体系结构实验室链接：http://carch.ict.ac.cn/introduction/brief/brief.html

大软件的烦恼与编译技术

IT产业, 前端和程序分析, 系统软件及库, 编程技术, 编译前沿, 编译技术, 编译理论实践和应用 No Responses »

一 302012

现在虽说卖硬件的比不上卖软件的，卖软件的比不上卖服务的。但软件仍然是服务的基石。
而且不管是软件、硬件、还是服务，背后都是一行行的代码，以及基于这些代码所形成的软件功能、硬件系统、技术人员的经验等等。
这些代码有的用C/C++、Java、C#写，有的用PHP、JavaScript、Ruby写，有的用Verilog写。 Continue reading »

《编译点滴》恭祝各位龙年大吉

编译技术 No Responses »

一 282012

龙年的工作日即将开始，《编译点滴》祝所有朋友在新年一年里，事事顺心、万事如意、一帆风顺。

龙年大吉

Open64、LLVM、GCC源代码行数对比

GCC, LLVM, open64, 编译技术 2 Responses »

一 152012

使用如下命令，统计了一下这三个编译器的代码行数情况。
find . -type f -not -regex '\./\.git.*' | xargs cat | wc -l

结果如下，供参考。这三个编译器使用的都是各个代码库中的最新版本，因为《编译点滴》使用git svn工具，所以命令行里有“git”，而标明的版本号却是SVN的。
Open64（SVN R3782）：

open64$ find . -type f -not -regex '\./\.git.*' | xargs cat | wc -l 13164644

LLVM（LLVM R148206, 包含Clang ）：
llvm$ find . -type f -not -regex '\./\.git.*' | xargs cat | wc -l 2468255

GCC（R183190）：
gcc$ find . -type f -not -regex '\./\.git.*' | xargs cat | wc -l 12823155

除夕夜看春晚？你OUT了！搞ACM，挣奖金吧。

编译技术 2 Responses »

一 152012

疯狂除夕夜，编程抢红包——点击“百分点科技杯”ACM除夕挑战赛通知

比赛链接： http://acm.ustc.edu.cn/ustcoj/baoming/

2012年1月22日农历除夕，中国科大向CCTV春晚宣战？——中国科学技术大学“百分点科技”杯ACM-ICPC程序设计月赛（即中国科大“百分点科技杯”ACM除夕挑战赛）将在龙年春晚开播前半小时拉开帷幕。这项ACM除夕挑战赛将鼓励全球ACM爱好者，以四小时疯狂coding的方式迎接龙年春节的到来。

中国科大校友柏林森创办、校友参与的IDG资本与名力中国成长基金投资的百分点科技将为赛事提供1.5万元红包。欢迎全球ACM爱好者（不限是否来自科大），欢迎中国科大全球技术狂人报名参与，编程抢红包！

中国科学技术大学部分师生将度过最疯狂的除夕.该项赛事由中国科大计算机学院、校友总会、学生工作部（处）主办，中国科大校友新创基金会承办。网络信息中心提供网络保障。据悉中国科大的教师、员工在除夕之夜将坚守工作岗位。新创基金会员工与志愿者在除夕之夜在北京、河南、江西与湖北密切监控服务器，保障赛事进行。

“不要命的上科大”——中国科大与新创基金会同仁与技术狂人们将以彻夜工作的方式祝福母校中国科大；我们期待传承追求卓越，挑战极致的科大精神，以此感谢全球校友对中国科大的捐赠与支持！

疯狂除夕夜，编程抢红包——点击“百分点科技杯”ACM除夕挑战赛通知

华为3G 上网卡Mobile Partener 21.005 NDSI driver install fail问题

系统软件及库 2 Responses »

一 082012

最近，入手华为3G上网卡EC122，电信的. 安装华为的Mobile Partener 21.005 的时候，NDSI驱动安装出错。 NSDI是用来通过3G上网卡发短信用。
出错信息如下：
CC [M] /usr/local/Mobile_Partner/driver/ndis_driver/ndis_src/src/hw_cdc_driver.o /usr/local/Mobile_Partner/driver/ndis_driver/ndis_src/src/hw_cdc_driver.c:155:27: fatal error: linux/usb/ncm.h: No such file or directory compilation terminated. make[3]: *** [/usr/local/Mobile_Partner/driver/ndis_driver/ndis_src/src/hw_cdc_driver.o] Error 1 make[2]: *** [_module_/usr/local/Mobile_Partner/driver/ndis_driver/ndis_src/src] Error 2 make[2]: Leaving directory `/usr/src/linux-headers-3.0.0-15-generic' make[1]: *** [modules] Error 2 make[1]: Leaving directory `/usr/local/Mobile_Partner/driver/ndis_driver/ndis_src/src' make: *** [modules] Error 2 make -C src/ install make[1]: Entering directory `/usr/local/Mobile_Partner/driver/ndis_driver/ndis_src/src' #install -m 744 -c hw_cdc_driver.o /lib/modules/3.0.0-15-generic/kernel/drivers/usb/net #depmod -a #modprobe hw_cdc_driver /usr/local/Mobile_Partner/driver/ndis_driver/ndis_src/src/add_header.sh "install" modprobe hw_cdc_driver FATAL: Module hw_cdc_driver not found. make[1]: *** [install] Error 1 make[1]: Leaving directory `/usr/local/Mobile_Partner/driver/ndis_driver/ndis_src/src' make: *** [install] Error 2

Install NDIS driver failed.
The compiling environment is not all ready.
Please check gcc, make and kernel buid(/lib/modules/3.0.0-15-generic/build) to be all installed?
Now please enter any key to finish other installations.
NDIS is disabled, and only Modem can be used.

居然是个编译出错的问题。搞了那么久工具链，一看到这种bug，就hold不住了。hack之！

一番Google和尝试。发现NSDI的driver，华为是通过源码编译的，需要上面提到的那个头文件 linux/usb/ncm.h。这个头文件在2.6.35版本以下的内核中有，但到了2.6.37,就没有了。所以2.6.37之后的内核都应该有这个问题。对源码中内核判定的方式做了修改，之后又改了几个redefine的问题，现在可以正常使用NDSI发短信了。

点击下载修改后的data.bin, 替换原data.bin文件即刻。

永别2011, 你好2012

IT职业和生活, 程序员生活 9 Responses »

一 022012

一晃一年又过去了，这一年总体是充实、有压力、有成长的一年。2011不再回来了，所以用了永别。 Continue reading »

体系结构这五年–《计算机体系结构-量化研究方法》第5版的新变化

ARM, CPU, GPU, X86, 后端优化与处理器 No Responses »

一 012012

《计算机体系结构-量化研究方法》是计算机体系结构领域，最经典的教材，同时也是最前沿的参考资料。
经典，是因为没有其他的书能超越此书在体系结构领域的地位。前沿，是因为这本书基本是每5年左右再版一次。
紧紧围绕最新的体系结构方向的变化。
这就是为什么这篇文章虽然是在对比《量化》第4版和第5版的区别，却胆敢标题里加上“体系结构这五年”。

《量化》第5版是前天在国内市场正式上市的，《编译点滴》在第一时间拨出巨款购入此书。
就是希望能为各位朋友送上更有价值的博文。

串行（Sequential）、并发（Concurrent）、并行（parallel）与分布式（distributed）

并行理论与技术, 编译技术, 编译理论实践和应用 3 Responses »

十二 282011

这几个概念是谈到并行时，经常遇到的。说实话，自己一直不是特别的清楚，这篇文章就对这几个概念进行区分。 Continue reading »

Older Entries

Suffusion theme by Sayontan Sinha

编译点滴

erlv

PLDI 2012 List of Accepted Papers

List of Accepted Papers 论文收录

中科院计算所岗位招聘（编译方向）

大软件的烦恼与编译技术

《编译点滴》恭祝各位龙年大吉

Open64、LLVM、GCC源代码行数对比

除夕夜看春晚？你OUT了！搞ACM，挣奖金吧。

华为3G 上网卡Mobile Partener 21.005 NDSI driver install fail问题

永别2011, 你好2012

体系结构这五年–《计算机体系结构-量化研究方法》第5版的新变化

串行（Sequential）、并发（Concurrent）、并行（parallel）与分布式（distributed）

订阅《编译点滴》

热门点击

近期评论

友情链接

常用编译器

版权声明