---
title: "ACM SIGPLAN Notices 2011 — all accepted papers"
description: "All 381 papers of ACM SIGPLAN Notices 2011 · page 1 of 4, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [ACM SIGPLAN Notices](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/) / [2011](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/) / papers

# ACM SIGPLAN Notices 2011: all accepted papers

381 papers · page 1 of 4 · the most cited first · [← ACM SIGPLAN Notices 2011](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/)

**1** [2](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/2/) [3](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/3/) [4](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/4/) [next →](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/2/)

1. **[QuickCheck ↗](https://doi.org/10.1145/1988042.1988046)**Koen Claessen, John Hughes*1,011 citations*
2. **[Dynamo ↗](https://doi.org/10.1145/1988042.1988044)**Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerjia*727 citations*
3. **[EnerJ ↗](https://doi.org/10.1145/1993316.1993518)**Adrian Sampson, Werner Dietl, Emily Fortuna et al.*589 citations*
4. **[Finding and understanding bugs in C compilers ↗](https://doi.org/10.1145/1993316.1993532)**Xuejun Yang, Yang Chen, Eric N. Eide et al.*586 citations*
5. **[Frenetic ↗](https://doi.org/10.1145/2034574.2034812)**Nate Foster, Rob Harrison, Michael J. Freedman et al.*584 citations*
6. **[Automating string processing in spreadsheets using input-output examples](https://md.research.elamur.ai/free/en/papers/gulwani-2011-automating-string-processing-spreadsheets-input/)**Sumit Gulwani*572 citations · our summary*
7. **[BI as an assertion language for mutable data structures ↗](https://doi.org/10.1145/1988042.1988050)**Samin S. Ishtiaq, Peter W. O’Hearn*489 citations*
8. **[Adaptive optimization in the Jalapeno JVM ↗](https://doi.org/10.1145/1988042.1988048)**Matthew Arnold, Stephen J. Fink, David Grove et al.*329 citations*
9. **[The tao of parallelism in algorithms ↗](https://doi.org/10.1145/1993316.1993501)**Keshav K. Pingali, Donald D. Nguyen, Milind Kulkarni et al.*312 citations*
10. **[Mathematizing C++ concurrency ↗](https://doi.org/10.1145/1925844.1926394)**Mark Batty, Scott Owens, Susmit Sarkar et al.*246 citations*
11. **[Synthesis of loop-free programs ↗](https://doi.org/10.1145/1993316.1993506)**Sumit Gulwani, Susmit Jha, Ashish Tiwari et al.*237 citations*
12. **[Cause clue clauses ↗](https://doi.org/10.1145/1993316.1993550)**Manu Jose, Rupak Majumdar*185 citations*
13. **[Directed incremental symbolic execution ↗](https://doi.org/10.1145/1993316.1993558)**Suzette Person, Guowei Yang, Neha Rungta et al.*178 citations*
14. **[LL(*) ↗](https://doi.org/10.1145/1993316.1993548)**Terence Parr, Kathleen Fisher*175 citations*
15. **[Understanding POWER multiprocessors ↗](https://doi.org/10.1145/1993316.1993520)**Susmit Sarkar, Peter Sewell, Jade Alglave et al.*169 citations*
16. **[Pick your contexts well ↗](https://doi.org/10.1145/1925844.1926390)**Yannis Smaragdakis, Martin Bravenboer, Ondřej Lhoták*160 citations*
17. **[Secure distributed programming with value-dependent types ↗](https://doi.org/10.1145/2034574.2034811)**Nikhil Swamy, Juan Chen, Cédric Fournet A et al.*154 citations*
18. **[Automatic CPU-GPU communication management and optimization ↗](https://doi.org/10.1145/1993316.1993516)**Thomas B. Jablin, Prakash Prabhu, James A. Jablin et al.*151 citations*
19. **[Spreadsheet table transformations from examples ↗](https://doi.org/10.1145/1993316.1993536)**William R. Harris, Sumit Gulwani*149 citations*
20. **[Automated atomicity-violation fixing ↗](https://doi.org/10.1145/1993316.1993544)**Guoliang Jin, Linhai Song, Wei Zhang et al.*135 citations*
21. **[Mostly-automated verification of low-level programs in computational separation logic ↗](https://doi.org/10.1145/1993316.1993526)**Adam J. Chlipala*132 citations*
22. **[A parametric segmentation functor for fully automatic and scalable array content analysis ↗](https://doi.org/10.1145/1925844.1926399)**Patrick M. Cousot, Radhia Cousot, Francesco Logozzo*130 citations*
23. **[Languages as libraries ↗](https://doi.org/10.1145/1993316.1993514)**Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper et al.*123 citations*
24. **[S2E ↗](https://doi.org/10.1145/1961296.1950396)**Vitaly Chipounov, Volodymyr Kuznetsov, George Candea*122 citations*
25. **[Accelerating CUDA graph algorithms at maximum warp ↗](https://doi.org/10.1145/2038037.1941590)**Sungpack Hong, Sang Kyun Kim, Tayo Oguntebi et al.*117 citations*
26. **[Predicate abstraction and CEGAR for higher-order model checking ↗](https://doi.org/10.1145/1993316.1993525)**Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno*114 citations*
27. **[Systematic editing ↗](https://doi.org/10.1145/1993316.1993537)**Na Meng, Miryung Kim, Kathryn S. McKinley*112 citations*
28. **[Loop transformations ↗](https://doi.org/10.1145/1925844.1926449)**Louis-Noël Pouchet, Uday Kumar Reddy Bondhugula, Cédric Bastoul et al.*109 citations*
29. **[Symmetric lenses ↗](https://doi.org/10.1145/1925844.1926428)**Martin Hofmann, Benjamin C. Pierce, Daniel Wagner*107 citations*
30. **[Delay-bounded scheduling ↗](https://doi.org/10.1145/1925844.1926432)**Michael Emmi, Shaz Qadeer, Zvonimir Rakamarić*104 citations*
31. **[Caisson ↗](https://doi.org/10.1145/1993316.1993512)**Xun Li, Mohit Tiwari, Jason K. Oberg et al.*92 citations*
32. **[Dynamic multirole session types ↗](https://doi.org/10.1145/1925844.1926435)**Pierre-Malo Deniélou, Nobuko Yoshida*92 citations*
33. **[Laws of order ↗](https://doi.org/10.1145/1925844.1926442)**Hagit Attiya, Rachid Guerraoui, Danny Hendler et al.*92 citations*
34. **[Synthesizing geometry constructions ↗](https://doi.org/10.1145/1993316.1993505)**Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari*92 citations*
35. **[Multivariate amortized resource analysis ↗](https://doi.org/10.1145/1925844.1926427)**Jan Hoffmann, Klaus Aehlig, Martin Hofmann*90 citations*
36. **[Streaming transducers for algorithmic verification of single-pass list-processing programs ↗](https://doi.org/10.1145/1925844.1926454)**Rajeev Alur, Pavol Černý*86 citations*
37. **[Kremlin ↗](https://doi.org/10.1145/1993316.1993553)**Saturnino Garcia, Dong‐Hwan Jeon, Christopher M. Louie et al.*83 citations*
38. **[The tree width of auxiliary storage ↗](https://doi.org/10.1145/1925844.1926419)**P. Madhusudan, Gennaro Parlato*80 citations*
39. **[Predicate abstraction and refinement for verifying multi-threaded programs ↗](https://doi.org/10.1145/1925844.1926424)**Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko*77 citations*
40. **[Blame for all ↗](https://doi.org/10.1145/1925844.1926409)**Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek et al.*76 citations*
41. **[Verifying higher-order functional programs with pattern-matching algebraic data types ↗](https://doi.org/10.1145/1925844.1926453)**C.-H. Luke Ong, Steven Ramsay*74 citations*
42. **[Safe nondeterminism in a deterministic-by-default parallel language ↗](https://doi.org/10.1145/1925844.1926447)**Robert L. Bocchino, Stephen T. Heumann, Nima Honarmand et al.*73 citations*
43. **[CloudNet ↗](https://doi.org/10.1145/2007477.1952699)**Timothy Wood, Kadangode K. Ramakrishnan, Prashant J. Shenoy et al.*71 citations*
44. **[Evaluating value-graph translation validation for LLVM ↗](https://doi.org/10.1145/1993316.1993533)**Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett*71 citations*
45. **[Language-independent sandboxing of just-in-time compilation and self-modifying code ↗](https://doi.org/10.1145/1993316.1993540)**Jason Ansel, Petr Marchenko, Úlfar Erlingsson et al.*69 citations*
46. **[A kripke logical relation between ML and assembly ↗](https://doi.org/10.1145/1925844.1926402)**Chung-Kil Hur, Derek R. Dreyer*68 citations*
47. **[Decidable logics combining heap structures and data ↗](https://doi.org/10.1145/1925844.1926455)**P. Madhusudan, Gennaro Parlato, Xiaokang Qiu*66 citations*
48. **[Partial-coherence abstractions for relaxed memory models ↗](https://doi.org/10.1145/1993316.1993521)**Michael Kuperstein, Martin Vechev, Eran Yahav*66 citations*
49. **[Precise reasoning for programs using containers ↗](https://doi.org/10.1145/1925844.1926407)**Işıl Dillig, Thomas Dillig, Alex Aiken*66 citations*
50. **[Precise and compact modular procedure summaries for heap manipulating programs ↗](https://doi.org/10.1145/1993316.1993565)**Işıl Dillig, Thomas Dillig, Alex Aiken et al.*65 citations*
51. **[Dynamic inference of static types for ruby ↗](https://doi.org/10.1145/1925844.1926437)**Jong-hoon An, Avik Chaudhuri, Jeffrey S. Foster et al.*64 citations*
52. **[Expressive modular fine-grained concurrency specification ↗](https://doi.org/10.1145/1925844.1926417)**Bart Jacobs, Frank Piessens*63 citations*
53. **[Characteristic formulae for the verification of imperative programs ↗](https://doi.org/10.1145/2034574.2034828)**Arthur Charguéraud*62 citations*
54. **[Just do it ↗](https://doi.org/10.1145/2034574.2034777)**Jeremy Gibbons, Ralf Thomas Walter Hinze*62 citations*
55. **[NV-Heaps ↗](https://doi.org/10.1145/1961296.1950380)**Joel Coburn, Adrian M. Caulfield, Ameen Akel et al.*61 citations*
56. **[LeakChaser ↗](https://doi.org/10.1145/1993316.1993530)**Guoqing Harry Xu, Michael D. Bond, Feng Qin et al.*60 citations*
57. **[The design of kodu ↗](https://doi.org/10.1145/1925844.1926413)**Matthew B. MacLaurin*60 citations*
58. **[Relaxed-memory concurrency and verified compilation ↗](https://doi.org/10.1145/1925844.1926393)**Jaroslav Ševčík, Viktor Vafeiadis, Francesco Zappa Nardelli et al.*59 citations*
59. **[Flikker ↗](https://doi.org/10.1145/1961296.1950391)**Song Liu, Karthik Pattabiraman, Thomas Moscibroda et al.*58 citations*
60. **[On the bright side of type classes ↗](https://doi.org/10.1145/2034574.2034796)**Dominique Devriese, Frank Piessens*58 citations*
61. **[CSX ↗](https://doi.org/10.1145/2038037.1941587)**Kornilios Kourtis, Vasileios Karakasis, Georgios Goumas et al.*57 citations*
62. **[Practical affine types ↗](https://doi.org/10.1145/1925844.1926436)**Jesse A. Tov, Riccardo Pucella*57 citations*
63. **[Step-indexed kripke models over recursive worlds ↗](https://doi.org/10.1145/1925844.1926401)**Lars Birkedal, Bernhard Reus, Jan Schwinghammer et al.*57 citations*
64. **[Dynamic knobs for responsive power-aware computing ↗](https://doi.org/10.1145/1961296.1950390)**Henry Hoffmann, Stelios Sidiroglou, Michael Carbin et al.*56 citations*
65. **[A case for an SC-preserving compiler ↗](https://doi.org/10.1145/1993316.1993522)**Daniel Marino, Abhayendra Singh, Todd D. Millstein et al.*54 citations*
66. **[Evaluation of delta compression techniques for efficient live migration of large virtual machines ↗](https://doi.org/10.1145/2007477.1952698)**Petter Svärd, Benoît Hudzia, Johan Tordsson et al.*54 citations*
67. **[Vector addition system reachability problem ↗](https://doi.org/10.1145/1925844.1926421)**Jérôme Leroux*54 citations*
68. **[An equivalence-preserving CPS translation via multi-language semantics ↗](https://doi.org/10.1145/2034574.2034830)**Amal Ahmed, Matthias Blume*53 citations*
69. **[Data representation synthesis ↗](https://doi.org/10.1145/1993316.1993504)**Peter Hawkins, Alex Aiken, Kathleen Fisher et al.*53 citations*
70. **[Brainy ↗](https://doi.org/10.1145/1993316.1993509)**Changhee Jung, Silvius Rus, Brian P. Railing et al.*52 citations*
71. **[Fresh-register automata ↗](https://doi.org/10.1145/1925844.1926420)**Nikos Tzevelekos*52 citations*
72. **[Points-to analysis with efficient strong updates ↗](https://doi.org/10.1145/1925844.1926389)**Ondřej Lhoták, Kwok-Chiang Andrew Chung*52 citations*
73. **[Separation logic + superposition calculus = heap theorem prover ↗](https://doi.org/10.1145/1993316.1993563)**Juan Antonio Navarro-Pérez, Andrey Rybalchenko*52 citations*
74. **[Path-based inductive synthesis for program inversion ↗](https://doi.org/10.1145/1993316.1993557)**Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri et al.*51 citations*
75. **[Correct blame for contracts ↗](https://doi.org/10.1145/1925844.1926410)**Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan A et al.*50 citations*
76. **[Commutative set ↗](https://doi.org/10.1145/1993316.1993500)**Prakash Prabhu, Soumyadeep Ghosh, Yun Zhang et al.*49 citations*
77. **[Exploiting the commutativity lattice ↗](https://doi.org/10.1145/1993316.1993562)**Milind Kulkarni, Donald D. Nguyen, Dimitrios Prountzos et al.*49 citations*
78. **[Steno ↗](https://doi.org/10.1145/1993316.1993513)**Derek Gordon Murray, Michael Isard, Yuan Yu*49 citations*
79. **[Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator ↗](https://doi.org/10.1145/1993316.1993508)**Igor Böhm, Tobias J.K. Edler von Koch, Stephen C. Kyle et al.*48 citations*
80. **[Set-theoretic foundation of parametric polymorphism and subtyping ↗](https://doi.org/10.1145/2034574.2034788)**Giuseppe Castagna, Zhiwu Xu*48 citations*
81. **[Mnemosyne ↗](https://doi.org/10.1145/1961296.1950379)**Haris I. Volos, Andres Jaan Tack, Michael M. Swift*46 citations*
82. **[Parallelism orchestration using DoPE ↗](https://doi.org/10.1145/1993316.1993502)**Arun Raman, Hanjun Kim, Taewook Oh et al.*46 citations*
83. **[On interference abstractions ↗](https://doi.org/10.1145/1925844.1926433)**Nishant Sinha, Chao Wang*45 citations*
84. **[Parsing with derivatives ↗](https://doi.org/10.1145/2034574.2034801)**Matthew Might, David Darais, Daniel Spiewak*45 citations*
85. **[A security policy oracle ↗](https://doi.org/10.1145/1993316.1993539)**Varun K. L. Srivastava, Michael D. Bond, Kathryn S. McKinley et al.*44 citations*
86. **[EigenCFA ↗](https://doi.org/10.1145/1925844.1926445)**Tarun Prabhu, S. Ramalingam, Matthew Might et al.*42 citations*
87. **[Variability-aware parsing in the presence of lexical macros and conditional compilation ↗](https://doi.org/10.1145/2076021.2048128)**Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel et al.*42 citations*
88. **[Garbage collection for monitoring parametric properties ↗](https://doi.org/10.1145/1993316.1993547)**Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith et al.*38 citations*
89. **[Higher-order test generation ↗](https://doi.org/10.1145/1993316.1993529)**Patrice Godefroid*38 citations*
90. **[How to make ad hoc proof automation less ad hoc ↗](https://doi.org/10.1145/2034574.2034798)**Georges Gonthier B, Beta Ziliani, Aleksandar Nanevski et al.*38 citations*
91. **[Probabilistic, modular and scalable inference of typestate specifications ↗](https://doi.org/10.1145/1993316.1993524)**Nels E. Beckman, Aditya V. Nori*38 citations*
92. **[Binders unbound ↗](https://doi.org/10.1145/2034574.2034818)**Stephanie Weirich, Brent A. Yorgey, Tim Sheard*37 citations*
93. **[Fast restore of checkpointed memory using working set estimation ↗](https://doi.org/10.1145/2007477.1952695)**Irene Y. Zhang, Alex Garthwaite, Yury Baskakov et al.*37 citations*
94. **[Making prophecies with decision predicates ↗](https://doi.org/10.1145/1925844.1926431)**Byron Cook, Eric Koskinen*37 citations*
95. **[Safe optimisations for shared-memory concurrent programs ↗](https://doi.org/10.1145/1993316.1993534)**Jaroslav Ševčík*37 citations*
96. **[Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors ↗](https://doi.org/10.1145/1993316.1993517)**Ashwin Prasad, Jayvant Anantpur, R. Govindarajan*35 citations*
97. **[Isolating and understanding concurrency errors using reconstructed execution fragments ↗](https://doi.org/10.1145/1993316.1993543)**Brandon Lucia, Benjamin P. Wood, Luís Ceze*35 citations*
98. **[Rethinking the library OS from the top down ↗](https://doi.org/10.1145/1961296.1950399)**Donald E. Porter, Silas Boyd-Wickizer, Jon Howell et al.*35 citations*
99. **[Synchronization via scheduling ↗](https://doi.org/10.1145/1993316.1993573)**Micah J. Best, Shane Mottishaw, Craig Mustard et al.*35 citations*
100. **[A domain-specific approach to heterogeneous parallelism ↗](https://doi.org/10.1145/2038037.1941561)**Hassan Chafi, Arvind K. Sujeeth, Kevin J. Brown et al.*34 citations*

**1** [2](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/2/) [3](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/3/) [4](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/4/) [next →](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/2/)

- [← back to](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/) — ACM SIGPLAN Notices 2011