PLDI 2011 - PDF Preprint Papers

PLDI 2011 Conference on Programming Language Design and Implementation

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed PLDI-2011 Paper

click to vote

PLDI
2011
ACM

310views Programming Languages» more PLDI 2011»

Finding and understanding bugs in C compilers

12 years 7 months ago

Download www.cs.utah.edu

Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to ﬁnd compiler bug...

Xuejun Yang, Yang Chen, Eric Eide, John Regehr

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	310	Finding and understanding bugs in C compilers	claim
2	270	Separation logic + superposition calculus = heap theorem prover	claim
3	252	Systematic editing: generating program transformations from an example	claim
4	249	Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors	claim
5	241	A case for an SC-preserving compiler	claim
6	236	Caisson: a hardware description language for secure information flow	claim
7	224	Evaluating value-graph translation validation for LLVM	claim
8	223	LeakChaser: helping programmers narrow down causes of memory leaks	claim
9	222	Automated atomicity-violation fixing	claim
10	218	EnerJ: approximate data types for safe and general low-power computation	claim
11	210	Understanding POWER multiprocessors	claim
12	203	Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures	claim
13	201	Languages as libraries	claim
14	201	The tao of parallelism in algorithms	claim
15	198	Safe optimisations for shared-memory concurrent programs	claim
16	191	Precise and compact modular procedure summaries for heap manipulating programs	claim
17	189	Isolating and understanding concurrency errors using reconstructed execution fragments	claim
18	188	Data representation synthesis	claim
19	187	LL(*): the foundation of the ANTLR parser generator	claim
20	181	A security policy oracle: detecting security holes using multiple API implementations	claim
21	178	Language-independent sandboxing of just-in-time compilation and self-modifying code	claim
22	167	Automatic CPU-GPU communication management and optimization	claim
23	163	Partial-coherence abstractions for relaxed memory models	claim
24	153	Predicate abstraction and CEGAR for higher-order model checking	claim
25	147	Parallelism orchestration using DoPE: the degree of parallelism executive	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers