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.

381works that year 1work in our library 635citations 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.

QuickCheck ↗Koen Claessen, John Hughes1,011 citations
Dynamo ↗Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerjia727 citations
EnerJ ↗Adrian Sampson, Werner Dietl, Emily Fortuna et al.589 citations
Finding and understanding bugs in C compilers ↗Xuejun Yang, Yang Chen, Eric N. Eide et al.586 citations
Frenetic ↗Nate Foster, Rob Harrison, Michael J. Freedman et al.584 citations
Automating string processing in spreadsheets using input-output examplesSumit Gulwani572 citations · our summary
BI as an assertion language for mutable data structures ↗Samin S. Ishtiaq, Peter W. O’Hearn489 citations
Adaptive optimization in the Jalapeno JVM ↗Matthew Arnold, Stephen J. Fink, David Grove et al.329 citations
The tao of parallelism in algorithms ↗Keshav K. Pingali, Donald D. Nguyen, Milind Kulkarni et al.312 citations
Mathematizing C++ concurrency ↗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.

QuickCheck ↗Koen Claessen, John Hughes1,011 citations
Dynamo ↗Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerjia727 citations
EnerJ ↗Adrian Sampson, Werner Dietl, Emily Fortuna et al.589 citations
Finding and understanding bugs in C compilers ↗Xuejun Yang, Yang Chen, Eric N. Eide et al.586 citations
Frenetic ↗Nate Foster, Rob Harrison, Michael J. Freedman et al.584 citations
Automating string processing in spreadsheets using input-output examplesSumit Gulwani572 citations · our summary
BI as an assertion language for mutable data structures ↗Samin S. Ishtiaq, Peter W. O’Hearn489 citations
Adaptive optimization in the Jalapeno JVM ↗Matthew Arnold, Stephen J. Fink, David Grove et al.329 citations
The tao of parallelism in algorithms ↗Keshav K. Pingali, Donald D. Nguyen, Milind Kulkarni et al.312 citations
Mathematizing C++ concurrency ↗Mark Batty, Scott Owens, Susmit Sarkar et al.246 citations
Synthesis of loop-free programs ↗Sumit Gulwani, Susmit Jha, Ashish Tiwari et al.237 citations
Cause clue clauses ↗Manu Jose, Rupak Majumdar185 citations
Directed incremental symbolic execution ↗Suzette Person, Guowei Yang, Neha Rungta et al.178 citations
LL(*) ↗Terence Parr, Kathleen Fisher175 citations
Understanding POWER multiprocessors ↗Susmit Sarkar, Peter Sewell, Jade Alglave et al.169 citations
Pick your contexts well ↗Yannis Smaragdakis, Martin Bravenboer, Ondřej Lhoták160 citations
Secure distributed programming with value-dependent types ↗Nikhil Swamy, Juan Chen, Cédric Fournet A et al.154 citations
Automatic CPU-GPU communication management and optimization ↗Thomas B. Jablin, Prakash Prabhu, James A. Jablin et al.151 citations
Spreadsheet table transformations from examples ↗William R. Harris, Sumit Gulwani149 citations
Automated atomicity-violation fixing ↗Guoliang Jin, Linhai Song, Wei Zhang et al.135 citations
Mostly-automated verification of low-level programs in computational separation logic ↗Adam J. Chlipala132 citations
A parametric segmentation functor for fully automatic and scalable array content analysis ↗Patrick M. Cousot, Radhia Cousot, Francesco Logozzo130 citations
Languages as libraries ↗Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper et al.123 citations
S2E ↗Vitaly Chipounov, Volodymyr Kuznetsov, George Candea122 citations
Accelerating CUDA graph algorithms at maximum warp ↗Sungpack Hong, Sang Kyun Kim, Tayo Oguntebi et al.117 citations