Venues / PLDI /

PLDI 2007

45 papers

A certified type-preserving compiler from lambda calculus to assembly language · Adam Chlipala
A general framework for certifying garbage collectors and their mutators · Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li
Automatic inference of optimizer flow functions from semantic meanings · Erika Rice Scherpelz, Sorin Lerner, Craig Chambers
Automatic inversion generates divide-and-conquer parallel programs · Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Automatically classifying benign and harmful data racesallusing replay analysis · Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors · Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky
Certified self-modifying code · Hongxu Cai, Zhong Shao, Alexander Vaynberg
CheckFence: checking consistency of concurrent data types on relaxed memory models · Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives · Peng Li, Steve Zdancewic
DITTO: automatic incrementalization of data structure invariant checks (in Java) · Ajeet Shankar, Rastislav Bodík
EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system · Perry H. Wang, Jamison D. Collins, Gautham N. Chinya, Hong Jiang, Xinmin Tian, Milind Girkar + 3 more
Effective automatic parallelization of stencil computations · Sriram Krishnamoorthy, Muthu Manikandan Baskaran, Uday Bondhugula, J. Ramanujam, Atanas Rountev, P. Sadayappan
Efficient static analysis of XML paths and types · Pierre Genevès, Nabil Layaïda, Alan Schmitt
Enforcing isolation and ordering in STM · Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson + 2 more
Exterminator: automatically correcting memory errors with high probability · Gene Novark, Emery D. Berger, Benjamin G. Zorn
Fault-tolerant typed assembly language · Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker
Goldilocks: a race and transaction-aware java runtime · Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
Improved error reporting for software that uses black-box components · Jungwoo Ha, Christopher J. Rossbach, Jason V. Davis, Indrajit Roy, Hany E. Ramadan, Donald E. Porter + 2 more
Iterative context bounding for systematic testing of multithreaded programs · Madanlal Musuvathi, Shaz Qadeer
Mace: language support for building distributed systems · Charles Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat
Making context-sensitive points-to analysis with heap cloning practical for the real world · Chris Lattner, Andrew Lenharth, Vikram S. Adve
Offline compression for on-chip ram · Nathan Cooprider, John Regehr
Online optimizations driven by hardware performance monitoring · Florian T. Schneider, Mathias Payer, Thomas R. Gross
Optimistic parallelism requires abstractions · Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew
Parameterized tiled loops for free · Lakshminarayanan Renganarayanan, DaeGon Kim, Sanjay V. Rajopadhye, Michelle Mills Strout
Path invariants · Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
Practical memory leak detection using guarded value-flow analysis · Sigmund Cherem, Lonnie Princehouse, Radu Rugina
Profile-driven energy reduction in network-on-chips · Feihui Li, Guangyu Chen, Mahmut T. Kandemir, Ibrahim Kolcu
Proving thread termination · Byron Cook, Andreas Podelski, Andrey Rybalchenko
Regularly annotated set constraints · John Kodumal, Alex Aiken
Reliable and efficient programming abstractions for wireless sensor networks · Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan
Searching for type-error messages · Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers
Shape analysis with inductive recursion synthesis · Bolei Guo, Neil Vachharajani, David I. August
Sketching stencils · Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia
Software behavior oriented parallelization · Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, Chengliang Zhang
Sound and precise analysis of web applications for injection vulnerabilities · Gary Wassermann, Zhendong Su
Static error detection using semantic inconsistency inference · Isil Dillig, Thomas Dillig, Alex Aiken
Static specification inference using predicate mining · Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan
The ExoVM system for automatic VM and application reduction · Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg
The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code · Ben Hardekopf, Calvin Lin
Thin slicing · Manu Sridharan, Stephen J. Fink, Rastislav Bodík
Thread-modular shape analysis · Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv
Towards locating execution omission errors · Xiangyu Zhang, Sriraman Tallam, Neelam Gupta, Rajiv Gupta
UCC: update-conscious compilation for energy efficiency in wireless sensor networks · Weijia Li, Youtao Zhang, Jun Yang, Jiang Zheng
Valgrind: a framework for heavyweight dynamic binary instrumentation · Nicholas Nethercote, Julian Seward