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
Session I
- Tachio Terauchi: Checking race freedom via linear programming. 1-10
- Koushik Sen: Race directed random testing of concurrent programs. 11-21
Session II
- Stephen M. Blackburn, Kathryn S. McKinley: Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance. 22-32
- Filip Pizlo, Erez Petrank, Bjarne Steensgaard: A study of concurrent real-time garbage collectors. 33-44
- Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang: Conditional correlation analysis for safe region-based memory management. 45-55
Session III
- Ahmed M. Amin, Mithuna Thottethodi, T. N. Vijaykumar, Steven Wereley, Stephen C. Jacobson: Automatic volume management for programmable microfluidics. 56-67
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
- Uday Bondhugula, Albert Hartono, J. Ramanujam, P. Sadayappan: A practical automatic polyhedral parallelizer and locality optimizer. 101-113
- Manjunath Kudlur, Scott A. Mahlke: Orchestrating the execution of stream programs on multicore platforms. 114-124
Session V
- Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík: Sketching concurrent data structures. 136-148
- Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer: SharC: checking data sharing strategies for multithreaded C. 149-158
Session VI
- Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo: Certifying low-level programs with hardware interrupts and preemptive threads. 170-182
- Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki: Type-preserving compilation for large-scale optimizing object-oriented compilers. 183-192
Session VII
Session VIII
Session IX
- Vineet Kahlon: Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. 249-259
- Isil Dillig, Thomas Dillig, Alex Aiken: Sound, complete and scalable path-sensitive analysis. 270-280
- Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan: Program analysis as constraint solving. 281-292
Session X
- Cormac Flanagan, Stephen N. Freund, Jaeheon Yi: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. 293-303
- Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner: Dataflow analysis for concurrent programs using datarace detection. 316-326
- Michal Wegiel, Chandra Krintz: XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination. 327-338
Session XI
- Karen Zee, Viktor Kuncak, Martin C. Rinard: Full functional verification of linked data structures. 349-361
- Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh: Model checking transactional memories. 372-382
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team