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

ACM SIGPLAN Notices 2011: all accepted papers

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

1 2 3 4

  1. Cruiser ↗Qiang Zeng, Dinghao Wu, Peng Liu34 citations
  2. Learning minimal abstractions ↗Percy Liang, Omer Tripp, Mayur Naik34 citations
  3. Ordered vs. unordered ↗Muhammad Amber Hassaan, Martin Burtscher, Keshav K. Pingali34 citations
  4. Scaling abstraction refinement via pruning ↗Percy Liang, Mayur Naik34 citations
  5. A semantic model for graphical user interfaces ↗Neelakantan R. Krishnaswami, Nick Benton33 citations
  6. Mementos ↗Benjamin Ransford, Jacob M. Sorber, Kevin Fu33 citations
  7. Copperhead ↗Bryan Catanzaro, Michael Garland, Kurt Keutzer32 citations
  8. Lightweight monadic programming in ML ↗Nikhil Swamy, Nataliya Guts, Daan Leijen et al.32 citations
  9. Automatic parallelization via matrix multiplication ↗Shigeyuki Sato, Hideya Iwasaki31 citations
  10. Generative type abstraction and type-level computation ↗Stephanie Weirich, Dimitrios Vytiniotis, Simon Jones et al.31 citations
  11. Temporal higher-order contracts ↗Tim Disney, Cormac Flanagan A, Jay A. McCarthy30 citations
  12. Towards Haskell in the cloud ↗Jeff Epstein, Andrew P. Black, Simon Jones30 citations
  13. Memory management in NUMA multicore systems ↗Zoltán Majó, Thomas R. Gross29 citations
  14. Monads, zippers and views ↗Tom Schrijvers, Bruno C. d. S. Oliveira29 citations
  15. A monad for deterministic parallelism ↗Simon Marlow, Ryan Newton, Simon Jones28 citations
  16. Virtual WiFi ↗Lei Xia, Sanjay Kumar, Xue Yang et al.28 citations
  17. A separation logic for refining concurrent objects ↗Aaron Joseph Turon, Mitchell Wand27 citations
  18. C4 ↗Gil Tene, Balaji Iyengar, Michael E. Wolf27 citations
  19. Flexible dynamic information flow control in Haskell ↗Deian Stefan, Alejandro Russo, John C. Mitchell et al.27 citations
  20. Overdriver ↗Dan Williams, Hani T. Jamjoom, Yew-Huey Liu et al.27 citations
  21. The essence of compiling with traces ↗Shuyu Guo, Jens Palsberg27 citations
  22. Verification of semantic commutativity conditions and inverse operations on linked data structures ↗Deokhwan Kim, Martin Rinard27 citations
  23. Geometry of synthesis III ↗Dan R. Ghica, Alex Smith26 citations
  24. MemScale ↗Qingyuan Deng, David Meisner, Luiz Ramos et al.26 citations
  25. RCDC ↗Joseph L. Devietti, Jacob Nelson, Tom Bergan et al.26 citations
  26. Achieving a single compute device image in OpenCL for multiple GPUs ↗Jungwon Kim, Honggyu Kim, Joo Hwan Lee et al.25 citations
  27. Geometry of synthesis iv ↗Dan R. Ghica, Alex Smith, Satnam Singh25 citations
  28. Modular reasoning for deterministic parallelism ↗Mike Dodds, Suresh Jagannathan, Matthew Parkinson25 citations
  29. Complexity of pattern-based verification for multithreaded programs ↗Javier Esparza, Pierre Ganty24 citations
  30. On inter-procedural analysis of programs with lists and data ↗Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea et al.24 citations
  31. Synthesizing method sequences for high-coverage testing ↗Suresh Thummalapenta, Tao Xie, Nikolai Tillmann et al.24 citations
  32. Bisimulation for quantum processes ↗Yuan Feng, Runyao Duan, Mingsheng Ying23 citations
  33. Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol ↗Martin D. Schwarz, Helmut Seidl, Vesal Vojdani et al.23 citations
  34. Static analysis of multi-staged programs via unstaging translation ↗Wontae Choi, Barış Aktemur, Kwangkeun Yi et al.23 citations
  35. Workload-aware live storage migration for clouds ↗Jie Zheng, T. S. Eugene Ng, Kunwadee Sripanidkulchai23 citations
  36. PREFAIL ↗Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen22 citations
  37. kb -anonymity ↗Aditya Budi, David Lo, Lingxiao Jiang et al.22 citations
  38. Automated construction of JavaScript benchmarks ↗Gregor Richards, Andreas Gal, Brendan Eich et al.21 citations
  39. Lifeline-based global load balancing ↗Vijay Saraswat, Prabhanjan Kambadur, Sreedhar B. Kodali et al.21 citations
  40. ALTER ↗Abhishek Udupa, Kaushik Rajan, William Thies20 citations
  41. GRace ↗Mai Zheng, Vignesh T. Ravi, Feng Qin et al.20 citations
  42. Incremental updates for efficient bidirectional transformations ↗Meng Wang, Jeremy Gibbons, Nicolas Wu20 citations
  43. Making standard ML a practical database programming language ↗Atsushi Ohori, Katsuhiro Ueno20 citations
  44. Regular expression containment ↗Fritz Henglein, Lasse Nielsen20 citations
  45. RoleCast ↗Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov20 citations
  46. ScalaExtrap ↗Xing Hui Wu, Frank Mueller20 citations
  47. A kripke logical relation for effect-based program transformations ↗Jacob Thamsborg, Lars Birkedal19 citations
  48. SugarJ ↗Sebastian Thore Erdweg, Tillmann Rendel, Christian Kästner et al.19 citations
  49. Taming wildcards in Java's type system ↗Ross Tate, Alan Leung, Sorin Lerner19 citations
  50. Wait-free queues with multiple enqueuers and dequeuers ↗Alex Kogan, Erez Petrank19 citations
  51. Da capo con scala ↗Andreas Sewe, Mira Mezini, Aibek Sarimbekov et al.18 citations
  52. NDSeq ↗Jacob S. Burnim, Tayfun Elmas, George C. Necula et al.18 citations
  53. A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code ↗Pramod G. Joisha, Robert Schreiber, Prithviraj Banerjee et al.17 citations
  54. Calling context abstraction with shapes ↗Xavier Rival, Bor-Yuh Evan Chang17 citations
  55. Formal verification of object layout for c++ multiple inheritance ↗Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy17 citations
  56. Mining hot calling contexts in small space ↗Daniele Cono D’Elia, Camil Demetrescu, Irene Finocchi17 citations
  57. Subtyping delimited continuations ↗Marek Materzok, Dariusz Biernacki17 citations
  58. A shape analysis for optimizing parallel graph programs ↗Dimitrios Prountzos, Roman Manevich, Keshav K. Pingali et al.16 citations
  59. Faults in linux ↗Nicolas Palix, Gaël Thomas, Suman Saha et al.16 citations
  60. Functional modelling of musical harmony ↗José Pedro Magalhães, Wolfgang Haas16 citations
  61. Lock-free and scalable multi-version software transactional memory ↗Sérgio Miguel Fernandes, João Cachopo16 citations
  62. Benefits and barriers of user evaluation in software engineering research ↗Raymond P.L. Buse, Caitlin Sadowski, Westley R. Weimer15 citations
  63. Blink ↗Navin Kumar Sharma, Sean Barker, David Irwin et al.15 citations
  64. On-the-fly elimination of dynamic irregularities for GPU computing ↗Eddy Z. Zhang, Yunlian Jiang, Ziyu Guo et al.15 citations
  65. Toward generating reducible replay logs ↗Kyu Hyung Lee, Yunhui Zheng, William Nick Sumner et al.15 citations
  66. Typed self-interpretation by pattern matching ↗Barry Jay, Jens Palsberg15 citations
  67. Automatic formal verification of MPI-based parallel programs ↗Stephen F. Siegel, Timothy K. Zirkel14 citations
  68. COREMU ↗Zhaoguo Wang, Ran Liu, Yufei Chen et al.14 citations
  69. Composable asynchronous events ↗Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan14 citations
  70. Declaratively programming the mobile web with Mobl ↗Zef Hemel, Eelco Visser B14 citations
  71. Implicit self-adjusting computation for purely functional programs ↗Yan Chen, Jana Dunfield, Matthew A. Hammer et al.14 citations
  72. Selective hardware/software memory virtualization ↗Xiaolin Wang, Jiarui Zang, Zhenlin Wang et al.14 citations
  73. First-class state change in plaid ↗Joshua Sunshine, Karl Naden, Sven Stork et al.13 citations
  74. Nameless, painless ↗Nicolas Pouillard13 citations
  75. Parametric polymorphism and semantic subtyping ↗Nils Gesbert, Pierre Genevès, Nabil Layaïda13 citations
  76. Performance profiling of virtual machines ↗Jiaqing Du, Nipun Sehrawat, Willy Zwaenepoel Y13 citations
  77. Tailoring dynamic software product lines ↗Marko Rosenmüller, Norbert Siegmund, Mario Pukall et al.13 citations
  78. Why nothing matters ↗Xi Yang, Stephen Michael Blackburn, Daniel Frampton et al.13 citations
  79. A hierarchy of mendler style recursion combinators ↗Ki Yung Ahn, Tim Sheard12 citations
  80. Catch me if you can ↗Milan Jovic, Andrea Adamoli, Matthias Hauswirth12 citations
  81. Investigating the safe evolution of software product lines ↗Laís Neves, Leopoldo Teixeira, Demóstenes Santos de Sena et al.12 citations
  82. Minimal-overhead virtualization of a large scale supercomputer ↗John R. Lange, Kevin T Pedretti, Peter A. Dinda et al.12 citations
  83. Modular verification of preemptive OS kernels ↗Alexey Gotsman, Hongseok Yang12 citations
  84. Pushdown flow analysis of first-class control ↗Dimitrios Vardoulakis, Olin Shivers12 citations
  85. Testing atomicity of composed concurrent operations ↗Ohad Shacham, Nathan Grasso Bronson, Alex Aiken et al.12 citations
  86. ConSeq ↗Wei Zhang, Junghee Lim, Ramya Olichandran et al.11 citations
  87. Fast and space-efficient virtual machine checkpointing ↗Eunbyung Park, Bernhard Egger, Jaejin Lee11 citations
  88. Pocket cloudlets ↗Emmanouil Koukoumidis, Dimitrios Lymberopoulos, Karin Strauß et al.11 citations
  89. Recursion principles for syntax with bindings and substitution ↗Andrei Popescu, Elsa L. Gunter11 citations
  90. Sponge ↗Amir H. Hormati, Mehrzad Samadi, Mark Woh et al.11 citations
  91. Static analysis of aspect interaction and composition in component models ↗Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel11 citations
  92. Declaratively defining domain-specific language debuggers ↗Ricky T. Lindeman, Lennart C.L. Kats, Eelco Visser B10 citations
  93. Dolly ↗Emmanuel Cecchet, Rahul Singh, Upendra K. Sharma et al.10 citations
  94. Dynamic cache contention detection in multi-threaded applications ↗Qin Zhao, David Koh, Syed Raza et al.10 citations
  95. Fine-grained user-space security through virtualization ↗Mathias Payer, Thomas R. Gross10 citations
  96. Freedom before commitment ↗Alexander J. Summers, Péter Müller10 citations
  97. Proving the unique fixed-point principle correct ↗Ralf Thomas Walter Hinze, Daniel W.H. James10 citations
  98. A typed store-passing translation for general references ↗François Pottier9 citations
  99. Ensuring operating system kernel integrity with OSck ↗Owen S. Hofmann, Alan M. Dunn, Sangman Kim et al.9 citations
  100. Evaluating graph coloring on GPUs ↗Pascal Grosset, Peihong Zhu, Shusen Liu et al.9 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/page/2/