---
title: "Proceedings of the ACM SIGPLAN Conference on Programming"
description: "Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2011 — accepted papers: 1 paper in…"
canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2011/"
---
[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/)

[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

# 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.

[**55** papers in the proceedings](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2011/#works) · [**816** citations of these works](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2011/#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 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*

## 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 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*

[See all 55 papers in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2011 — accepted papers →](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2011/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 Compilers](https://md.research.elamur.ai/free/en/papers/yang-2011-finding-understanding-bugs-c-compilers/) [Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/)**Xuejun Yang, Yang Chen, Eric Eide, et al.*2011 · 816 citations*

## Fields

[Computer Science (1)](https://md.research.elamur.ai/free/en/shelves/computer-science/)

## Top authors

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

[🧑‍🔬**Yang Chen**1 work here · 816 citations](https://md.research.elamur.ai/free/en/authors/yang-chen/)

## Top institutions

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

[🎓**University of Utah** Salt Lake City · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-utah/)

works and citations from OpenAlex and our library.

- [next → Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation 2015](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/2015/)
- [↑ back to Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-sigplan-conference-on-programming-language-design-and/)