PLDI 2008: Tucson, AZ, USA

Rajiv Gupta, Saman P. Amarasinghe (Eds.): Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008. ACM 2008, ISBN 978-1-59593-860-2 BibTeX

Session I

Tachio Terauchi:
Checking race freedom via linear programming. 1-10
Electronic Edition (ACM DL) BibTeX
Koushik Sen:
Race directed random testing of concurrent programs. 11-21
Electronic Edition (ACM DL) BibTeX

Session II

Stephen M. Blackburn, Kathryn S. McKinley:
Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance. 22-32
Electronic Edition (ACM DL) BibTeX
Filip Pizlo, Erez Petrank, Bjarne Steensgaard:
A study of concurrent real-time garbage collectors. 33-44
Electronic Edition (ACM DL) BibTeX
Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang:
Conditional correlation analysis for safe region-based memory management. 45-55
Electronic Edition (ACM DL) BibTeX

Session III

Ahmed M. Amin, Mithuna Thottethodi, T. N. Vijaykumar, Steven Wereley, Stephen C. Jacobson:
Automatic volume management for programmable microfluidics. 56-67
Electronic Edition (ACM DL) BibTeX
Hans-Juergen Boehm, Sarita V. Adve:
Foundations of the C++ concurrency memory model. 68-78
Electronic Edition (ACM DL) BibTeX
Shan Shan Huang, Yannis Smaragdakis:
Expressive and safe static reflection with MorphJ. 79-89
Electronic Edition (ACM DL) BibTeX

Session IV

Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, John Cavazos:
Iterative optimization in the polyhedral model: part ii, multidimensional time. 90-100
Electronic Edition (ACM DL) BibTeX
Uday Bondhugula, Albert Hartono, J. Ramanujam, P. Sadayappan:
A practical automatic polyhedral parallelizer and locality optimizer. 101-113
Electronic Edition (ACM DL) BibTeX
Manjunath Kudlur, Scott A. Mahlke:
Orchestrating the execution of stream programs on multicore platforms. 114-124
Electronic Edition (ACM DL) BibTeX

Session V

Martin T. Vechev, Eran Yahav:
Deriving linearizable fine-grained concurrent objects. 125-135
Electronic Edition (ACM DL) BibTeX
Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík:
Sketching concurrent data structures. 136-148
Electronic Edition (ACM DL) BibTeX
Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer:
SharC: checking data sharing strategies for multithreaded C. 149-158
Electronic Edition (ACM DL) BibTeX

Session VI

Patrick M. Rondon, Ming Kawaguchi, Ranjit Jhala:
Liquid types. 159-169
Electronic Edition (ACM DL) BibTeX
Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo:
Certifying low-level programs with hardware interrupts and preemptive threads. 170-182
Electronic Edition (ACM DL) BibTeX
Juan Chen, Chris Hawblitzel, Frances Perry, Mike Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki:
Type-preserving compilation for large-scale optimizing object-oriented compilers. 183-192
Electronic Edition (ACM DL) BibTeX

Session VII

Stephen McCamant, Michael D. Ernst:
Quantitative information flow as network flow capacity. 193-205
Electronic Edition (ACM DL) BibTeX
Patrice Godefroid, Adam Kiezun, Michael Y. Levin:
Grammar-based whitebox fuzzing. 206-215
Electronic Edition (ACM DL) BibTeX

Session VIII

Fernando Magno Quintão Pereira, Jens Palsberg:
Register allocation by puzzle solving. 216-226
Electronic Edition (ACM DL) BibTeX
Sebastian Hack, Gerhard Goos:
Copy coalescing by graph recoloring. 227-237
Electronic Edition (ACM DL) BibTeX
Bin Xin, William N. Sumner, Xiangyu Zhang:
Efficient program execution indexing. 238-248
Electronic Edition (ACM DL) BibTeX

Session IX

Vineet Kahlon:
Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. 249-259
Electronic Edition (ACM DL) BibTeX
Daniel von Dincklage, Amer Diwan:
Explaining failures of program analyses. 260-269
Electronic Edition (ACM DL) BibTeX
Isil Dillig, Thomas Dillig, Alex Aiken:
Sound, complete and scalable path-sensitive analysis. 270-280
Electronic Edition (ACM DL) BibTeX
Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan:
Program analysis as constraint solving. 281-292
Electronic Edition (ACM DL) BibTeX

Session X

Cormac Flanagan, Stephen N. Freund, Jaeheon Yi:
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. 293-303
Electronic Edition (ACM DL) BibTeX
Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani:
Inferring locks for atomic sections. 304-315
Electronic Edition (ACM DL) BibTeX
Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner:
Dataflow analysis for concurrent programs using datarace detection. 316-326
Electronic Edition (ACM DL) BibTeX
Michal Wegiel, Chandra Krintz:
XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination. 327-338
Electronic Edition (ACM DL) BibTeX

Session XI

Nicolas Halbwachs, Mathias Péron:
Discovering properties about arrays in simple programs. 339-348
Electronic Edition (ACM DL) BibTeX
Karen Zee, Viktor Kuncak, Martin C. Rinard:
Full functional verification of linked data structures. 349-361
Electronic Edition (ACM DL) BibTeX
Madanlal Musuvathi, Shaz Qadeer:
Fair stateless model checking. 362-371
Electronic Edition (ACM DL) BibTeX
Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh:
Model checking transactional memories. 372-382
Electronic Edition (ACM DL) BibTeX