---
title: "ACM SIGPLAN Notices 2011 — all accepted papers, page 3"
description: "All 381 papers of ACM SIGPLAN Notices 2011 · page 3 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/3/"
---
[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/3/)

[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 3

# ACM SIGPLAN Notices 2011: all accepted papers

381 papers · page 3 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/page/2/) [1](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/) [2](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/2/) **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/4/)

201. **[Multicore garbage collection with local heaps ↗](https://doi.org/10.1145/2076022.1993482)**Simon Marlow, Simon Jones*9 citations*
202. **[Null dereference verification via over-approximated weakest pre-conditions analysis ↗](https://doi.org/10.1145/2076021.2048144)**Ravichandhran Madhavan, Raghavan Komondoor*9 citations*
203. **[Tool-supported refactoring for JavaScript ↗](https://doi.org/10.1145/2076021.2048078)**Asger Feldthaus, Todd D. Millstein, Anders Møller et al.*9 citations*
204. **[A low-cost wear-leveling algorithm for block-mapping solid-state disks ↗](https://doi.org/10.1145/2016603.1967683)**Li-Pin Chang, Li-Chun Huang*8 citations*
205. **[Delegated isolation ↗](https://doi.org/10.1145/2076021.2048133)**Roberto Lublinerman, Jisheng Zhao, Zoran Budimlić et al.*8 citations*
206. **[F4F ↗](https://doi.org/10.1145/2076021.2048145)**Manu Sridharan, Shay Artzi, Marco Pistoia et al.*8 citations*
207. **[Garbage collection auto-tuning for Java mapreduce on multi-cores ↗](https://doi.org/10.1145/2076022.1993495)**Jeremy Singer, George Kovoor, Gavin Brown et al.*8 citations*
208. **[Hybrid NOrec ↗](https://doi.org/10.1145/1961296.1950373)**Luke Dalessandro, François Carouge, Sean White et al.*8 citations*
209. **[JET ↗](https://doi.org/10.1145/2076021.2048095)**Siliang Li, Gang Tan*8 citations*
210. **[Kismet ↗](https://doi.org/10.1145/2076021.2048108)**Dong‐Hwan Jeon, Saturnino Garcia, Chris Louie et al.*8 citations*
211. **[Programming the memory hierarchy revisited ↗](https://doi.org/10.1145/2038037.1941558)**Michael Bauer, John Clark, Eric Schkufza et al.*8 citations*
212. **[Synthesis of first-order dynamic programming algorithms ↗](https://doi.org/10.1145/2076021.2048076)**Yewen Pu, Rastislav Bodík, Saurabh Srivastava*8 citations*
213. **[Two for the price of one ↗](https://doi.org/10.1145/2076021.2048101)**Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski et al.*8 citations*
214. **[Verified squared ↗](https://doi.org/10.1145/1925844.1926387)**Xavier Leroy*8 citations*
215. **[Auto-tuning of fast fourier transform on graphics processors ↗](https://doi.org/10.1145/2038037.1941589)**Yuri Dotsenko, Sara S. Baghsorkhi, Brandon Lloyd et al.*7 citations*
216. **[Automatic fine-grain locking using shape properties ↗](https://doi.org/10.1145/2076021.2048086)**Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken et al.*7 citations*
217. **[Compact data structure and scalable algorithms for the sparse grid technique ↗](https://doi.org/10.1145/2038037.1941559)**Alin Florindor Murarasu, Josef Weidendorfer, Gerrit Buse et al.*7 citations*
218. **[Deriving an efficient FPGA implementation of a low density parity check forward error corrector ↗](https://doi.org/10.1145/2034574.2034804)**Andy Gill, Andrew Farmer*7 citations*
219. **[Forest ↗](https://doi.org/10.1145/2034574.2034814)**Kathleen Fisher, Nate Foster, David Walker et al.*7 citations*
220. **[Hybrid partial evaluation ↗](https://doi.org/10.1145/2076021.2048098)**Amin Shali, William R. Cook*7 citations*
221. **[Kind analysis for MATLAB ↗](https://doi.org/10.1145/2076021.2048077)**Jesse Doherty, Laurie Jane Hendren, Soroush Radpour*7 citations*
222. **[Perfctr-Xen ↗](https://doi.org/10.1145/2007477.1952687)**Ruslan Nikolaev, Godmar Back*7 citations*
223. **[Rethink the virtual machine template ↗](https://doi.org/10.1145/2007477.1952690)**Kun Wang, Jia Rao, Chengzhong Xu*7 citations*
224. **[SHERIFF ↗](https://doi.org/10.1145/2076021.2048070)**Tongping Liu, Emery D. Berger*7 citations*
225. **[Taming the wildcards ↗](https://doi.org/10.1145/1993316.1993569)**John Altidor, Shan Huang, Yannis Smaragdakis*7 citations*
226. **[The STAPL parallel container framework ↗](https://doi.org/10.1145/2038037.1941586)**Gabriel Tanase, Antal A. Buss, Adam Fidel et al.*7 citations*
227. **[A simple abstraction for complex concurrent indexes ↗](https://doi.org/10.1145/2076021.2048131)**Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds et al.*6 citations*
228. **[AC ↗](https://doi.org/10.1145/2076021.2048134)**Tim Harris, Martı́n Abadi, Rebecca Isaacs et al.*6 citations*
229. **[All-window profiling and composable models of cache sharing ↗](https://doi.org/10.1145/2038037.1941567)**Xiaoya Xiang, Bin Bao, Tongxin Bai et al.*6 citations*
230. **[HappyJIT ↗](https://doi.org/10.1145/2168696.2047854)**Andrei Homescu, Alex Şuhan*6 citations*
231. **[Integrated language definition testing ↗](https://doi.org/10.1145/2076021.2048080)**Lennart C.L. Kats, Rob Vermaas, Eelco Visser B*6 citations*
232. **[OoOJava ↗](https://doi.org/10.1145/2038037.1941563)**James Christopher Jenista, Yong hun Eom, Brian Charles Demsky*6 citations*
233. **[SpiceC ↗](https://doi.org/10.1145/2038037.1941564)**Min Feng, Rajiv Gupta, Yi Hu*6 citations*
234. **[The impact of optional type information on jit compilation of dynamically typed languages ↗](https://doi.org/10.1145/2168696.2047853)**Mason Chang, Bernd Mathiske, Edwin W. Smith et al.*6 citations*
235. **[Trustworthy numerical computation in Scala ↗](https://doi.org/10.1145/2076021.2048094)**Eva Darulová, Viktor Kunčak*6 citations*
236. **[ULCC ↗](https://doi.org/10.1145/2038037.1941568)**Xiaoning Ding, Kaibo Wang, Xiaodong Zhang*6 citations*
237. **[Virtual values for language extension ↗](https://doi.org/10.1145/2076021.2048136)**Thomas H. Austin, Tim Disney, Cormac Flanagan A*6 citations*
238. **[Communicating memory transactions ↗](https://doi.org/10.1145/2038037.1941577)**Mohsen Lesani, Jens Palsberg*5 citations*
239. **[DoublePlay ↗](https://doi.org/10.1145/1961296.1950370)**Kaushik Veeraraghavan, Dongyoon Lee, Benjamin Wester et al.*5 citations*
240. **[Efficient parallel stencil convolution in Haskell ↗](https://doi.org/10.1145/2096148.2034684)**Ben Lippmeier, Gabriele Keller*5 citations*
241. **[Feature interactions, products, and composition ↗](https://doi.org/10.1145/2189751.2047867)**Don S. Batory, Peter Höfner, Jongwook Kim*5 citations*
242. **[Hardware acceleration of transactional memory on commodity systems ↗](https://doi.org/10.1145/1961296.1950372)**Jared Casper, Tayo Oguntebi, Sungpack Hong et al.*5 citations*
243. **[JIT compilation policy for modern machines ↗](https://doi.org/10.1145/2076021.2048126)**Prasad A. Kulkarni*5 citations*
244. **[Modular rollback through control logging ↗](https://doi.org/10.1145/2034574.2034783)**Olin Shivers, Aaron Joseph Turon*5 citations*
245. **[Orchestration by approximation ↗](https://doi.org/10.1145/1961296.1950406)**Sardar M. Farhad, Yousun Ko, Bernd Burgstaller et al.*5 citations*
246. **[Predictable task migration for locked caches in multi-core systems ↗](https://doi.org/10.1145/2016603.1967696)**Abhik Sarkar, Frank Mueller, Harini Ramaprasad*5 citations*
247. **[Product lines of theorems ↗](https://doi.org/10.1145/2076021.2048113)**Benjamin Delaware, William R. Cook, Don S. Batory*5 citations*
248. **[ReHype ↗](https://doi.org/10.1145/2007477.1952692)**Michael V. Le, Yuval Tamir*5 citations*
249. **[Reactive imperative programming with dataflow constraints ↗](https://doi.org/10.1145/2076021.2048100)**Camil Demetrescu, Irene Finocchi, Andrea Ribichini*5 citations*
250. **[Safe parallel programming using dynamic dependence hints ↗](https://doi.org/10.1145/2076021.2048087)**Chuanle Ke, Lei Liu, Chao Zhang et al.*5 citations*
251. **[Space overhead bounds for dynamic memory management with partial compaction ↗](https://doi.org/10.1145/1925844.1926441)**Anna Bendersky, Erez Petrank*5 citations*
252. **[Static vs. dynamic type systems ↗](https://doi.org/10.1145/2168696.2047861)**Andreas Stuchlik, Stefan Hanenberg*5 citations*
253. **[SymCall ↗](https://doi.org/10.1145/2007477.1952707)**John R. Lange, Peter A. Dinda*5 citations*
254. **[2ndStrike ↗](https://doi.org/10.1145/1961296.1950394)**Qi Gao, Wenbin Zhang, Zhezhe Chen et al.*4 citations*
255. **[Accentuating the positive ↗](https://doi.org/10.1145/2076021.2048071)**Dasarath Weeratunge, Xiangyu Zhang, Suresh Jaganathan*4 citations*
256. **[An SSA-based algorithm for optimal speculative code motion under an execution profile ↗](https://doi.org/10.1145/1993316.1993510)**Hucheng Zhou, Wenguang Chen, Fred Chow*4 citations*
257. **[Balanced trees inhabiting functional parallel programming ↗](https://doi.org/10.1145/2034574.2034791)**Akimasa Morihata, Kiminori Matsuzaki*4 citations*
258. **[Cache index-aware memory allocation ↗](https://doi.org/10.1145/2076022.1993486)**Yehuda Afek, Dave Dice, Adam Morrison*4 citations*
259. **[Cedalion ↗](https://doi.org/10.1145/2076021.2048123)**David H. Lorenz, Boaz Rosenan*4 citations*
260. **[Efficient processor support for DRFx, a memory model with exceptions ↗](https://doi.org/10.1145/1961296.1950375)**Abhayendra Singh, Daniel Marino, Satish Narayanasamy et al.*4 citations*
261. **[Embedded parser generators ↗](https://doi.org/10.1145/2096148.2034689)**Jonas Duregård, Patrik Jansson*4 citations*
262. **[Inter-core prefetching for multicore processors using migrating helper threads ↗](https://doi.org/10.1145/1961296.1950411)**Md Kamruzzaman, Steven Swanson, Dean Michael Tullsen*4 citations*
263. **[Linearity and PCF ↗](https://doi.org/10.1145/2034574.2034822)**Marco Gaboardi, Luca Paolini, Mauro Piccolo*4 citations*
264. **[Looking back on the language and hardware revolutions ↗](https://doi.org/10.1145/1961296.1950402)**Hadi Esmaeilzadeh, Ting Cao, Xi Yang et al.*4 citations*
265. **[Model-driven engineering and run-time model-usage in service robotics ↗](https://doi.org/10.1145/2189751.2047875)**Andreas Johann Steck, Alex Lotz, Christian Schlegel*4 citations*
266. **[On the impact of feature dependencies when maintaining preprocessor-based software product lines ↗](https://doi.org/10.1145/2189751.2047868)**Márcio Ribeiro, Felipe Campos de Queiroz, Paulo Henrique Monteiro Borba et al.*4 citations*
267. **[Static bus schedule aware scratchpad allocation in multiprocessors ↗](https://doi.org/10.1145/2016603.1967680)**Sudipta Chattopadhyay, Abhik Roychoudhury*4 citations*
268. **[Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance ↗](https://doi.org/10.1145/2076021.2048140)**Eric Allen, Justin Hilburn, Scott Kilpatrick et al.*4 citations*
269. **[A step towards transparent integration of input-consciousness into dynamic program optimizations ↗](https://doi.org/10.1145/2076021.2048103)**Kai Tian, Eddy Zhang, Xipeng Shen*3 citations*
270. **[Compartmental memory management in a modern web browser ↗](https://doi.org/10.1145/2076022.1993496)**Gregor Wagner, Andreas Gal, Christian L. Wimmer et al.*3 citations*
271. **[Enhanced speculative parallelization via incremental recovery ↗](https://doi.org/10.1145/2038037.1941580)**Chen Tian, Changhui Lin, Min Feng et al.*3 citations*
272. **[Explicit use-case representation in object-oriented programming languages ↗](https://doi.org/10.1145/2168696.2047856)**Robert Hirschfeld, Michael Perscheid, Michael Haupt*3 citations*
273. **[Exploiting coarse-grain speculative parallelism ↗](https://doi.org/10.1145/2076021.2048110)**Hari K. Pyla, Calvin J. Ribbens, Srinidhi Varadarajan A*3 citations*
274. **[Exploring circuit timing-aware language and compilation ↗](https://doi.org/10.1145/1961296.1950405)**Giang Hoang, Robby Bruce Findler, Russ Joseph*3 citations*
275. **[Firepile ↗](https://doi.org/10.1145/2189751.2047883)**Nathaniel Nystrom, Derek A. White, Kishen Das*3 citations*
276. **[Flexible object layouts ↗](https://doi.org/10.1145/2076021.2048138)**T. Verwaest, Camillo Bruni, Mircea Filip Lungu et al.*3 citations*
277. **[Functional programming through deep time ↗](https://doi.org/10.1145/2034574.2034779)**Emily G. Mitchell*3 citations*
278. **[Gradual typing for generics ↗](https://doi.org/10.1145/2076021.2048114)**Lintaro Ina, Atsushi Igarashi*3 citations*
279. **[Growing a language environment with editor libraries ↗](https://doi.org/10.1145/2189751.2047891)**Sebastian Thore Erdweg, Lennart C.L. Kats, Tillmann Rendel et al.*3 citations*
280. **[Hybrid binary rewriting for memory access instrumentation ↗](https://doi.org/10.1145/2007477.1952711)**Amitabha Roy, Steven Hand, Tim Harris*3 citations*
281. **[Immutable specifications for more concise and precise verification ↗](https://doi.org/10.1145/2076021.2048096)**Cristina David, Wei-Ngan Chin*3 citations*
282. **[Iterative data-parallel mark&sweep on a GPU ↗](https://doi.org/10.1145/2076022.1993480)**Ronald Veldema, Michæl Philippsen*3 citations*
283. **[Kremlin ↗](https://doi.org/10.1145/2038037.1941595)**Dong‐Hwan Jeon, Saturnino Garcia, Chris Louie et al.*3 citations*
284. **[Memory systems in the many-core era ↗](https://doi.org/10.1145/2076022.1993489)**Onur Mutlu*3 citations*
285. **[Oracle scheduling ↗](https://doi.org/10.1145/2076021.2048106)**Umut A. Acar, Arthur Charguéraud, Mike Rainey*3 citations*
286. **[Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code ↗](https://doi.org/10.1145/1925844.1926451)**Norman F. Ramsey, João Dias*3 citations*
287. **[Ribbons ↗](https://doi.org/10.1145/2076021.2048091)**Kevin J. Hoffman, Harrison Metzger, Patrick Th. Eugster*3 citations*
288. **[The cloud will change everything ↗](https://doi.org/10.1145/1961296.1950367)**James R. Larus*3 citations*
289. **[A case for neuromorphic ISAs ↗](https://doi.org/10.1145/1961296.1950385)**Atif G. Hashmi, Andrew Nere, James J. Thomas et al.*2 citations*
290. **[A theory of substructural types and control ↗](https://doi.org/10.1145/2076021.2048115)**Jesse A. Tov, Riccardo Pucella*2 citations*
291. **[Active pebbles ↗](https://doi.org/10.1145/2038037.1941601)**Jeremiah James Willcock, Torsten Hoefler, Nicholas Gerard Edmonds et al.*2 citations*
292. **[An approach to improving the structure of error-handling code in the linux kernel ↗](https://doi.org/10.1145/2016603.1967684)**Suman Saha, Julia Lawall, Gilles Muller*2 citations*
293. **[An efficient non-moving garbage collector for functional languages ↗](https://doi.org/10.1145/2034574.2034802)**Katsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo*2 citations*
294. **[An instruction-scheduling-aware data partitioning technique for coarse-grained reconfigurable architectures ↗](https://doi.org/10.1145/2016603.1967699)**Choonki Jang, Jungwon Kim, Jaejin Lee et al.*2 citations*
295. **[Comparing complexity of API designs ↗](https://doi.org/10.1145/2189751.2047890)**Stefan Sobernig, Patrick Gaubatz, Mark Strembeck et al.*2 citations*
296. **[Cooperative reasoning for preemptive execution ↗](https://doi.org/10.1145/2038037.1941575)**Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan A*2 citations*
297. **[Enhancing locality for recursive traversals of recursive structures ↗](https://doi.org/10.1145/2076021.2048104)**Youngjoon Jo, Milind Kulkarni*2 citations*
298. **[Extending monads with pattern matching ↗](https://doi.org/10.1145/2096148.2034677)**Tomáš Petříček, Alan Mycroft, Don Syme*2 citations*
299. **[Flow-sensitive type recovery in linear-log time ↗](https://doi.org/10.1145/2076021.2048105)**Michael D. Adams, Andrew W. Keep, Jan Midtgaard et al.*2 citations*
300. **[Generalising and dualising the third list-homomorphism theorem ↗](https://doi.org/10.1145/2034574.2034824)**Shin-Cheng Mu, Akimasa Morihata*2 citations*

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

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