Elamur Research⌕
☰
home / venues / Proceedings of the ACM SIGPLAN… / 2011

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2011 — accepted papers

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2011 is the 2011 edition of the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. OpenAlex lists 55 papers of it; our library holds 1 with our summaries. Below: the most cited papers, every accepted paper, and ours with their topics, authors and institutions.

 55papers in the proceedings 1work in our library 816citations of these works

Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

  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

All accepted papers (55)

The most cited first; 1 with our summary link to their page here, the others to the original.

  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

See all 55 papers in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2011 — accepted papers →

 Papers with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

  1. Finding and Understanding Bugs in C CompilersProceedings of the ACM SIGPLAN Conference on Programming Language Design and ImplementationXuejun Yang, Yang Chen, Eric Eide, et al.2011 · 816 citations

 Fields

Computer Science (1)

 Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

🧑‍🔬Yang Chen1 work here · 816 citations

 Top institutions

Institutions on the bylines of its works here, by the number of works.

🎓University of UtahSalt Lake City · United States1 work here

works and citations from OpenAlex and our library.

↑ 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/