Elamur Research⌕
☰
home / venues / ACM SIGPLAN Notices / 2011 / papers

ACM SIGPLAN Notices 2011: all accepted papers

381 papers · page 1 of 4 · the most cited first · ← ACM SIGPLAN Notices 2011

1 2 3 4

  1. QuickCheck ↗Koen Claessen, John Hughes1,011 citations
  2. Dynamo ↗Vasanth Bala, Evelyn Duesterwald, Sanjeev Banerjia727 citations
  3. EnerJ ↗Adrian Sampson, Werner Dietl, Emily Fortuna et al.589 citations
  4. Finding and understanding bugs in C compilers ↗Xuejun Yang, Yang Chen, Eric N. Eide et al.586 citations
  5. Frenetic ↗Nate Foster, Rob Harrison, Michael J. Freedman et al.584 citations
  6. Automating string processing in spreadsheets using input-output examplesSumit Gulwani572 citations · our summary
  7. BI as an assertion language for mutable data structures ↗Samin S. Ishtiaq, Peter W. O’Hearn489 citations
  8. Adaptive optimization in the Jalapeno JVM ↗Matthew Arnold, Stephen J. Fink, David Grove et al.329 citations
  9. The tao of parallelism in algorithms ↗Keshav K. Pingali, Donald D. Nguyen, Milind Kulkarni et al.312 citations
  10. Mathematizing C++ concurrency ↗Mark Batty, Scott Owens, Susmit Sarkar et al.246 citations
  11. Synthesis of loop-free programs ↗Sumit Gulwani, Susmit Jha, Ashish Tiwari et al.237 citations
  12. Cause clue clauses ↗Manu Jose, Rupak Majumdar185 citations
  13. Directed incremental symbolic execution ↗Suzette Person, Guowei Yang, Neha Rungta et al.178 citations
  14. LL(*) ↗Terence Parr, Kathleen Fisher175 citations
  15. Understanding POWER multiprocessors ↗Susmit Sarkar, Peter Sewell, Jade Alglave et al.169 citations
  16. Pick your contexts well ↗Yannis Smaragdakis, Martin Bravenboer, Ondřej Lhoták160 citations
  17. Secure distributed programming with value-dependent types ↗Nikhil Swamy, Juan Chen, Cédric Fournet A et al.154 citations
  18. Automatic CPU-GPU communication management and optimization ↗Thomas B. Jablin, Prakash Prabhu, James A. Jablin et al.151 citations
  19. Spreadsheet table transformations from examples ↗William R. Harris, Sumit Gulwani149 citations
  20. Automated atomicity-violation fixing ↗Guoliang Jin, Linhai Song, Wei Zhang et al.135 citations
  21. Mostly-automated verification of low-level programs in computational separation logic ↗Adam J. Chlipala132 citations
  22. A parametric segmentation functor for fully automatic and scalable array content analysis ↗Patrick M. Cousot, Radhia Cousot, Francesco Logozzo130 citations
  23. Languages as libraries ↗Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper et al.123 citations
  24. S2E ↗Vitaly Chipounov, Volodymyr Kuznetsov, George Candea122 citations
  25. Accelerating CUDA graph algorithms at maximum warp ↗Sungpack Hong, Sang Kyun Kim, Tayo Oguntebi et al.117 citations
  26. Predicate abstraction and CEGAR for higher-order model checking ↗Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno114 citations
  27. Systematic editing ↗Na Meng, Miryung Kim, Kathryn S. McKinley112 citations
  28. Loop transformations ↗Louis-Noël Pouchet, Uday Kumar Reddy Bondhugula, Cédric Bastoul et al.109 citations
  29. Symmetric lenses ↗Martin Hofmann, Benjamin C. Pierce, Daniel Wagner107 citations
  30. Delay-bounded scheduling ↗Michael Emmi, Shaz Qadeer, Zvonimir Rakamarić104 citations
  31. Caisson ↗Xun Li, Mohit Tiwari, Jason K. Oberg et al.92 citations
  32. Dynamic multirole session types ↗Pierre-Malo Deniélou, Nobuko Yoshida92 citations
  33. Laws of order ↗Hagit Attiya, Rachid Guerraoui, Danny Hendler et al.92 citations
  34. Synthesizing geometry constructions ↗Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari92 citations
  35. Multivariate amortized resource analysis ↗Jan Hoffmann, Klaus Aehlig, Martin Hofmann90 citations
  36. Streaming transducers for algorithmic verification of single-pass list-processing programs ↗Rajeev Alur, Pavol Černý86 citations
  37. Kremlin ↗Saturnino Garcia, Dong‐Hwan Jeon, Christopher M. Louie et al.83 citations
  38. The tree width of auxiliary storage ↗P. Madhusudan, Gennaro Parlato80 citations
  39. Predicate abstraction and refinement for verifying multi-threaded programs ↗Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko77 citations
  40. Blame for all ↗Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek et al.76 citations
  41. Verifying higher-order functional programs with pattern-matching algebraic data types ↗C.-H. Luke Ong, Steven Ramsay74 citations
  42. Safe nondeterminism in a deterministic-by-default parallel language ↗Robert L. Bocchino, Stephen T. Heumann, Nima Honarmand et al.73 citations
  43. CloudNet ↗Timothy Wood, Kadangode K. Ramakrishnan, Prashant J. Shenoy et al.71 citations
  44. Evaluating value-graph translation validation for LLVM ↗Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett71 citations
  45. Language-independent sandboxing of just-in-time compilation and self-modifying code ↗Jason Ansel, Petr Marchenko, Úlfar Erlingsson et al.69 citations
  46. A kripke logical relation between ML and assembly ↗Chung-Kil Hur, Derek R. Dreyer68 citations
  47. Decidable logics combining heap structures and data ↗P. Madhusudan, Gennaro Parlato, Xiaokang Qiu66 citations
  48. Partial-coherence abstractions for relaxed memory models ↗Michael Kuperstein, Martin Vechev, Eran Yahav66 citations
  49. Precise reasoning for programs using containers ↗Işıl Dillig, Thomas Dillig, Alex Aiken66 citations
  50. Precise and compact modular procedure summaries for heap manipulating programs ↗Işıl Dillig, Thomas Dillig, Alex Aiken et al.65 citations
  51. Dynamic inference of static types for ruby ↗Jong-hoon An, Avik Chaudhuri, Jeffrey S. Foster et al.64 citations
  52. Expressive modular fine-grained concurrency specification ↗Bart Jacobs, Frank Piessens63 citations
  53. Characteristic formulae for the verification of imperative programs ↗Arthur Charguéraud62 citations
  54. Just do it ↗Jeremy Gibbons, Ralf Thomas Walter Hinze62 citations
  55. NV-Heaps ↗Joel Coburn, Adrian M. Caulfield, Ameen Akel et al.61 citations
  56. LeakChaser ↗Guoqing Harry Xu, Michael D. Bond, Feng Qin et al.60 citations
  57. The design of kodu ↗Matthew B. MacLaurin60 citations
  58. Relaxed-memory concurrency and verified compilation ↗Jaroslav Ševčík, Viktor Vafeiadis, Francesco Zappa Nardelli et al.59 citations
  59. Flikker ↗Song Liu, Karthik Pattabiraman, Thomas Moscibroda et al.58 citations
  60. On the bright side of type classes ↗Dominique Devriese, Frank Piessens58 citations
  61. CSX ↗Kornilios Kourtis, Vasileios Karakasis, Georgios Goumas et al.57 citations
  62. Practical affine types ↗Jesse A. Tov, Riccardo Pucella57 citations
  63. Step-indexed kripke models over recursive worlds ↗Lars Birkedal, Bernhard Reus, Jan Schwinghammer et al.57 citations
  64. Dynamic knobs for responsive power-aware computing ↗Henry Hoffmann, Stelios Sidiroglou, Michael Carbin et al.56 citations
  65. A case for an SC-preserving compiler ↗Daniel Marino, Abhayendra Singh, Todd D. Millstein et al.54 citations
  66. Evaluation of delta compression techniques for efficient live migration of large virtual machines ↗Petter Svärd, Benoît Hudzia, Johan Tordsson et al.54 citations
  67. Vector addition system reachability problem ↗Jérôme Leroux54 citations
  68. An equivalence-preserving CPS translation via multi-language semantics ↗Amal Ahmed, Matthias Blume53 citations
  69. Data representation synthesis ↗Peter Hawkins, Alex Aiken, Kathleen Fisher et al.53 citations
  70. Brainy ↗Changhee Jung, Silvius Rus, Brian P. Railing et al.52 citations
  71. Fresh-register automata ↗Nikos Tzevelekos52 citations
  72. Points-to analysis with efficient strong updates ↗Ondřej Lhoták, Kwok-Chiang Andrew Chung52 citations
  73. Separation logic + superposition calculus = heap theorem prover ↗Juan Antonio Navarro-Pérez, Andrey Rybalchenko52 citations
  74. Path-based inductive synthesis for program inversion ↗Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri et al.51 citations
  75. Correct blame for contracts ↗Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan A et al.50 citations
  76. Commutative set ↗Prakash Prabhu, Soumyadeep Ghosh, Yun Zhang et al.49 citations
  77. Exploiting the commutativity lattice ↗Milind Kulkarni, Donald D. Nguyen, Dimitrios Prountzos et al.49 citations
  78. Steno ↗Derek Gordon Murray, Michael Isard, Yuan Yu49 citations
  79. 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.48 citations
  80. Set-theoretic foundation of parametric polymorphism and subtyping ↗Giuseppe Castagna, Zhiwu Xu48 citations
  81. Mnemosyne ↗Haris I. Volos, Andres Jaan Tack, Michael M. Swift46 citations
  82. Parallelism orchestration using DoPE ↗Arun Raman, Hanjun Kim, Taewook Oh et al.46 citations
  83. On interference abstractions ↗Nishant Sinha, Chao Wang45 citations
  84. Parsing with derivatives ↗Matthew Might, David Darais, Daniel Spiewak45 citations
  85. A security policy oracle ↗Varun K. L. Srivastava, Michael D. Bond, Kathryn S. McKinley et al.44 citations
  86. EigenCFA ↗Tarun Prabhu, S. Ramalingam, Matthew Might et al.42 citations
  87. Variability-aware parsing in the presence of lexical macros and conditional compilation ↗Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel et al.42 citations
  88. Garbage collection for monitoring parametric properties ↗Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith et al.38 citations
  89. Higher-order test generation ↗Patrice Godefroid38 citations
  90. How to make ad hoc proof automation less ad hoc ↗Georges Gonthier B, Beta Ziliani, Aleksandar Nanevski et al.38 citations
  91. Probabilistic, modular and scalable inference of typestate specifications ↗Nels E. Beckman, Aditya V. Nori38 citations
  92. Binders unbound ↗Stephanie Weirich, Brent A. Yorgey, Tim Sheard37 citations
  93. Fast restore of checkpointed memory using working set estimation ↗Irene Y. Zhang, Alex Garthwaite, Yury Baskakov et al.37 citations
  94. Making prophecies with decision predicates ↗Byron Cook, Eric Koskinen37 citations
  95. Safe optimisations for shared-memory concurrent programs ↗Jaroslav Ševčík37 citations
  96. Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors ↗Ashwin Prasad, Jayvant Anantpur, R. Govindarajan35 citations
  97. Isolating and understanding concurrency errors using reconstructed execution fragments ↗Brandon Lucia, Benjamin P. Wood, Luís Ceze35 citations
  98. Rethinking the library OS from the top down ↗Donald E. Porter, Silas Boyd-Wickizer, Jon Howell et al.35 citations
  99. Synchronization via scheduling ↗Micah J. Best, Shane Mottishaw, Craig Mustard et al.35 citations
  100. A domain-specific approach to heterogeneous parallelism ↗Hassan Chafi, Arvind K. Sujeeth, Kevin J. Brown et al.34 citations

1 2 3 4

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/