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

112views Programming Languages» more PLDI 2011»

Finding and understanding bugs in C compilers

8 months 9 days 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	112	Finding and understanding bugs in C compilers	claim
2	91	Caisson: a hardware description language for secure information flow	claim
3	63	Languages as libraries	claim
4	63	Systematic editing: generating program transformations from an example	claim
5	56	Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures	claim
6	52	A security policy oracle: detecting security holes using multiple API implementations	claim
7	49	Data representation synthesis	claim
8	48	Partial-coherence abstractions for relaxed memory models	claim
9	47	Automatic CPU-GPU communication management and optimization	claim
10	47	Precise and compact modular procedure summaries for heap manipulating programs	claim
11	46	Evaluating value-graph translation validation for LLVM	claim
12	45	A case for an SC-preserving compiler	claim
13	45	Isolating and understanding concurrency errors using reconstructed execution fragments	claim
14	44	EnerJ: approximate data types for safe and general low-power computation	claim
15	43	Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors	claim
16	41	Language-independent sandboxing of just-in-time compilation and self-modifying code	claim
17	40	Automated atomicity-violation fixing	claim
18	39	Understanding POWER multiprocessors	claim
19	36	Predicate abstraction and CEGAR for higher-order model checking	claim
20	36	Separation logic + superposition calculus = heap theorem prover	claim
21	32	The tao of parallelism in algorithms	claim
22	30	LL(*): the foundation of the ANTLR parser generator	claim
23	30	Safe optimisations for shared-memory concurrent programs	claim
24	29	Parallelism orchestration using DoPE: the degree of parallelism executive	claim
25	28	LeakChaser: helping programmers narrow down causes of memory leaks	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers