---
title: "ACM SIGPLAN Notices 2011 — all accepted papers, page 2"
description: "All 381 papers of ACM SIGPLAN Notices 2011 · page 2 of 4, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/2/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/2/)

[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](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/) / [papers](https://md.research.elamur.ai/free/en/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](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/)

[← prev](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/) [1](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/) **2** [3](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/3/) [4](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/4/) [next →](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/3/)

101. **[Cruiser ↗](https://doi.org/10.1145/1993316.1993541)**Qiang Zeng, Dinghao Wu, Peng Liu*34 citations*
102. **[Learning minimal abstractions ↗](https://doi.org/10.1145/1925844.1926391)**Percy Liang, Omer Tripp, Mayur Naik*34 citations*
103. **[Ordered vs. unordered ↗](https://doi.org/10.1145/2038037.1941557)**Muhammad Amber Hassaan, Martin Burtscher, Keshav K. Pingali*34 citations*
104. **[Scaling abstraction refinement via pruning ↗](https://doi.org/10.1145/1993316.1993567)**Percy Liang, Mayur Naik*34 citations*
105. **[A semantic model for graphical user interfaces ↗](https://doi.org/10.1145/2034574.2034782)**Neelakantan R. Krishnaswami, Nick Benton*33 citations*
106. **[Mementos ↗](https://doi.org/10.1145/1961296.1950386)**Benjamin Ransford, Jacob M. Sorber, Kevin Fu*33 citations*
107. **[Copperhead ↗](https://doi.org/10.1145/2038037.1941562)**Bryan Catanzaro, Michael Garland, Kurt Keutzer*32 citations*
108. **[Lightweight monadic programming in ML ↗](https://doi.org/10.1145/2034574.2034778)**Nikhil Swamy, Nataliya Guts, Daan Leijen et al.*32 citations*
109. **[Automatic parallelization via matrix multiplication ↗](https://doi.org/10.1145/1993316.1993554)**Shigeyuki Sato, Hideya Iwasaki*31 citations*
110. **[Generative type abstraction and type-level computation ↗](https://doi.org/10.1145/1925844.1926411)**Stephanie Weirich, Dimitrios Vytiniotis, Simon Jones et al.*31 citations*
111. **[Temporal higher-order contracts ↗](https://doi.org/10.1145/2034574.2034800)**Tim Disney, Cormac Flanagan A, Jay A. McCarthy*30 citations*
112. **[Towards Haskell in the cloud ↗](https://doi.org/10.1145/2096148.2034690)**Jeff Epstein, Andrew P. Black, Simon Jones*30 citations*
113. **[Memory management in NUMA multicore systems ↗](https://doi.org/10.1145/2076022.1993481)**Zoltán Majó, Thomas R. Gross*29 citations*
114. **[Monads, zippers and views ↗](https://doi.org/10.1145/2034574.2034781)**Tom Schrijvers, Bruno C. d. S. Oliveira*29 citations*
115. **[A monad for deterministic parallelism ↗](https://doi.org/10.1145/2096148.2034685)**Simon Marlow, Ryan Newton, Simon Jones*28 citations*
116. **[Virtual WiFi ↗](https://doi.org/10.1145/2007477.1952706)**Lei Xia, Sanjay Kumar, Xue Yang et al.*28 citations*
117. **[A separation logic for refining concurrent objects ↗](https://doi.org/10.1145/1925844.1926415)**Aaron Joseph Turon, Mitchell Wand*27 citations*
118. **[C4 ↗](https://doi.org/10.1145/2076022.1993491)**Gil Tene, Balaji Iyengar, Michael E. Wolf*27 citations*
119. **[Flexible dynamic information flow control in Haskell ↗](https://doi.org/10.1145/2096148.2034688)**Deian Stefan, Alejandro Russo, John C. Mitchell et al.*27 citations*
120. **[Overdriver ↗](https://doi.org/10.1145/2007477.1952709)**Dan Williams, Hani T. Jamjoom, Yew-Huey Liu et al.*27 citations*
121. **[The essence of compiling with traces ↗](https://doi.org/10.1145/1925844.1926450)**Shuyu Guo, Jens Palsberg*27 citations*
122. **[Verification of semantic commutativity conditions and inverse operations on linked data structures ↗](https://doi.org/10.1145/1993316.1993561)**Deokhwan Kim, Martin Rinard*27 citations*
123. **[Geometry of synthesis III ↗](https://doi.org/10.1145/1925844.1926425)**Dan R. Ghica, Alex Smith*26 citations*
124. **[MemScale ↗](https://doi.org/10.1145/1961296.1950392)**Qingyuan Deng, David Meisner, Luiz Ramos et al.*26 citations*
125. **[RCDC ↗](https://doi.org/10.1145/1961296.1950376)**Joseph L. Devietti, Jacob Nelson, Tom Bergan et al.*26 citations*
126. **[Achieving a single compute device image in OpenCL for multiple GPUs ↗](https://doi.org/10.1145/2038037.1941591)**Jungwon Kim, Honggyu Kim, Joo Hwan Lee et al.*25 citations*
127. **[Geometry of synthesis iv ↗](https://doi.org/10.1145/2034574.2034805)**Dan R. Ghica, Alex Smith, Satnam Singh*25 citations*
128. **[Modular reasoning for deterministic parallelism ↗](https://doi.org/10.1145/1925844.1926416)**Mike Dodds, Suresh Jagannathan, Matthew Parkinson*25 citations*
129. **[Complexity of pattern-based verification for multithreaded programs ↗](https://doi.org/10.1145/1925844.1926443)**Javier Esparza, Pierre Ganty*24 citations*
130. **[On inter-procedural analysis of programs with lists and data ↗](https://doi.org/10.1145/1993316.1993566)**Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea et al.*24 citations*
131. **[Synthesizing method sequences for high-coverage testing ↗](https://doi.org/10.1145/2076021.2048083)**Suresh Thummalapenta, Tao Xie, Nikolai Tillmann et al.*24 citations*
132. **[Bisimulation for quantum processes ↗](https://doi.org/10.1145/1925844.1926446)**Yuan Feng, Runyao Duan, Mingsheng Ying*23 citations*
133. **[Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol ↗](https://doi.org/10.1145/1925844.1926398)**Martin D. Schwarz, Helmut Seidl, Vesal Vojdani et al.*23 citations*
134. **[Static analysis of multi-staged programs via unstaging translation ↗](https://doi.org/10.1145/1925844.1926397)**Wontae Choi, Barış Aktemur, Kwangkeun Yi et al.*23 citations*
135. **[Workload-aware live storage migration for clouds ↗](https://doi.org/10.1145/2007477.1952700)**Jie Zheng, T. S. Eugene Ng, Kunwadee Sripanidkulchai*23 citations*
136. **[PREFAIL ↗](https://doi.org/10.1145/2076021.2048082)**Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen*22 citations*
137. **[kb -anonymity ↗](https://doi.org/10.1145/1993316.1993551)**Aditya Budi, David Lo, Lingxiao Jiang et al.*22 citations*
138. **[Automated construction of JavaScript benchmarks ↗](https://doi.org/10.1145/2076021.2048119)**Gregor Richards, Andreas Gal, Brendan Eich et al.*21 citations*
139. **[Lifeline-based global load balancing ↗](https://doi.org/10.1145/2038037.1941582)**Vijay Saraswat, Prabhanjan Kambadur, Sreedhar B. Kodali et al.*21 citations*
140. **[ALTER ↗](https://doi.org/10.1145/1993316.1993555)**Abhishek Udupa, Kaushik Rajan, William Thies*20 citations*
141. **[GRace ↗](https://doi.org/10.1145/2038037.1941574)**Mai Zheng, Vignesh T. Ravi, Feng Qin et al.*20 citations*
142. **[Incremental updates for efficient bidirectional transformations ↗](https://doi.org/10.1145/2034574.2034825)**Meng Wang, Jeremy Gibbons, Nicolas Wu*20 citations*
143. **[Making standard ML a practical database programming language ↗](https://doi.org/10.1145/2034574.2034815)**Atsushi Ohori, Katsuhiro Ueno*20 citations*
144. **[Regular expression containment ↗](https://doi.org/10.1145/1925844.1926429)**Fritz Henglein, Lasse Nielsen*20 citations*
145. **[RoleCast ↗](https://doi.org/10.1145/2076021.2048146)**Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov*20 citations*
146. **[ScalaExtrap ↗](https://doi.org/10.1145/2038037.1941569)**Xing Hui Wu, Frank Mueller*20 citations*
147. **[A kripke logical relation for effect-based program transformations ↗](https://doi.org/10.1145/2034574.2034831)**Jacob Thamsborg, Lars Birkedal*19 citations*
148. **[SugarJ ↗](https://doi.org/10.1145/2076021.2048099)**Sebastian Thore Erdweg, Tillmann Rendel, Christian Kästner et al.*19 citations*
149. **[Taming wildcards in Java's type system ↗](https://doi.org/10.1145/1993316.1993570)**Ross Tate, Alan Leung, Sorin Lerner*19 citations*
150. **[Wait-free queues with multiple enqueuers and dequeuers ↗](https://doi.org/10.1145/2038037.1941585)**Alex Kogan, Erez Petrank*19 citations*
151. **[Da capo con scala ↗](https://doi.org/10.1145/2076021.2048118)**Andreas Sewe, Mira Mezini, Aibek Sarimbekov et al.*18 citations*
152. **[NDSeq ↗](https://doi.org/10.1145/1993316.1993545)**Jacob S. Burnim, Tayfun Elmas, George C. Necula et al.*18 citations*
153. **[A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code ↗](https://doi.org/10.1145/1925844.1926457)**Pramod G. Joisha, Robert Schreiber, Prithviraj Banerjee et al.*17 citations*
154. **[Calling context abstraction with shapes ↗](https://doi.org/10.1145/1925844.1926406)**Xavier Rival, Bor-Yuh Evan Chang*17 citations*
155. **[Formal verification of object layout for c++ multiple inheritance ↗](https://doi.org/10.1145/1925844.1926395)**Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy*17 citations*
156. **[Mining hot calling contexts in small space ↗](https://doi.org/10.1145/1993316.1993559)**Daniele Cono D’Elia, Camil Demetrescu, Irene Finocchi*17 citations*
157. **[Subtyping delimited continuations ↗](https://doi.org/10.1145/2034574.2034786)**Marek Materzok, Dariusz Biernacki*17 citations*
158. **[A shape analysis for optimizing parallel graph programs ↗](https://doi.org/10.1145/1925844.1926405)**Dimitrios Prountzos, Roman Manevich, Keshav K. Pingali et al.*16 citations*
159. **[Faults in linux ↗](https://doi.org/10.1145/1961296.1950401)**Nicolas Palix, Gaël Thomas, Suman Saha et al.*16 citations*
160. **[Functional modelling of musical harmony ↗](https://doi.org/10.1145/2034574.2034797)**José Pedro Magalhães, Wolfgang Haas*16 citations*
161. **[Lock-free and scalable multi-version software transactional memory ↗](https://doi.org/10.1145/2038037.1941579)**Sérgio Miguel Fernandes, João Cachopo*16 citations*
162. **[Benefits and barriers of user evaluation in software engineering research ↗](https://doi.org/10.1145/2076021.2048117)**Raymond P.L. Buse, Caitlin Sadowski, Westley R. Weimer*15 citations*
163. **[Blink ↗](https://doi.org/10.1145/1961296.1950389)**Navin Kumar Sharma, Sean Barker, David Irwin et al.*15 citations*
164. **[On-the-fly elimination of dynamic irregularities for GPU computing ↗](https://doi.org/10.1145/1961296.1950408)**Eddy Z. Zhang, Yunlian Jiang, Ziyu Guo et al.*15 citations*
165. **[Toward generating reducible replay logs ↗](https://doi.org/10.1145/1993316.1993528)**Kyu Hyung Lee, Yunhui Zheng, William Nick Sumner et al.*15 citations*
166. **[Typed self-interpretation by pattern matching ↗](https://doi.org/10.1145/2034574.2034808)**Barry Jay, Jens Palsberg*15 citations*
167. **[Automatic formal verification of MPI-based parallel programs ↗](https://doi.org/10.1145/2038037.1941603)**Stephen F. Siegel, Timothy K. Zirkel*14 citations*
168. **[COREMU ↗](https://doi.org/10.1145/2038037.1941583)**Zhaoguo Wang, Ran Liu, Yufei Chen et al.*14 citations*
169. **[Composable asynchronous events ↗](https://doi.org/10.1145/1993316.1993572)**Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan*14 citations*
170. **[Declaratively programming the mobile web with Mobl ↗](https://doi.org/10.1145/2076021.2048121)**Zef Hemel, Eelco Visser B*14 citations*
171. **[Implicit self-adjusting computation for purely functional programs ↗](https://doi.org/10.1145/2034574.2034792)**Yan Chen, Jana Dunfield, Matthew A. Hammer et al.*14 citations*
172. **[Selective hardware/software memory virtualization ↗](https://doi.org/10.1145/2007477.1952710)**Xiaolin Wang, Jiarui Zang, Zhenlin Wang et al.*14 citations*
173. **[First-class state change in plaid ↗](https://doi.org/10.1145/2076021.2048122)**Joshua Sunshine, Karl Naden, Sven Stork et al.*13 citations*
174. **[Nameless, painless ↗](https://doi.org/10.1145/2034574.2034817)**Nicolas Pouillard*13 citations*
175. **[Parametric polymorphism and semantic subtyping ↗](https://doi.org/10.1145/2034574.2034789)**Nils Gesbert, Pierre Genevès, Nabil Layaïda*13 citations*
176. **[Performance profiling of virtual machines ↗](https://doi.org/10.1145/2007477.1952686)**Jiaqing Du, Nipun Sehrawat, Willy Zwaenepoel Y*13 citations*
177. **[Tailoring dynamic software product lines ↗](https://doi.org/10.1145/2189751.2047866)**Marko Rosenmüller, Norbert Siegmund, Mario Pukall et al.*13 citations*
178. **[Why nothing matters ↗](https://doi.org/10.1145/2076021.2048092)**Xi Yang, Stephen Michael Blackburn, Daniel Frampton et al.*13 citations*
179. **[A hierarchy of mendler style recursion combinators ↗](https://doi.org/10.1145/2034574.2034807)**Ki Yung Ahn, Tim Sheard*12 citations*
180. **[Catch me if you can ↗](https://doi.org/10.1145/2076021.2048081)**Milan Jovic, Andrea Adamoli, Matthias Hauswirth*12 citations*
181. **[Investigating the safe evolution of software product lines ↗](https://doi.org/10.1145/2189751.2047869)**Laís Neves, Leopoldo Teixeira, Demóstenes Santos de Sena et al.*12 citations*
182. **[Minimal-overhead virtualization of a large scale supercomputer ↗](https://doi.org/10.1145/2007477.1952705)**John R. Lange, Kevin T Pedretti, Peter A. Dinda et al.*12 citations*
183. **[Modular verification of preemptive OS kernels ↗](https://doi.org/10.1145/2034574.2034827)**Alexey Gotsman, Hongseok Yang*12 citations*
184. **[Pushdown flow analysis of first-class control ↗](https://doi.org/10.1145/2034574.2034785)**Dimitrios Vardoulakis, Olin Shivers*12 citations*
185. **[Testing atomicity of composed concurrent operations ↗](https://doi.org/10.1145/2076021.2048073)**Ohad Shacham, Nathan Grasso Bronson, Alex Aiken et al.*12 citations*
186. **[ConSeq ↗](https://doi.org/10.1145/1961296.1950395)**Wei Zhang, Junghee Lim, Ramya Olichandran et al.*11 citations*
187. **[Fast and space-efficient virtual machine checkpointing ↗](https://doi.org/10.1145/2007477.1952694)**Eunbyung Park, Bernhard Egger, Jaejin Lee*11 citations*
188. **[Pocket cloudlets ↗](https://doi.org/10.1145/1961296.1950387)**Emmanouil Koukoumidis, Dimitrios Lymberopoulos, Karin Strauß et al.*11 citations*
189. **[Recursion principles for syntax with bindings and substitution ↗](https://doi.org/10.1145/2034574.2034819)**Andrei Popescu, Elsa L. Gunter*11 citations*
190. **[Sponge ↗](https://doi.org/10.1145/1961296.1950409)**Amir H. Hormati, Mehrzad Samadi, Mark Woh et al.*11 citations*
191. **[Static analysis of aspect interaction and composition in component models ↗](https://doi.org/10.1145/2189751.2047871)**Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel*11 citations*
192. **[Declaratively defining domain-specific language debuggers ↗](https://doi.org/10.1145/2189751.2047885)**Ricky T. Lindeman, Lennart C.L. Kats, Eelco Visser B*10 citations*
193. **[Dolly ↗](https://doi.org/10.1145/2007477.1952691)**Emmanuel Cecchet, Rahul Singh, Upendra K. Sharma et al.*10 citations*
194. **[Dynamic cache contention detection in multi-threaded applications ↗](https://doi.org/10.1145/2007477.1952688)**Qin Zhao, David Koh, Syed Raza et al.*10 citations*
195. **[Fine-grained user-space security through virtualization ↗](https://doi.org/10.1145/2007477.1952703)**Mathias Payer, Thomas R. Gross*10 citations*
196. **[Freedom before commitment ↗](https://doi.org/10.1145/2076021.2048142)**Alexander J. Summers, Péter Müller*10 citations*
197. **[Proving the unique fixed-point principle correct ↗](https://doi.org/10.1145/2034574.2034821)**Ralf Thomas Walter Hinze, Daniel W.H. James*10 citations*
198. **[A typed store-passing translation for general references ↗](https://doi.org/10.1145/1925844.1926403)**François Pottier*9 citations*
199. **[Ensuring operating system kernel integrity with OSck ↗](https://doi.org/10.1145/1961296.1950398)**Owen S. Hofmann, Alan M. Dunn, Sangman Kim et al.*9 citations*
200. **[Evaluating graph coloring on GPUs ↗](https://doi.org/10.1145/2038037.1941597)**Pascal Grosset, Peihong Zhu, Shusen Liu et al.*9 citations*

[← prev](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/) [1](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/) **2** [3](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/3/) [4](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/4/) [next →](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/3/)

- [← back to](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/) — ACM SIGPLAN Notices 2011