PLDI 2008: Tucson, AZ, USA

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
  
• Hans-Juergen Boehm, Sarita V. Adve:
  Foundations of the C++ concurrency memory model. 68-78
  
• Shan Shan Huang, Yannis Smaragdakis:
  Expressive and safe static reflection with MorphJ. 79-89
  

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

• Martin T. Vechev, Eran Yahav:
  Deriving linearizable fine-grained concurrent objects. 125-135
  
• 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

• Patrick M. Rondon, Ming Kawaguchi, Ranjit Jhala:
  Liquid types. 159-169
  
• 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, Mike Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki:
  Type-preserving compilation for large-scale optimizing object-oriented compilers. 183-192
  

Session VII

• Stephen McCamant, Michael D. Ernst:
  Quantitative information flow as network flow capacity. 193-205
  
• Patrice Godefroid, Adam Kiezun, Michael Y. Levin:
  Grammar-based whitebox fuzzing. 206-215
  

Session VIII

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

Session IX

• Vineet Kahlon:
  Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis. 249-259
  
• Daniel von Dincklage, Amer Diwan:
  Explaining failures of program analyses. 260-269
  
• 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
  
• Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani:
  Inferring locks for atomic sections. 304-315
  
• 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

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