PLDI 2007: San Diego, California, USA

Jeanne Ferrante, Kathryn S. McKinley (Eds.): Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. ACM 2007, ISBN 978-1-59593-633-2 BibTeX

Errors detected & corrected

Gene Novark, Emery D. Berger, Benjamin G. Zorn:
Exterminator: automatically correcting memory errors with high probability. 1-11
Electronic Edition (ACM DL) BibTeX
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin:
CheckFence: checking consistency of concurrent data types on relaxed memory models. 12-21
Electronic Edition (ACM DL) BibTeX
Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder:
Automatically classifying benign and harmful data racesallusing replay analysis. 22-31
Electronic Edition (ACM DL) BibTeX
Gary Wassermann, Zhendong Su:
Sound and precise analysis of web applications for injection vulnerabilities. 32-41
Electronic Edition (ACM DL) BibTeX

Compiled correctly

Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker:
Fault-tolerant typed assembly language. 42-53
Electronic Edition (ACM DL) BibTeX
Adam J. Chlipala:
A certified type-preserving compiler from lambda calculus to assembly language. 54-65
Electronic Edition (ACM DL) BibTeX
Hongxu Cai, Zhong Shao, Alexander Vaynberg:
Certified self-modifying code. 66-77
Electronic Edition (ACM DL) BibTeX
Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha:
Enforcing isolation and ordering in STM. 78-88
Electronic Edition (ACM DL) BibTeX

Programs analyzed

Nicholas Nethercote, Julian Seward:
Valgrind: a framework for heavyweight dynamic binary instrumentation. 89-100
Electronic Edition (ACM DL) BibTeX
Jungwoo Ha, Christopher J. Rossbach, Jason V. Davis, Indrajit Roy, Hany E. Ramadan, Donald E. Porter, David L. Chen, Emmett Witchel:
Improved error reporting for software that uses black-box components. 101-111
Electronic Edition (ACM DL) BibTeX
Manu Sridharan, Stephen J. Fink, Rastislav Bodík:
Thin slicing. 112-122
Electronic Edition (ACM DL) BibTeX
Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan:
Static specification inference using predicate mining. 123-134
Electronic Edition (ACM DL) BibTeX
Erika Rice Scherpelz, Sorin Lerner, Craig Chambers:
Automatic inference of optimizer flow functions from semantic meanings. 135-145
Electronic Edition (ACM DL) BibTeX

Languages designed

Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Automatic inversion generates divide-and-conquer parallel programs. 146-155
Electronic Edition (ACM DL) BibTeX
Perry H. Wang, Jamison D. Collins, Gautham N. Chinya, Hong Jiang, Xinmin Tian, Milind Girkar, Nick Y. Yang, Guei-Yuan Lueh, Hong Wang:
EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system. 156-166
Electronic Edition (ACM DL) BibTeX
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia:
Sketching stencils. 167-178
Electronic Edition (ACM DL) BibTeX
Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat:
Mace: language support for building distributed systems. 179-188
Electronic Edition (ACM DL) BibTeX
Peng Li, Steve Zdancewic:
Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. 189-199
Electronic Edition (ACM DL) BibTeX
Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan:
Reliable and efficient programming abstractions for wireless sensor networks. 200-210
Electronic Edition (ACM DL) BibTeX

Executed concurrently

Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew:
Optimistic parallelism requires abstractions. 211-222
Electronic Edition (ACM DL) BibTeX
Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, Chengliang Zhang:
Software behavior oriented parallelization. 223-234
Electronic Edition (ACM DL) BibTeX
Sriram Krishnamoorthy, Muthu Manikandan Baskaran, Uday Bondhugula, J. Ramanujam, Atanas Rountev, P. Sadayappan:
Effective automatic parallelization of stencil computations. 235-244
Electronic Edition (ACM DL) BibTeX
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran:
Goldilocks: a race and transaction-aware java runtime. 245-255
Electronic Edition (ACM DL) BibTeX

Pointers analyzed

Bolei Guo, Neil Vachharajani, David I. August:
Shape analysis with inductive recursion synthesis. 256-265
Electronic Edition (ACM DL) BibTeX
Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv:
Thread-modular shape analysis. 266-277
Electronic Edition (ACM DL) BibTeX
Chris Lattner, Andrew Lenharth, Vikram S. Adve:
Making context-sensitive points-to analysis with heap cloning practical for the real world. 278-289
Electronic Edition (ACM DL) BibTeX
Ben Hardekopf, Calvin Lin:
The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. 290-299
Electronic Edition (ACM DL) BibTeX

Programs analyzed

Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko:
Path invariants. 300-309
Electronic Edition (ACM DL) BibTeX
Ajeet Shankar, Rastislav Bodík:
DITTO: automatic incrementalization of data structure invariant checks (in Java). 310-319
Electronic Edition (ACM DL) BibTeX
Byron Cook, Andreas Podelski, Andrey Rybalchenko:
Proving thread termination. 320-330
Electronic Edition (ACM DL) BibTeX
John Kodumal, Alex Aiken:
Regularly annotated set constraints. 331-341
Electronic Edition (ACM DL) BibTeX
Pierre Genevès, Nabil Layaïda, Alan Schmitt:
Efficient static analysis of XML paths and types. 342-351
Electronic Edition (ACM DL) BibTeX

Executed efficiently

Ben Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg:
The ExoVM system for automatic VM and application reduction. 352-362
Electronic Edition (ACM DL) BibTeX
Nathan Cooprider, John Regehr:
Offline compression for on-chip ram. 363-372
Electronic Edition (ACM DL) BibTeX
Florian T. Schneider, Mathias Payer, Thomas R. Gross:
Online optimizations driven by hardware performance monitoring. 373-382
Electronic Edition (ACM DL) BibTeX
Weijia Li, Youtao Zhang, Jun Yang, Jiang Zheng:
UCC: update-conscious compilation for energy efficiency in wireless sensor networks. 383-393
Electronic Edition (ACM DL) BibTeX
Feihui Li, Guangyu Chen, Mahmut T. Kandemir, Ibrahim Kolcu:
Profile-driven energy reduction in network-on-chips. 394-404
Electronic Edition (ACM DL) BibTeX
Lakshminarayanan Renganarayanan, DaeGon Kim, Sanjay V. Rajopadhye, Michelle Mills Strout:
Parameterized tiled loops for free. 405-414
Electronic Edition (ACM DL) BibTeX

Errors detected

Xiangyu Zhang, Sriraman Tallam, Neelam Gupta, Rajiv Gupta:
Towards locating execution omission errors. 415-424
Electronic Edition (ACM DL) BibTeX
Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers:
Searching for type-error messages. 425-434
Electronic Edition (ACM DL) BibTeX
Isil Dillig, Thomas Dillig, Alex Aiken:
Static error detection using semantic inconsistency inference. 435-445
Electronic Edition (ACM DL) BibTeX
Madanlal Musuvathi, Shaz Qadeer:
Iterative context bounding for systematic testing of multithreaded programs. 446-455
Electronic Edition (ACM DL) BibTeX

Memory managed

Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky:
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. 456-467
Electronic Edition (ACM DL) BibTeX
Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li:
A general framework for certifying garbage collectors and their mutators. 468-479
Electronic Edition (ACM DL) BibTeX
Sigmund Cherem, Lonnie Princehouse, Radu Rugina:
Practical memory leak detection using guarded value-flow analysis. 480-491
Electronic Edition (ACM DL) BibTeX