📰 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

1. Finding and understanding bugs in C compilersXuejun Yang, Yang Chen, Eric N. Eide et al.792 citations · our summary
2. EnerJ ↗Adrian Sampson, Werner Dietl, Emily Fortuna et al.390 citations
3. The tao of parallelism in algorithms ↗Keshav K. Pingali, Donald D. Nguyen, Milind Kulkarni et al.234 citations
4. Synthesis of loop-free programs ↗Sumit Gulwani, Susmit Jha, Ashish Tiwari et al.200 citations
5. Understanding POWER multiprocessors ↗Susmit Sarkar, Peter Sewell, Jade Alglave et al.195 citations
6. Automated atomicity-violation fixing ↗Guoliang Jin, Linhai Song, Wei Zhang et al.145 citations
7. Directed incremental symbolic execution ↗Suzette Person, Guowei Yang, Neha Rungta et al.138 citations
8. Languages as libraries ↗Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper et al.116 citations
9. Mostly-automated verification of low-level programs in computational separation logic ↗Adam J. Chlipala105 citations
10. Predicate abstraction and CEGAR for higher-order model checking ↗Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno101 citations
11. LL(*) ↗Terence Parr, Kathleen Fisher99 citations
12. Cause clue clauses ↗Manu Jose, Rupak Majumdar95 citations
13. Spreadsheet table transformations from examples ↗William R. Harris, Sumit Gulwani94 citations
14. Automatic CPU-GPU communication management and optimization ↗Thomas B. Jablin, Prakash Prabhu, James A. Jablin et al.86 citations
15. Caisson ↗Xun Li, Mohit Tiwari, Jason K. Oberg et al.71 citations
16. Evaluating value-graph translation validation for LLVM ↗Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett71 citations
17. Systematic editing ↗Na Meng, Miryung Kim, Kathryn S. McKinley71 citations
18. Synthesizing geometry constructions ↗Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari67 citations
19. A case for an SC-preserving compiler ↗Daniel Marino, Abhayendra Singh, Todd D. Millstein et al.65 citations
20. Kremlin ↗Saturnino Garcia, Dong‐Hwan Jeon, Christopher M. Louie et al.62 citations
21. Precise and compact modular procedure summaries for heap manipulating programs ↗Işıl Dillig, Thomas Dillig, Alex Aiken et al.58 citations
22. LeakChaser ↗Guoqing Harry Xu, Michael D. Bond, Feng Qin et al.54 citations
23. Data representation synthesis ↗Peter Hawkins, Alex Aiken, Kathleen Fisher et al.52 citations
24. Partial-coherence abstractions for relaxed memory models ↗Michael Kuperstein, Martin Vechev, Eran Yahav51 citations
25. Parallelism orchestration using DoPE ↗Arun Raman, Hanjun Kim, Taewook Oh et al.45 citations
26. Language-independent sandboxing of just-in-time compilation and self-modifying code ↗Jason Ansel, Petr Marchenko, Úlfar Erlingsson et al.43 citations
27. Safe optimisations for shared-memory concurrent programs ↗Jaroslav Ševčík43 citations
28. Brainy ↗Changhee Jung, Silvius Rus, Brian P. Railing et al.41 citations
29. Path-based inductive synthesis for program inversion ↗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 ↗Igor Böhm, Tobias J.K. Edler von Koch, Stephen C. Kyle et al.40 citations
31. Scaling abstraction refinement via pruning ↗Percy Liang, Mayur Naik40 citations
32. Exploiting the commutativity lattice ↗Milind Kulkarni, Donald D. Nguyen, Dimitrios Prountzos et al.38 citations
33. Probabilistic, modular and scalable inference of typestate specifications ↗Nels E. Beckman, Aditya V. Nori35 citations
34. Higher-order test generation ↗Patrice Godefroid34 citations
35. Cruiser ↗Qiang Zeng, Dinghao Wu, Peng Liu28 citations
36. Isolating and understanding concurrency errors using reconstructed execution fragments ↗Brandon Lucia, Benjamin P. Wood, Luís Ceze28 citations
37. Verification of semantic commutativity conditions and inverse operations on linked data structures ↗Deokhwan Kim, Martin Rinard28 citations
38. Mining hot calling contexts in small space ↗Daniele Cono D’Elia, Camil Demetrescu, Irene Finocchi27 citations
39. Separation logic + superposition calculus = heap theorem prover ↗Juan Antonio Navarro-Pérez, Andrey Rybalchenko27 citations
40. Steno ↗Derek Gordon Murray, Michael Isard, Yuan Yu26 citations
41. Commutative set ↗Prakash Prabhu, Soumyadeep Ghosh, Yun Zhang et al.24 citations
42. Garbage collection for monitoring parametric properties ↗Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith et al.23 citations
43. ALTER ↗Abhishek Udupa, Kaushik Rajan, William Thies22 citations
44. Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors ↗Ashwin Prasad, Jayvant Anantpur, R. Govindarajan21 citations
45. Synchronization via scheduling ↗Micah J. Best, Shane Mottishaw, Craig Mustard et al.20 citations
46. Taming wildcards in Java's type system ↗Ross Tate, Alan Leung, Sorin Lerner20 citations
47. A security policy oracle ↗Varun Srivastava, Michael D. Bond, Kathryn S. McKinley et al.19 citations
48. On inter-procedural analysis of programs with lists and data ↗Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea et al.17 citations
49. kb -anonymity ↗Aditya Budi, David Lo, Lingxiao Jiang et al.17 citations
50. Automatic parallelization via matrix multiplication ↗Shigeyuki Sato, Hideya Iwasaki15 citations
51. Composable asynchronous events ↗Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan15 citations
52. Toward generating reducible replay logs ↗Kyu Hyung Lee, Yunhui Zheng, William Nick Sumner et al.15 citations
53. NDSeq ↗Jacob S. Burnim, Tayfun Elmas, George C. Necula et al.14 citations
54. Taming the wildcards ↗John Altidor, Shan Huang, Yannis Smaragdakis10 citations
55. An SSA-based algorithm for optimal speculative code motion under an execution profile ↗Hucheng Zhou, Wenguang Chen, Fred Chow5 citations

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2011/papers/