Call for Papers

ACM SIGPLAN 2005 Conference on

Programming Language Design and Implementation (PLDI)

Chicago, Illinois, USA

June 12-15, 2005

http://www.research.ibm.com/pldi2005

PLDI 2005 Conference Program

Sunday, June 12

6:00pm – 9:00pm Conference Reception

Monday, June 13

8:30-8:35 Welcome

8:35-10:35 Bug Detection and Verification

Serializability Violation Detector for Shared-Memory Server Programs
Min Xu, Rastislav Bodik and Mark Hill

Scalable Statistical Bug Isolation
Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken and Michael I.
Jordan

VYRD: VerifYing Concurrent Programs by Runtime Refinement-Violation Detection
Tayfun Elmas, Serdar Tasiran and Shaz Qadeer

Path Slicing
Ranjit Jhala and Rupak Majumdar

10:35-11:00 Break

11:00-12:00 Function Interfaces

Mining Jungloids: Helping to Navigate the API Jungle
David Mandelin, Lin Xu, Rastislav Bodik and Doug Kimelman

Checking Type Safety of Foreign Function Calls
Michael Furr and Jeffrey S. Foster

12:00-1:30 Lunch

1:30-3:00 Types

Essential Language Support for Generic Programming
Jeremy Siek and Andrew Lumsdaine

Semantic Type Qualifiers
Brian Chin, Shane Markstrum and Todd Millstein

Permission-Based Ownership: Encapsulating State in Higher-Order Typed Languages
Neel Krishnaswami and Jonathan Aldrich

3:00-3:30 Break

3:30-5:30 Optimization

Code Placement for Improving Dynamic Branch Prediction Accuracy
Daniel A. Jiménez

Optimising AspectJ
Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhotak, Ondrej Lhotak, Oege de Moor, Damien Sereni, Ganesh Sittampalam and Julian Tibble

Best Paper:
Automatic Pool Allocation: Improving Performance by Controlling Data Structure Layout in the Heap
Chris Lattner and Vikram Adve

Garbage Collection Without Paging
Matthew Hertz, Yi Feng and Emery D. Berger

5:30-5:45 Program Chair's Report

Announcement of PLDI Best Paper Award

5:45-6:45 SIGPLAN Open Meeting

Tuesday, June 14

8:30-10:00 Register Allocation

Register Allocation for Software Pipelined Multi-dimensional Loops
Hongbo Rong, Alban Douillet and Guang R. Gao

Differential Register Allocation
Xiaotong Zhuang and Santosh Pande

Demystifying on-the-fly spill code
Alex Aleta, Josep M. Codina, Antonio Gonzalez and David Kaeli

10:00-10:30 Break

10:30-12:00 Instrumentation and Testing

Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation
Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi and Kim Hazelwood

TraceBack: First-Fault Diagnosis by Reconstruction of Distributed Control Flow
Andrew Ayers, Richard Schooler, Anant Agarwal, Chris Metcalf, Junghwan Rhee and Emmett Witchel

DART: Directed Automated Random Testing
Patrice Godefroid, Nils Klarlund and Koushik Sen

12:00-1:30 SIGPLAN Award Luncheon

1:30-3:00 Network Processing

Shangri-la: Achieving high performance from compiled network applications while enabling ease of programming
Michael K. Chen, Xiao-Feng Li, Ruiqi Lian, Jason H. Lin, Lixia Liu, Tao Liu and Roy Ju

Automatically Partitioning Packet Processing Applications for Pipelined Architectures
Jinquan Dai, Bo Huang, Long Li and Luddy Harrison

Programming Ad Hoc Networks of Mobile and Resource-Constrained Devices
Yang Ni, Ulrich Kremer, Adrian Stere and Liviu Iftode

3:00-3:30 Break

3:30-4:30 Threads

Threads Cannot Be Implemented As A Library
Hans-J. Boehm

Mitosis Compiler: An Infrastructure for Speculative Threading Based on Pre-Computation Slices
Carlos Garcia Quinones, Carlos Madriles, Jesus Sanchez, Pedro Marcuello, Antonio Gonzalez and Dean Tullsen

5:30-8:00 Conference Excursion

Wednesday, June 15

8:30-9:30 Invited Talk
The Transactional Manifesto: Software Engineering and Non-blocking Synchronization
Maurice Herlihy

9:30-10:00 Break

10:00-12:00 Domain-Specific Tools

Best Paper
Programming by Sketching for Bitstreaming Programs
Armando Solar-Lezama, Rodric Rabbah, Rastislav Bodik and Kemal Ebcioglu

PADS: A domain-specific language for processing ad hoc data
Kathleen Fisher and Robert Gruber

Composing Security Policies with Polymer
Lujo Bauer, Jay Ligatti and David Walker

Formal Loop Merging for Signal Transforms
Franz Franchetti, Yevgen Voronenko and Markus Pueschel