ACM SIGPLAN Notices 2011: all accepted papers
- HAWKEYE ↗Omer Tripp, Greta Yorsh, John Field et al.2 citations
- Handles revisited ↗Tomáš Kalibera, Richard Jones2 citations
- Improving software diagnosability via log enhancement ↗Ding Yuan, Jing Zheng, Soyeon Park et al.2 citations
- Inferring ownership transfer for efficient message passing ↗Stas Negara, Rajesh K. Karmani, Gul Agha2 citations
- Lowering overhead in sampling-based execution monitoring and tracing ↗Johnson J. Thomas, Sebastian Fischmeister, Deepak Kumar2 citations
- Patch auditing in infrastructure as a service clouds ↗Lionel Litty, David Lie2 citations
- Precise and efficient parametric path analysis ↗Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks2 citations
- Scalable join patterns ↗Aaron Joseph Turon, Claudio V. Russo2 citations
- Specifying and checking semantic atomicity for multithreaded programs ↗Jacob S. Burnim, George C. Necula, Koushik Sen2 citations
- Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems ↗Abdoulaye Gamatié, Laure Gonnord2 citations
- Task-level analysis for a language with async/finish parallelism ↗Elvira Albert, Puri Arenas, Samir Genaim et al.2 citations
- Waste not, want not ↗Matthew Hertz, Stephen Kane, Elizabeth Keudel et al.2 citations
- A comprehensive evaluation of object scanning techniques ↗Robin J. Garner, Stephen Michael Blackburn, Daniel Frampton1 citation
- Algorithm-based recovery for HPL ↗Teresa Davies, Zizhong Chen, Christer Karlsson et al.1 citation
- Bringing back monad comprehensions ↗George Giorgidze, Torsten Grust, Nils Schweinsberg et al.1 citation
- Cache persistence analysis ↗Christoph Cullmann1 citation
- Data-driven synthesis for object-oriented frameworks ↗Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama1 citation
- Dependence-based multi-level tracing and replay for wireless sensor networks debugging ↗Man Wang, Zhiyuan Li, Feng Li et al.1 citation
- Generating database migrations for evolving web applications ↗Sander Daniël Vermolen, Guido H. Wachsmuth, Eelco Visser B1 citation
- Generation of geometric programs specified by diagrams ↗Yulin Li, Gordon S. Novak1 citation
- Improved device driver reliability through hardware verification reuse ↗Leonid Ryzhyk, John Keys, Balachandra Mirla et al.1 citation
- Infrastructure for component-based DDS application development ↗William R. Otte, Aniruddha S. Gokhale, Douglas C. Schmidt et al.1 citation
- Less is more ↗B. J. Arnoldus, Mark van den Brand, Alexander Serebrenik1 citation
- Polymorphic type inference for scripting languages with object extensions ↗Tian Qi Zhao1 citation
- Prettier concurrency ↗Daan Leijen, Manuel A. Fähndrich, Sebastian Burckhardt1 citation
- Programming assurance cases in Agda ↗Makoto Takeyama1 citation
- Reflection in direct style ↗Kenichi Asai1 citation
- SCRATCH ↗Alastair F. Donaldson, Daniel Kroening, Philipp Ruemmer1 citation
- SOS ↗Du Li, Witawas Srisa‐an, Matthew B. Dwyer1 citation
- Self-adjusting stack machines ↗Matthew A. Hammer, Georg Neis, Yan Chen et al.1 citation
- Sprint ↗Arun Raman, Greta Yorsh, Martin Vechev et al.1 citation
- Synthesizing concurrent schedulers for irregular algorithms ↗Donald D. Nguyen, Keshav K. Pingali1 citation
- Time skewing made simple ↗Robert Strzodka, Mohammed Shaheen, Dawid Pająk1 citation
- Towards automatic generation of formal specifications to validate and verify reliable distributed systems ↗Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann1 citation
- Virtualization in the age of heterogeneous machines ↗David F. Bacon1 citation
- A declarative language approach to device configuration ↗Adrian Schüpbach, Andrew Baumann, Timothy Roscoe et al.
- A library writer's guide to shortcut fusion ↗Thomas L. Harper
- A syntactic type system for recursive modules ↗Hyeonseung Im, Keiko Nakata, Jacques Garrigue et al.
- A wait-free NCAS library for parallel applications with timing constraints ↗Philippe Stellwag, Fabian Scheler, Jakob Krainz et al.
- An interpreter for server-side hop ↗Bernard Serpette, Manuel Serrano
- Asynchronous assertions ↗Edward E. Aftandilian, Samuel Z. Guyer, Martin Vechev et al.
- Automatic safety proofs for asynchronous memory operations ↗Matko Botinčan, Mike Dodds, Alastair F. Donaldson et al.
- Backstage Java ↗Zachary Palmer, Scott F. Smith
- Bootstrapping a self-hosted research virtual machine for JavaScript ↗Maxime Chevalier-Boisvert, Erick Lavoie, Marc Feeley et al.
- Bounded-latency regional garbage collection ↗Felix S. Klock, William Clinger
- Composable, nestable, pessimistic atomic statements ↗Zachary Anderson, David E. Gay
- Divide and recycle ↗Albert Benveniste A, Timothy Bourke, Benoît Caillaud A et al.
- Efficiently speeding up sequential computation through the n-way programming model ↗Romain E. Cledat, Tushar Kumar, Santosh Pande
- Global productiveness propagation ↗Indu Bhagat, Enric Gibert, Jesús Sánchez et al.
- Helping programmers help users ↗John Freeman, Jaakko Järvi, Won‐Seok Kim et al.
- Hobbits for Haskell ↗Edwin Westbrook, Nicolas Frisby, Paul Brauner
- How's the parallel computing revolution going? ↗Kathryn S. McKinley
- Improving the performance of trace-based systems by false loop filtering ↗Hiroshige Hayashizaki, Peng Wu, Hiroshi Inoue et al.
- Monitoring aspects for the customization of automatically generated code for big-step models ↗Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee
- Multilingual component programming in racket ↗Matthias Felleisen
- On the theory and potential of LRU-MRU collaborative cache management ↗Xiaoming Gu, Chen Ding
- Places ↗Kevin Tew, James Swaine, Matthew Flatt et al.
- Pragmatics for formal semantics ↗Olivier Danvy A
- Programming the cloud ↗James R. Larus
- QoS aware storage cache management in multi-server environments ↗Ramya Prabhakar, Shekhar Srikantaiah, Rajat Garg et al.
- Reducing trace selection footprint for large-scale Java applications without performance loss ↗Peng Wu, Hiroshige Hayashizaki, Hiroshi Inoue et al.
- Robin Milner 1934–2010 ↗Andrew D. Gordon, Robert W. Harper, John Harrison et al.
- Safe and atomic run-time code evolution for Java and its application to dynamic AOP ↗Thomas Würthinger, Danilo Ansaloni, Walter Binder et al.
- Scheduling of stream-based real-time applications for heterogeneous systems ↗Bruno Virlet, Xing Zhou, Jean Pierre Giacalone et al.
- Short-term memory for self-collecting mutators ↗Martin Aigner, Andreas Haas, Christoph Meyer Kirsch et al.
- Software debugging and testing using the abstract diagnosis theory ↗Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
- Symbolically modeling concurrent MCAPI executions ↗Topher Fischer, Eric G. Mercer, Neha Rungta
- Synchronous programming of device drivers for global resource control in embedded operating systems ↗Nicolas Berthier, Florence Maraninchi, Laurent Mounier
- Termination combinators forever ↗Maximilian C. Bolingbroke, Simon Jones, Dimitrios Vytiniotis
- The sequential prison ↗Ivan E. Sutherland
- Theorem-based circuit derivation in cryptol ↗John Launchbury
- Thread contracts for safe parallelism ↗Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore
- Towards a comprehensive theory of monadic effects ↗Andrzej Filinski
- Transaction communicators ↗Victor Luchangco, Virendra J. Marathe
- Using camlp4 for presenting dynamic mathematics on the web ↗Frédéric Chyzak, Alexis Darrasse
- Weak atomicity under the x86 memory consistency model ↗Amitabha Roy, Steven Hand, Tim Harris
This page in Markdown → https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/4/