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

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

# ACM SIGPLAN Notices 2011: all accepted papers

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

301. **[HAWKEYE ↗](https://doi.org/10.1145/2076021.2048085)**Omer Tripp, Greta Yorsh, John Field et al.*2 citations*
302. **[Handles revisited ↗](https://doi.org/10.1145/2076022.1993492)**Tomáš Kalibera, Richard Jones*2 citations*
303. **[Improving software diagnosability via log enhancement ↗](https://doi.org/10.1145/1961296.1950369)**Ding Yuan, Jing Zheng, Soyeon Park et al.*2 citations*
304. **[Inferring ownership transfer for efficient message passing ↗](https://doi.org/10.1145/2038037.1941566)**Stas Negara, Rajesh K. Karmani, Gul Agha*2 citations*
305. **[Lowering overhead in sampling-based execution monitoring and tracing ↗](https://doi.org/10.1145/2016603.1967692)**Johnson J. Thomas, Sebastian Fischmeister, Deepak Kumar*2 citations*
306. **[Patch auditing in infrastructure as a service clouds ↗](https://doi.org/10.1145/2007477.1952702)**Lionel Litty, David Lie*2 citations*
307. **[Precise and efficient parametric path analysis ↗](https://doi.org/10.1145/2016603.1967697)**Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks*2 citations*
308. **[Scalable join patterns ↗](https://doi.org/10.1145/2076021.2048111)**Aaron Joseph Turon, Claudio V. Russo*2 citations*
309. **[Specifying and checking semantic atomicity for multithreaded programs ↗](https://doi.org/10.1145/1961296.1950377)**Jacob S. Burnim, George C. Necula, Koushik Sen*2 citations*
310. **[Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems ↗](https://doi.org/10.1145/2016603.1967688)**Abdoulaye Gamatié, Laure Gonnord*2 citations*
311. **[Task-level analysis for a language with async/finish parallelism ↗](https://doi.org/10.1145/2016603.1967681)**Elvira Albert, Puri Arenas, Samir Genaim et al.*2 citations*
312. **[Waste not, want not ↗](https://doi.org/10.1145/2076022.1993487)**Matthew Hertz, Stephen Kane, Elizabeth Keudel et al.*2 citations*
313. **[A comprehensive evaluation of object scanning techniques ↗](https://doi.org/10.1145/2076022.1993484)**Robin J. Garner, Stephen Michael Blackburn, Daniel Frampton*1 citation*
314. **[Algorithm-based recovery for HPL ↗](https://doi.org/10.1145/2038037.1941600)**Teresa Davies, Zizhong Chen, Christer Karlsson et al.*1 citation*
315. **[Bringing back monad comprehensions ↗](https://doi.org/10.1145/2096148.2034678)**George Giorgidze, Torsten Grust, Nils Schweinsberg et al.*1 citation*
316. **[Cache persistence analysis ↗](https://doi.org/10.1145/2016603.1967695)**Christoph Cullmann*1 citation*
317. **[Data-driven synthesis for object-oriented frameworks ↗](https://doi.org/10.1145/2076021.2048075)**Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama*1 citation*
318. **[Dependence-based multi-level tracing and replay for wireless sensor networks debugging ↗](https://doi.org/10.1145/2016603.1967691)**Man Wang, Zhiyuan Li, Feng Li et al.*1 citation*
319. **[Generating database migrations for evolving web applications ↗](https://doi.org/10.1145/2189751.2047876)**Sander Daniël Vermolen, Guido H. Wachsmuth, Eelco Visser B*1 citation*
320. **[Generation of geometric programs specified by diagrams ↗](https://doi.org/10.1145/2189751.2047874)**Yulin Li, Gordon S. Novak*1 citation*
321. **[Improved device driver reliability through hardware verification reuse ↗](https://doi.org/10.1145/1961296.1950383)**Leonid Ryzhyk, John Keys, Balachandra Mirla et al.*1 citation*
322. **[Infrastructure for component-based DDS application development ↗](https://doi.org/10.1145/2189751.2047872)**William R. Otte, Aniruddha S. Gokhale, Douglas C. Schmidt et al.*1 citation*
323. **[Integrated symbol table, engine and heap memory management in multi-engine prolog ↗](https://doi.org/10.1145/2076022.1993497)**Paul Tarau*1 citation*
324. **[Less is more ↗](https://doi.org/10.1145/2189751.2047887)**B. J. Arnoldus, Mark van den Brand, Alexander Serebrenik*1 citation*
325. **[Polymorphic type inference for scripting languages with object extensions ↗](https://doi.org/10.1145/2168696.2047855)**Tian Qi Zhao*1 citation*
326. **[Prettier concurrency ↗](https://doi.org/10.1145/2096148.2034686)**Daan Leijen, Manuel A. Fähndrich, Sebastian Burckhardt*1 citation*
327. **[Programming assurance cases in Agda ↗](https://doi.org/10.1145/2034574.2034794)**Makoto Takeyama*1 citation*
328. **[Reflection in direct style ↗](https://doi.org/10.1145/2189751.2047882)**Kenichi Asai*1 citation*
329. **[SCRATCH ↗](https://doi.org/10.1145/2038037.1941604)**Alastair F. Donaldson, Daniel Kroening, Philipp Ruemmer*1 citation*
330. **[SOS ↗](https://doi.org/10.1145/2076021.2048072)**Du Li, Witawas Srisa‐an, Matthew B. Dwyer*1 citation*
331. **[Self-adjusting stack machines ↗](https://doi.org/10.1145/2076021.2048124)**Matthew A. Hammer, Georg Neis, Yan Chen et al.*1 citation*
332. **[Sprint ↗](https://doi.org/10.1145/2076021.2048088)**Arun Raman, Greta Yorsh, Martin Vechev et al.*1 citation*
333. **[Synthesizing concurrent schedulers for irregular algorithms ↗](https://doi.org/10.1145/1961296.1950404)**Donald D. Nguyen, Keshav K. Pingali*1 citation*
334. **[Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation ↗](https://doi.org/10.1145/2016603.1967685)**Ian Gray, Neil Audsley*1 citation*
335. **[Time skewing made simple ↗](https://doi.org/10.1145/2038037.1941596)**Robert Strzodka, Mohammed Shaheen, Dawid Pająk*1 citation*
336. **[Towards automatic generation of formal specifications to validate and verify reliable distributed systems ↗](https://doi.org/10.1145/2189751.2047888)**Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann*1 citation*
337. **[Virtualization in the age of heterogeneous machines ↗](https://doi.org/10.1145/2007477.1952684)**David F. Bacon*1 citation*
338. **[A declarative language approach to device configuration ↗](https://doi.org/10.1145/1961296.1950382)**Adrian Schüpbach, Andrew Baumann, Timothy Roscoe et al.
339. **[A library writer's guide to shortcut fusion ↗](https://doi.org/10.1145/2096148.2034682)**Thomas L. Harper
340. **[A syntactic type system for recursive modules ↗](https://doi.org/10.1145/2076021.2048141)**Hyeonseung Im, Keiko Nakata, Jacques Garrigue et al.
341. **[A wait-free NCAS library for parallel applications with timing constraints ↗](https://doi.org/10.1145/2038037.1941599)**Philippe Stellwag, Fabian Scheler, Jakob Krainz et al.
342. **[An interpreter for server-side hop ↗](https://doi.org/10.1145/2168696.2047851)**Bernard Serpette, Manuel Serrano
343. **[Application of model based development to flexible code generation ↗](https://doi.org/10.1145/2189751.2047880)**Gary J. Shubert
344. **[Asynchronous assertions ↗](https://doi.org/10.1145/2076021.2048090)**Edward E. Aftandilian, Samuel Z. Guyer, Martin Vechev et al.
345. **[Automatic safety proofs for asynchronous memory operations ↗](https://doi.org/10.1145/2038037.1941605)**Matko Botinčan, Mike Dodds, Alastair F. Donaldson et al.
346. **[Backstage Java ↗](https://doi.org/10.1145/2076021.2048137)**Zachary Palmer, Scott F. Smith
347. **[Bootstrapping a self-hosted research virtual machine for JavaScript ↗](https://doi.org/10.1145/2168696.2047858)**Maxime Chevalier-Boisvert, Erick Lavoie, Marc Feeley et al.
348. **[Bounded-latency regional garbage collection ↗](https://doi.org/10.1145/2168696.2047859)**Felix S. Klock, William Clinger
349. **[Composable, nestable, pessimistic atomic statements ↗](https://doi.org/10.1145/2076021.2048132)**Zachary Anderson, David E. Gay
350. **[Divide and recycle ↗](https://doi.org/10.1145/2016603.1967687)**Albert Benveniste A, Timothy Bourke, Benoît Caillaud A et al.
351. **[Efficiently speeding up sequential computation through the n-way programming model ↗](https://doi.org/10.1145/2076021.2048109)**Romain E. Cledat, Tushar Kumar, Santosh Pande
352. **[Fast and correct performance recovery of operating systems using a virtual machine monitor ↗](https://doi.org/10.1145/2007477.1952696)**Kenichi Kourai
353. **[Global productiveness propagation ↗](https://doi.org/10.1145/2016603.1967700)**Indu Bhagat, Enric Gibert, Jesús Sánchez et al.
354. **[Helping programmers help users ↗](https://doi.org/10.1145/2189751.2047892)**John Freeman, Jaakko Järvi, Won‐Seok Kim et al.
355. **[Hobbits for Haskell ↗](https://doi.org/10.1145/2096148.2034681)**Edwin Westbrook, Nicolas Frisby, Paul Brauner
356. **[How's the parallel computing revolution going? ↗](https://doi.org/10.1145/2038037.1941571)**Kathryn S. McKinley
357. **[Improving the performance of trace-based systems by false loop filtering ↗](https://doi.org/10.1145/1961296.1950412)**Hiroshige Hayashizaki, Peng Wu, Hiroshi Inoue et al.
358. **[Monitoring aspects for the customization of automatically generated code for big-step models ↗](https://doi.org/10.1145/2189751.2047884)**Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee
359. **[Multilingual component programming in racket ↗](https://doi.org/10.1145/2189751.2047864)**Matthias Felleisen
360. **[On the theory and potential of LRU-MRU collaborative cache management ↗](https://doi.org/10.1145/2076022.1993485)**Xiaoming Gu, Chen Ding
361. **[Places ↗](https://doi.org/10.1145/2168696.2047860)**Kevin Tew, James Swaine, Matthew Flatt et al.
362. **[Pragmatics for formal semantics ↗](https://doi.org/10.1145/2189751.2047878)**Olivier Danvy A
363. **[Programming the cloud ↗](https://doi.org/10.1145/2038037.1941555)**James R. Larus
364. **[QoS aware storage cache management in multi-server environments ↗](https://doi.org/10.1145/2038037.1941593)**Ramya Prabhakar, Shekhar Srikantaiah, Rajat Garg et al.
365. **[Reducing trace selection footprint for large-scale Java applications without performance loss ↗](https://doi.org/10.1145/2076021.2048127)**Peng Wu, Hiroshige Hayashizaki, Hiroshi Inoue et al.
366. **[Robin Milner 1934–2010 ↗](https://doi.org/10.1145/1925844.1926439)**Andrew D. Gordon, Robert W. Harper, John Harrison et al.
367. **[Safe and atomic run-time code evolution for Java and its application to dynamic AOP ↗](https://doi.org/10.1145/2076021.2048129)**Thomas Würthinger, Danilo Ansaloni, Walter Binder et al.
368. **[Scheduling of stream-based real-time applications for heterogeneous systems ↗](https://doi.org/10.1145/2016603.1967679)**Bruno Virlet, Xing Zhou, Jean Pierre Giacalone et al.
369. **[Short-term memory for self-collecting mutators ↗](https://doi.org/10.1145/2076022.1993493)**Martin Aigner, Andreas Haas, Christoph Meyer Kirsch et al.
370. **[Software debugging and testing using the abstract diagnosis theory ↗](https://doi.org/10.1145/2016603.1967693)**Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
371. **[Symbolically modeling concurrent MCAPI executions ↗](https://doi.org/10.1145/2038037.1941602)**Topher Fischer, Eric G. Mercer, Neha Rungta
372. **[Synchronous programming of device drivers for global resource control in embedded operating systems ↗](https://doi.org/10.1145/2016603.1967689)**Nicolas Berthier, Florence Maraninchi, Laurent Mounier
373. **[Termination combinators forever ↗](https://doi.org/10.1145/2096148.2034680)**Maximilian C. Bolingbroke, Simon Jones, Dimitrios Vytiniotis
374. **[The sequential prison ↗](https://doi.org/10.1145/2076021.2048068)**Ivan E. Sutherland
375. **[Theorem-based circuit derivation in cryptol ↗](https://doi.org/10.1145/2189751.2047894)**John Launchbury
376. **[Thread contracts for safe parallelism ↗](https://doi.org/10.1145/2038037.1941573)**Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore
377. **[Towards a comprehensive theory of monadic effects ↗](https://doi.org/10.1145/2034574.2034775)**Andrzej Filinski
378. **[Transaction communicators ↗](https://doi.org/10.1145/2038037.1941578)**Victor Luchangco, Virendra J. Marathe
379. **[Two examples of parallel programming without concurrency constructs (PP-CC) ↗](https://doi.org/10.1145/2038037.1941598)**Chen Ding
380. **[Using camlp4 for presenting dynamic mathematics on the web ↗](https://doi.org/10.1145/2034574.2034809)**Frédéric Chyzak, Alexis Darrasse
381. **[Weak atomicity under the x86 memory consistency model ↗](https://doi.org/10.1145/2038037.1941594)**Amitabha Roy, Steven Hand, Tim Harris

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

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