PLDI 2009 Program

ACM SIGPLAN 2009 Conference on

Programming Language Design and Implementation (PLDI)

http://www.cs.colorado.edu/~pldi09

PLDI Technical Program

Goldsmith Hall is on the right, the Dining Hall is top left.

Dynamic Software Updates: A VM-centric Approach
by Suriya Subramanian (The University of Texas at Austin), Michael Hicks (University of Maryland), and Kathryn McKinley (The University of Texas at Austin)

Safe and Timely Dynamic Updates for Multi-threaded Programs
by Iulian Neamtiu (University of California, Riverside) and Michael Hicks (University of Maryland, College Park)

CEAL: A C-Based Language for Self-Adjusting Computation
by Matthew Hammer, Umut Acar, and Yan Chen, Toyota Technological Institute at Chicago

PetaBricks: A Language and Compiler for Algorithmic Choice
by Jason Ansel, Cy Chan, Yee Lok Wong, Marek Olszewski, Qin Zhao, Alan Edelman, and Saman Amarasinghe, MIT

Staged Information Flow for JavaScript
by Ravi Chugh, Jeff Meister, Ranjit Jhala, and Sorin Lerner, University of California, San Diego
Laminar: Practical Fine-Grained Decentralized Information Flow Control
by Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, and Emmett Witchel, The University of Texas at Austin
Merlin: Specification Inference for Explicit Information Flow Problems
by Benjamin Livshits (Microsoft Research Redmond), Aditya Nori (Microsoft Research India), Sriram Rajamani (Microsoft Research India), and Anindya Banerjee (IMDEA Software, Madrid, Spain)
TAJ: Effective Taint Analysis of Web Applications
by Omer Tripp (IBM Software Group), Marco Pistoia (IBM Research), Stephen Fink (IBM Research), Manu Sridharan (IBM Research), and Omri Weisman (IBM Software Group)

Lightweight Annotations for Controlling Sharing in Concurrent Data Structures
by Zachary Anderson (University of California, Berkeley), David Gay (Intel Research, Berkeley), and Mayur Naik (Intel Research, Berkeley)
A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks
by Pallavi Joshi (University of Califoria, Berkeley), Chang-Seo Park (University of Califoria, Berkeley), Koushik Sen (University of Califoria, Berkeley), and Mayur Naik (Intel Research)
FastTrack: Efficient and Precise Dynamic Race Detection
by Cormac Flanagan (University of California, Santa Cruz) and Stephen Freund (Williams College)
Effective Sampling for Lightweight Data-Race Detection
by Daniel Marino (UCLA), Madanlal Musuvathi (Microsoft Research), and Satish Narayanasamy (University of Michigan, Ann Arbor)

7:00pm - 9:30pm: PLDI'09 Outing at O'Callaghan Davenport Hotel

Hors d'oeuvres, drinks, and live traditional Irish music by Shandy Folk.

Progress Guarantee for Parallel Programs via Bounded Lock-Freedom
by Erez Petrank (Technion), Madanlal Musuvathi (Microsoft), and Bjarne Steensgaard (Microsoft)
Stretching Transactional Memory
by Aleksandar Dragojevic, Rachid Guerraoui, and Michal Kapalka, EPFL
Parallelizing Sequential Applications on Commodity Hardware Using a Low-Cost Software Transactional Memory
by Mojtaba Mehrara, Jeff Hao, Po-Chun Hsu, and Scott Mahlke, University of Michigan
Towards a Holistic Approach to Auto-Parallelization --- Integrating Profile-Driven Parallelism Detection and Machine-Learning Based Mapping
by Georgios Tournavitis, Zheng Wang, Björn Franke, and Michael O'Boyle, University of Edinburgh

A Decision Procedure for Subset Constraints over Regular Languages
by Pieter Hooimeijer and Westley Weimer, University of Virginia
Verifiable Composition of Deterministic Grammars
by August Schwerdfeger and Eric Van Wyk, University of Minnesota
Analyzing Recursive Programs Using a Fixed-point Calculus
by Salvatore La Torre (Universita' degli Studi di Salerno, Italy), Madhusudan Parthasarathy (University of Illinois at Urbana-Champaign), and Gennaro Parlato (Universita' degli Studi di Salerno, Italy)
Program Verification Using Templates over Predicate Abstraction
by Saurabh Srivastava (University of Maryland, College Park) and Sumit Gulwani (Microsoft Research, Redmond)

GC Assertions: Using the Garbage Collector to Check Heap Properties
by Edward Aftandilian and Samuel Guyer, Tufts University
SoftBound: Highly Compatible and Complete Spatial Memory Safety for C
by Santosh Nagarakatte, Jianzhou Zhao, Milo Martin, and Steve Zdancewic, University of Pennsylvania
Implementation of the Memory-safe Full ANSI-C Compiler
by Yutaka Oiwa, National Institue of Advanced Industrial Science and Technology
Error Propagation Analysis for File Systems
by Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, and Andrea C. Arpaci-Dusseau, University of Wisconsin-Madison

Sharing Classes Between Families
by Xin Qi and Andrew Myers, Cornell University
Typed Self-Representation
by Tillmann Rendel, Klaus Ostermann, and Christian Hofer, Aarhus University
Type-based Data Structure Verification
by Patrick Rondon, Ming Kawaguchi, and Ranjit Jhala, University of Califoria, San Diego

ACM SIGPLAN 2009 Conference on