 |
 |
PLDI 2007 Program
Printer-Friendly Version: PDF
Sunday
Monday
| |
|
8:00am-9:35am
|
Welcoming Remarks & PLDI Program Chair Report, Jeanne Ferrante and Kathryn S. McKinley |
|
Errors Detected & Corrected,
Guy Steele |
|
Exterminator: Automatically Correcting Memory Errors with High Probability
Gene Novark, Emery Berger and Benjamin Zorn |
|
CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models
Sebastian Burckhardt, Rajeev Alur and Milo M. K. Martin |
|
Automatically Classifying Benign and Harmful Data Races Using Replay Analysis
Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards and Brad Calder |
|
Sound and Precise Analysis of Web Applications for Injection Vulnerabilities
Gary Wassermann and Zhendong Su |
9:35am-10:00am
|
Break |
10:00am-11:20am
|
Compiled Correctly, Neal Glew |
|
Fault-tolerant Typed Assembly Language
Frances Perry, Lester Mackey, George A. Reis, Jay Ligatti, David I. August and David Walker |
|
A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language
Adam Chlipala |
|
Certified Self-Modifying Code
Hongxu Cai, Zhong Shao and Alexander Vaynberg |
|
Enforcing Isolation and Ordering in STM
Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Kate Moore and Bratin Saha |
11:30am-12:30pm
|
Keynote:
Chuck Moore, AMD |
12:30pm-1:30pm
|
Lunch provided in special room |
| |
Award Announcements:
Best Paper Awards 2007,
Most Influential Paper 1997,
Distinguished Service,
Doctoral Dissertation, ACM SIGPLAN Outstanding Achievement Award
|
1:30pm-3:10pm
|
Programs Analyzed, Michael Hicks |
|
Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation
Nicholas Nethercote and Julian Seward |
|
Improved Error Reporting for Software that Uses Black Box Components
Jungwoo Ha, Chris Rossbach, Indrajit Roy, Jason Davis, Hany Ramadan, David Chen and Emmett Witchel |
|
Thin Slicing
Manu Sridharan, Stephen Fink and Rastislav Bodik |
|
Static Specification Inference Using Predicate Mining
Murali Krishna Ramanathan, Ananth Grama and Suresh Jagannathan |
|
Automatic Inference of Optimizer Flow Functions from Semantic Meanings
Erika Rice Scherpelz, Sorin Lerner and Craig Chambers |
3:10pm-3:45pm
|
Break |
| 3:45pm-5:45pm |
Languages Designed, Uli Kremer |
|
Automatic Inversion Generates Divide-and-Conquer Parallel Programs
Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu and Masato Takeichi |
|
EXOCHI: Architecture and Programming Environment for A Heterogeneous Multi-core Multithreaded System
Perry H. Wang, Jamison D. Collins, Gautham N. Chinya, Hong Jiang, Xinmin Tian, Milind Girkar, Nick Y. Yang, Guei-Yuan Lueh, and Hong Wang |
|
Sketching Stencils
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat and Sanjit Seshia |
|
Mace : Language Support for Building Distributed Systems
Charles Killian, James Anderson, Ryan Braud, Ranjit Jhala and Amin Vahdat |
|
Combining Events and Threads for Scalable Network Services --- Implementation and evaluation of monadic, application-level concurrency primitives
Peng Li and Steve Zdancewic |
|
Reliable and Efficient Programming Abstractions for Wireless Sensor Networks
Nupur Kothari, Ramakrishna Gummadi, Todd Millstein and Ramesh Govindan |
6:00pm-7:00pm
|
Report of future directions workshop, David Padua |
|
Memories of John Backus and Ken Kennedy |
6:00pm-8:00pm
|
SIGPLAN Executive Committee Meeting, public
|
Tuesday
| |
|
8:15am-9:35am
|
Executed Concurrently, Tim Harris |
| |
Optimistic Parallelism Requires Abstractions
Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala and Paul Chew |
| |
Behavior-oriented Parallelization
Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang and Chengliang Zhang |
| |
Effective Automatic Parallelization of Stencil Computations
Sriram Krishnamoorthy, Muthu Baskaran, Uday Bondhugula, J Ramanujam, Atanas Rountev and P Sadayappan |
| |
A Race and Transaction-Aware Runtime for Java
Tayfun Elmas, Serdar Tasiran and Shaz Qadeer |
9:35am-10:00am
|
Break |
10:00am-11:20am
|
Pointers Analyzed, Erez Petrank |
| |
Shape Analysis with Inductive Recursion Synthesis
Bolei Guo, Neil Vachharajani and David I. August |
| |
Thread-Modular Shape Analysis
Alexey Gotsman, Josh Berdine, Byron Cook and Mooly Sagiv |
| |
Making Context-sensitive Points-to Analysis with Heap Cloning Practical For The Real World
Chris Lattner, Andrew Lenharth and Vikram Adve |
| |
The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code
Ben Hardekopf and Calvin Lin |
11:30am-12:30pm
|
Keynote:
David Culler, Berkley, and Deborah Estrin, UCLA |
| 12:30pm-1:30pm |
Lunch provided |
1:30pm-3:10pm
|
Programs Analyzed, Kathleen Fisher |
| |
Path Invariants
Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar and Andrey Rybalchenko |
| |
Ditto: Automatic Incrementalization of Data Structure Invariant Checks (in Java)
Ajeet Shankar and Rastislav Bodik |
| |
Proving thread termination
Byron Cook, Andreas Podelski and Andrey Rybalchenko |
| |
Regularly Annotated Set Constraints
John Kodumal and Alex Aiken |
| |
Efficient Static Analysis of XML Paths and Types
Pierre Geneves, Nabil Layaida and Alan Schmitt |
3:10pm-3:45pm
|
Break |
3:45pm-5:45pm
|
Executed Efficiently, Kim Hazelwood |
| |
The ExoVM System for Automatic VM and Application Reduction
Ben L. Titzer, Joshua Auerbach, David F. Bacon and Jens Palsberg |
| |
Offline Compression for On-Chip RAM
Nathan Cooprider and John Regehr |
| |
Online Optimization driven by Hardware Performance Monitoring
Florian Schneider, Mathias Payer and Thomas Gross |
| |
UCC: Update-conscious Compilation for Energy Efficiency in Wireless Sensor Networks
Weijia Li, Youtao Zhang, Jun Yang and Jiang Zheng |
| |
Profile-Driven Energy Reduction in Network-on-Chips
Feihui Li, Guangyu Chen, Mahmut Kandemir and Ibrahim Kolcu |
| |
Parameterized Tiled Loops for Free
Lakshminarayanan Renganarayana, DaeGon Kim, Sanjay Rajopadhye and Michelle Strout |
| 8:00pm-10:00pm |
ACM Student Research Competition Final Presentations |
Wednesday
| |
|
8:15am-9:35am
|
Errors Detected, Hans Boehm |
| |
Towards Locating Execution Omission Errors
Xiangyu Zhang, Sriraman Tallam, Neelam Gupta and Rajiv Gupta |
| |
Searching for Type-Error Messages
Benjamin Lerner, Matthew Flower, Dan Grossman and Craig Chambers |
| |
Static Error Detection Using Semantic Inconsistency Inference
Isil Dillig, Thomas Dillig and Alex Aiken |
| |
Iterative Context Bounding for Systematic Testing of Multithreaded Programs
Madanlal Musuvathi and Shaz Qadeer |
9:35am-10:00am
|
Break |
10:00am-11:00am
|
Memory Managed, Maria Jump |
| |
CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors
Martin Vechev, Eran Yahav, David Bacon and Noam Rinetzky |
| |
A General Framework for Certifying Garbage Collectors and Their Mutators
Andrew McCreight, Zhong Shao, Chunxiao Lin and Long Li |
| |
Practical Memory Leak Detection using Guarded Value-Flow Analysis
Sigmund Cherem, Lonnie Princehouse and Radu Rugina |
11:30am-12:30pm
|
Keynote:
Avi Wigderson, Princeton |
|
|
|
