---
title: "ACM SIGPLAN Notices 2011 — papers — Elamur Research"
description: "ACM SIGPLAN Notices 2011 — papers: 1 paper in the Elamur Research library, with our summaries, ranked by citations."
canonical: "https://research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/)

[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

# ACM SIGPLAN Notices 2011 — papers

The works of ACM SIGPLAN Notices published in 2011 that our library holds (publisher: Association for Computing Machinery): 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

[**381** works that year](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/#works) · [**635** citations of these works](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/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. **[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*

## All works of the year (381)

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

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*

[See all 381 papers in ACM SIGPLAN Notices 2011 — papers →](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/)

## Works with our summary in our library (1)

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

1. **[Automating String Processing in Spreadsheets Using Input-Output Examples](https://md.research.elamur.ai/free/en/papers/gulwani-2011-automating-string-processing-spreadsheets-input/) [ACM SIGPLAN Notices](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/)**Sumit Gulwani*2011 · 635 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.

[🧑‍🔬**Sumit Gulwani**1 work here · 635 citations](https://md.research.elamur.ai/free/en/authors/sumit-gulwani/)

## Top institutions

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

[🏢**Microsoft** Redmond · United States 1 work here](https://md.research.elamur.ai/free/en/companies/microsoft/)

works and citations from OpenAlex and our library.

- [next → ACM SIGPLAN Notices 2018](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/)
- [↑ back to ACM SIGPLAN Notices](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/)