---
title: "Proceedings of the ACM SIGPLAN Conference on Programming"
description: "All 55 papers of Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2011, the most cited…"
canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2011/papers/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2011/papers/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [Proceedings of the ACM SIGPLAN…](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/) / [2011](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2011/) / papers

# Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2011: all accepted papers

55 papers · the most cited first · [← Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2011](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2011/)

1. **[Finding and understanding bugs in C compilers](https://md.research.elamur.ai/free/en/papers/yang-2011-finding-understanding-bugs-c-compilers/)**Xuejun Yang, Yang Chen, Eric N. Eide et al.*792 citations · our summary*
2. **[EnerJ ↗](https://doi.org/10.1145/1993498.1993518)**Adrian Sampson, Werner Dietl, Emily Fortuna et al.*390 citations*
3. **[The tao of parallelism in algorithms ↗](https://doi.org/10.1145/1993498.1993501)**Keshav K. Pingali, Donald D. Nguyen, Milind Kulkarni et al.*234 citations*
4. **[Synthesis of loop-free programs ↗](https://doi.org/10.1145/1993498.1993506)**Sumit Gulwani, Susmit Jha, Ashish Tiwari et al.*200 citations*
5. **[Understanding POWER multiprocessors ↗](https://doi.org/10.1145/1993498.1993520)**Susmit Sarkar, Peter Sewell, Jade Alglave et al.*195 citations*
6. **[Automated atomicity-violation fixing ↗](https://doi.org/10.1145/1993498.1993544)**Guoliang Jin, Linhai Song, Wei Zhang et al.*145 citations*
7. **[Directed incremental symbolic execution ↗](https://doi.org/10.1145/1993498.1993558)**Suzette Person, Guowei Yang, Neha Rungta et al.*138 citations*
8. **[Languages as libraries ↗](https://doi.org/10.1145/1993498.1993514)**Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper et al.*116 citations*
9. **[Mostly-automated verification of low-level programs in computational separation logic ↗](https://doi.org/10.1145/1993498.1993526)**Adam J. Chlipala*105 citations*
10. **[Predicate abstraction and CEGAR for higher-order model checking ↗](https://doi.org/10.1145/1993498.1993525)**Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno*101 citations*
11. **[LL(*) ↗](https://doi.org/10.1145/1993498.1993548)**Terence Parr, Kathleen Fisher*99 citations*
12. **[Cause clue clauses ↗](https://doi.org/10.1145/1993498.1993550)**Manu Jose, Rupak Majumdar*95 citations*
13. **[Spreadsheet table transformations from examples ↗](https://doi.org/10.1145/1993498.1993536)**William R. Harris, Sumit Gulwani*94 citations*
14. **[Automatic CPU-GPU communication management and optimization ↗](https://doi.org/10.1145/1993498.1993516)**Thomas B. Jablin, Prakash Prabhu, James A. Jablin et al.*86 citations*
15. **[Caisson ↗](https://doi.org/10.1145/1993498.1993512)**Xun Li, Mohit Tiwari, Jason K. Oberg et al.*71 citations*
16. **[Evaluating value-graph translation validation for LLVM ↗](https://doi.org/10.1145/1993498.1993533)**Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett*71 citations*
17. **[Systematic editing ↗](https://doi.org/10.1145/1993498.1993537)**Na Meng, Miryung Kim, Kathryn S. McKinley*71 citations*
18. **[Synthesizing geometry constructions ↗](https://doi.org/10.1145/1993498.1993505)**Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari*67 citations*
19. **[A case for an SC-preserving compiler ↗](https://doi.org/10.1145/1993498.1993522)**Daniel Marino, Abhayendra Singh, Todd D. Millstein et al.*65 citations*
20. **[Kremlin ↗](https://doi.org/10.1145/1993498.1993553)**Saturnino Garcia, Dong‐Hwan Jeon, Christopher M. Louie et al.*62 citations*
21. **[Precise and compact modular procedure summaries for heap manipulating programs ↗](https://doi.org/10.1145/1993498.1993565)**Işıl Dillig, Thomas Dillig, Alex Aiken et al.*58 citations*
22. **[LeakChaser ↗](https://doi.org/10.1145/1993498.1993530)**Guoqing Harry Xu, Michael D. Bond, Feng Qin et al.*54 citations*
23. **[Data representation synthesis ↗](https://doi.org/10.1145/1993498.1993504)**Peter Hawkins, Alex Aiken, Kathleen Fisher et al.*52 citations*
24. **[Partial-coherence abstractions for relaxed memory models ↗](https://doi.org/10.1145/1993498.1993521)**Michael Kuperstein, Martin Vechev, Eran Yahav*51 citations*
25. **[Parallelism orchestration using DoPE ↗](https://doi.org/10.1145/1993498.1993502)**Arun Raman, Hanjun Kim, Taewook Oh et al.*45 citations*
26. **[Language-independent sandboxing of just-in-time compilation and self-modifying code ↗](https://doi.org/10.1145/1993498.1993540)**Jason Ansel, Petr Marchenko, Úlfar Erlingsson et al.*43 citations*
27. **[Safe optimisations for shared-memory concurrent programs ↗](https://doi.org/10.1145/1993498.1993534)**Jaroslav Ševčík*43 citations*
28. **[Brainy ↗](https://doi.org/10.1145/1993498.1993509)**Changhee Jung, Silvius Rus, Brian P. Railing et al.*41 citations*
29. **[Path-based inductive synthesis for program inversion ↗](https://doi.org/10.1145/1993498.1993557)**Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri et al.*41 citations*
30. **[Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator ↗](https://doi.org/10.1145/1993498.1993508)**Igor Böhm, Tobias J.K. Edler von Koch, Stephen C. Kyle et al.*40 citations*
31. **[Scaling abstraction refinement via pruning ↗](https://doi.org/10.1145/1993498.1993567)**Percy Liang, Mayur Naik*40 citations*
32. **[Exploiting the commutativity lattice ↗](https://doi.org/10.1145/1993498.1993562)**Milind Kulkarni, Donald D. Nguyen, Dimitrios Prountzos et al.*38 citations*
33. **[Probabilistic, modular and scalable inference of typestate specifications ↗](https://doi.org/10.1145/1993498.1993524)**Nels E. Beckman, Aditya V. Nori*35 citations*
34. **[Higher-order test generation ↗](https://doi.org/10.1145/1993498.1993529)**Patrice Godefroid*34 citations*
35. **[Cruiser ↗](https://doi.org/10.1145/1993498.1993541)**Qiang Zeng, Dinghao Wu, Peng Liu*28 citations*
36. **[Isolating and understanding concurrency errors using reconstructed execution fragments ↗](https://doi.org/10.1145/1993498.1993543)**Brandon Lucia, Benjamin P. Wood, Luís Ceze*28 citations*
37. **[Verification of semantic commutativity conditions and inverse operations on linked data structures ↗](https://doi.org/10.1145/1993498.1993561)**Deokhwan Kim, Martin Rinard*28 citations*
38. **[Mining hot calling contexts in small space ↗](https://doi.org/10.1145/1993498.1993559)**Daniele Cono D’Elia, Camil Demetrescu, Irene Finocchi*27 citations*
39. **[Separation logic + superposition calculus = heap theorem prover ↗](https://doi.org/10.1145/1993498.1993563)**Juan Antonio Navarro-Pérez, Andrey Rybalchenko*27 citations*
40. **[Steno ↗](https://doi.org/10.1145/1993498.1993513)**Derek Gordon Murray, Michael Isard, Yuan Yu*26 citations*
41. **[Commutative set ↗](https://doi.org/10.1145/1993498.1993500)**Prakash Prabhu, Soumyadeep Ghosh, Yun Zhang et al.*24 citations*
42. **[Garbage collection for monitoring parametric properties ↗](https://doi.org/10.1145/1993498.1993547)**Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith et al.*23 citations*
43. **[ALTER ↗](https://doi.org/10.1145/1993498.1993555)**Abhishek Udupa, Kaushik Rajan, William Thies*22 citations*
44. **[Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors ↗](https://doi.org/10.1145/1993498.1993517)**Ashwin Prasad, Jayvant Anantpur, R. Govindarajan*21 citations*
45. **[Synchronization via scheduling ↗](https://doi.org/10.1145/1993498.1993573)**Micah J. Best, Shane Mottishaw, Craig Mustard et al.*20 citations*
46. **[Taming wildcards in Java's type system ↗](https://doi.org/10.1145/1993498.1993570)**Ross Tate, Alan Leung, Sorin Lerner*20 citations*
47. **[A security policy oracle ↗](https://doi.org/10.1145/1993498.1993539)**Varun Srivastava, Michael D. Bond, Kathryn S. McKinley et al.*19 citations*
48. **[On inter-procedural analysis of programs with lists and data ↗](https://doi.org/10.1145/1993498.1993566)**Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea et al.*17 citations*
49. **[kb -anonymity ↗](https://doi.org/10.1145/1993498.1993551)**Aditya Budi, David Lo, Lingxiao Jiang et al.*17 citations*
50. **[Automatic parallelization via matrix multiplication ↗](https://doi.org/10.1145/1993498.1993554)**Shigeyuki Sato, Hideya Iwasaki*15 citations*
51. **[Composable asynchronous events ↗](https://doi.org/10.1145/1993498.1993572)**Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan*15 citations*
52. **[Toward generating reducible replay logs ↗](https://doi.org/10.1145/1993498.1993528)**Kyu Hyung Lee, Yunhui Zheng, William Nick Sumner et al.*15 citations*
53. **[NDSeq ↗](https://doi.org/10.1145/1993498.1993545)**Jacob S. Burnim, Tayfun Elmas, George C. Necula et al.*14 citations*
54. **[Taming the wildcards ↗](https://doi.org/10.1145/1993498.1993569)**John Altidor, Shan Huang, Yannis Smaragdakis*10 citations*
55. **[An SSA-based algorithm for optimal speculative code motion under an execution profile ↗](https://doi.org/10.1145/1993498.1993510)**Hucheng Zhou, Wenguang Chen, Fred Chow*5 citations*
- [← back to](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2011/) — Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2011