[Prev][Next][Index][Thread]
ACM SIGPLAN PLDI 2002: Programme // Early Reg. ends on May 22!
ONLY 2 DAYS until end of EARLY REGISTRATION
(May 22, 2002)
http://regmaster.com/pldi2002.html
---------------------------------------------------------------------
CALL FOR PARTICIPATION
ACM SIGPLAN 2002 Conference on
Programming Language Design and Implementation (PLDI)
Berlin, Germany, June 17 - 19, 2002
Sponsored by ACM SIGPLAN in cooperation with ACM SIGSOFT
CO-LOCATED EVENTS:
------------------
MSP 2002, LCTES/SCOPES 2002, CD 2002, ISMM 2002
Tutorials, Student Research Forum, BoFs
Berlin, Germany, June 16 - 21, 2002
======================================================================
*************************************************************************
* ALL RECENT INFO and ON-LINE REGISTRATION *
* can be found at: *
* http://sunshine.cs.uni-dortmund.de/~knoop/PLDI2002/pldi2002_main.html *
*************************************************************************
PLDI 2002
-- Preliminary Program --
-----------------------------
| |
| Sunday, June 16, 2002 |
| |
-----------------------------
----------------------------------------------------------------------
Morning Tutorials
----------------------------------------------------------------------
Track A: On Teaching Compilers Track B: On Building Compilers
------------------------------ ------------------------------
T1: Teaching Compiler Construction: T4: On the Run - Building Dynamic
A Balanced Approach Program Modifiers for Optimization,
Keith D. Cooper (Rice Introspection and Security
University, USA) Saman P. Amarsinghe (MIT, USA),
Evelyn Duesterwald (Hewlett Packard
Laboratories, Cambridge, USA)
T2: Teaching a Basic Course on T5: Building a Robust Retargetable
Compilers Compiler Infrastructure: The Zephyr
Thomas Gross (ETH Zuerich, Experience
Switzerland) Jack Davidson (University of
Virginia at Charlottesville, USA)
---------------------------------------------------------------------
Afternoon Tutorials
----------------------------------------------------------------------
Track A: On Teaching Compilers Track B: On Building Compilers
------------------------------ ------------------------------
T3: The Four Compiler Courses at T6: The Design and Implementation
Purdue University of the Jikes RVM Optimizing Compiler
Jens Palsberg (Purdue University, Stephen Fink, Michael Hind (IBM T.J.
USA) Watson Research Center, USA)
T7: Building Compilers for Embedded
Systems: Issues and Tool
Rainer Leupers (RWTH Aachen,
Germany)
Panel Session on Track A Tutorials Panel Session on Track B Tutorials
----------------------------------------------------------------------
PLDI Reception
----------------------------------------------------------------------
-----------------------------
| |
| Monday, June 17, 2002 |
| |
-----------------------------
----------------------------------------------------------------------
Session 1: 08:30 - 09:30
Invited Talk, Chair: Hans Boehm
----------------------------------------------------------------------
Title to be announced
08:30-09:30 Robin Milner, University of Cambridge, UK. Winner of the
ACM SIGPLAN 2001 Programming Languages Achievement Award.
*** Break ***
----------------------------------------------------------------------
Session 2: 9:45 - 10:45
Type Systems, Chair: Oege de Moor
----------------------------------------------------------------------
Flow-Sensitive Type Qualifiers
09:45-10:15 Jeffrey S. Foster, Tachio Terauchi, Alex Aiken
(University of California at Berkeley, USA)
Adoption and Focus: Practical Linear Types for
10:15-10:45 Imperative Programming
Manuel Faehndrich, Robert DeLine (Microsoft Research, USA)
*** Coffee Break: 10:45 - 11:15 ***
----------------------------------------------------------------------
Session 3: 11:15 - 12:45
Register Allocation and Value Numbering, Chair: Rajiv Gupta
----------------------------------------------------------------------
Fast Copy Coalescing and Live-Range Identification
11:15-11:45 Zoran Budimlic, Keith D. Cooper, Timothy J. Harvey,
Ken Kennedy, Timothy S. Oberg, Steve Reeves (Rice
University, USA)
Preference-Directed Graph Coloring
11:45-12:15 Akira Koseki, Hideaki Komatsu, Toshio Nakatani
(IBM Tokyo Research Laboratory, Japan)
A Sparse Algorithm for Predicated Global Value Numbering
12:15-12:45 Karthik Gargi (Hewlett-Packard India Software
Operation, India)
*** Lunch: 12:45 - 14:15 ***
----------------------------------------------------------------------
Session 4: 14:15 - 15:45
Program Correctness, Chair: Rita Loogen
----------------------------------------------------------------------
ESP: Path-Sensitive Program Verification in Polynomial Time
14:15-14:45 Manuvir Das (Microsoft Research, USA), Sorin Lerner,
Mark Seigle (University of Washington, USA)
A system and language for building system-specific,
static analyses
14:45-15:15 Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler
(Stanford University, USA)
Deriving Specialized Program Analysis for Certifying
Component-Client Conformance
15:15-15:45 G. Ramalingam (IBM T.J. Watson Research Center, USA),
Alex Warshavsky (IBM Haifa Research Laboratory and
Tel-Aviv University, Israel), John Field,
Deepak Goyal (IBM T.J. Watson Research Center, USA),
Mooly Sagiv (Tel-Aviv University, Israel)
*** Coffee Break: 15:45 - 16:15 ***
----------------------------------------------------------------------
Session 5: 16:15 - 17:45
Profiling and Speculation, Chair: Barbara Ryder
----------------------------------------------------------------------
Profile-Guided Code Compression
16:15-16:45 Saumya Debray (The University of Arizona, Tucson, USA),
William Evans University of British Columbia,
Vancouver, Canada)
Profile-Directed Optimization of Event-Based Programs
16:45-17:15 Mohan Rajagopalan, Saumya Debray (University of Arizona,
Tucson, USA), Matti A. Hiltunen, Richard D. Schlichting
(AT&T Labs Research, USA)
Post-Pass Binary Adaptation for Software-Based Speculative
Precomputation
17:15-17:45 Steve S. Liao, Perry H. Wang, Hong Wang, Gerolf Hoflehner,
Daniel Lavery, John P. Shen (Intel Corporation, USA)
----------------------------------------------------------------------
Student Research Forum
Birds-of-a-Feather Sessions
----------------------------------------------------------------------
19:30-21:00 Student Research Forum
19:30-20:30 Birds-of-a-Feather Session:
ORC as a Research Compiler Infrastructure
20:30-21:30 Birds-of-a-Feather Session:
On Using the Jikes Research Virtual Machine (RVM)
------------------------------
| |
| Tuesday, June 18, 2002 |
| |
------------------------------
----------------------------------------------------------------------
Session 6: 08:30 - 10:00
Garbage Collection, Chair: David Detlefs
----------------------------------------------------------------------
A Parallel, Incremental and Concurrent GC for Servers
08:30-09:00 Yoav Ossia, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner,
Victor Leikehman, Avi Owshanko (IBM Haifa Research
Laboratory, Israel)
Combining Region Inference and Garbage Collection
09:00-09:30 Niels Hallenberg, Martin Elsman, Mads Tofte (University
of Copenhagen, Denmark)
Beltway: Getting Around Garbage Collection Gridlock
09:30-10:00 Stephen M. Blackburn (University of Massachusetts
at Amherst, USA), Richard Jones (University of Kent
at Canterbury, UK), Kathryn S. McKinley (University
of Texas at Austin, USA), J Eliot B. Moss (University
of Massachusetts at Amherst, USA\}
*** Coffee Break: 10:00 - 10:30 ***
----------------------------------------------------------------------
Session 7: 10:30 - 12:00
Hardware-Conscious Optimizations, Chair: Yanhong Annie Liu
----------------------------------------------------------------------
A Compiler Approach to Fast Hardware Design Space
Exploration in FPGA-based Systems
10:30-11:00 Byoungro So, Mary W. Hall, Pedro C. Diniz (University
of Southern California, ISI, USA)
Space-Time Trade-Off Optimization for a Class of
Electronic Structure Calculations
Daniel Cociorva, Gerald Baumgartner, Chi-Chung Lam,
P. Sadayappan (The Ohio State University, USA),
11:00-11:30 J. Ramanujam (Louisiana State University, USA),
Marcel Nooijen (Princeton University, USA),
David E. Bernholdt (Oak Ridge National Laboratory, USA),
Robert Harrison (Pacific Northwest National
Laboratory, USA)
Effective Sign Extension Elimination
11:30-12:00 Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani
(IBM Tokyo Research Laboratory, Japan)
*** Award Lunch: 12:00 - 14:15 ***
----------------------------------------------------------------------
Session 8: 14:15 - 15:45
Dynamic Prefetching and Cache Optimizations, Chair: Michal Cierniak
----------------------------------------------------------------------
Dynamic Hot Data Stream Prefetching for General-Purpose
Programs
14:15-14:45 Trishul M. Chilimbi (Microsoft Research, USA),
Martin Hirzel (University of Colorado, Boulder, USA)
Efficient Discovery of Regular Stride Patterns in
Irregular Programs and Its Use in Compiler Prefetching
14:45-15:15 Youfeng Wu (Intel Corporation, USA)
Static Load Classification for Improving the
Value Predictability of Data-Cache Misses
15:15-15:45 Martin Burtscher (Cornell University, USA),
Amer Diwan, Matthias Hauswirth (University of
Colorado, USA)
*** Coffee Break: 15:45 - 16:15 ***
----------------------------------------------------------------------
Session 9: 16:15 - 17:45
Analysis of Object-Oriented Programs, Chair: Jan Vitek
----------------------------------------------------------------------
Extended Static Checking for Java
16:15-16:45 Cormac Flanagan, K. Rustan, M. Leino, Mark Lillibridge,
Greg Nelson, James B. Saxe, Raymie Stata (Compaq
Systems Research Center, USA)
Using data groups to specify and check side effects
16:45-17:15 K. Rustan, M. Leino (Compaq Systems Research Center, USA),
Arnd Poetzsch-Heffter (FernUniversitaet Hagen, Germany),
Yunhong Zhou (Compaq Systems Research Center, USA)
Efficient and Precise Datarace Detection for
Multithreaded Object-Oriented Programs
17:15-17:45 Jong-Deok Choi (IBM T.J. Watson Research Center, USA),
Keunwoo Lee (University of Washington, USA), Alexey
Loginov (University of Wisconsin - Madison, USA),
Robert O'Callahan, Vivek Sarkar (IBM T.J. Watson Research
Center, USA), Manu Sridharan (MIT, USA)
----------------------------------------------------------------------
PLDI Excursion
----------------------------------------------------------------------
--------------------------------
| |
| Wednesday, June 19, 2002 |
| |
--------------------------------
----------------------------------------------------------------------
Session 10: 8:30 - 10:00
Language Design and Implementation Issues, Chair: Andrew C. Meyers
----------------------------------------------------------------------
Maya: Multiple-Dispatch Syntax Extension in Java
08:30-09:00 Jason Baker, Wilson C. Hsieh (University of Utah, USA)
Region-Based Memory Management in Cyclone
Dan Grossman, Greg Morrisett (Cornell University, USA),
09:00-09:30 Trevor Jim (AT&T Labs Research, USA),
Michael Hicks, Yanling Wang,
James Cheney (Cornell University, USA)
MaJIC: Compiling MATLAB for speed and responsiveness
09:30-10:00 George Alme1si, David Padua (University of Illinois
at Urbana-Champaign, USA)
*** Coffee Break: 10:00 - 10:30 ***
----------------------------------------------------------------------
Session 11: 10:30 - 11:30
High Performance and Real-Time Issues, Chair: Charles Consel
----------------------------------------------------------------------
Denali: A Goal-directed Superoptimizer
10:30-11:00 Rajeev Joshi, Greg Nelson (Compaq Systems Research
Center, USA), Keith Randall (Google Inc., USA)
The Embedded Machine: Predictable, Portable Real-Time Code
11:00-11:30 Thomas A. Henzinger, Christoph M. Kirsch (University of
California at Berkeley, USA)
Break: 11:30 - 11:45
----------------------------------------------------------------------
Session 12: 11:45 - 12:45
Invited Talk, Chair: Norman Ramsey
----------------------------------------------------------------------
Title to be announced.
11:45-12:45 N.N. Winner of the ACM SIGPLAN 2002 Programming
Languages Achievement Award
*** Lunch: 12:45 - 14:15 ***
----------------------------------------------------------------------
END OF PLDI 2002
----------------------------------------------------------------------
PLDI 2002 Web Site:
http://sunshine.cs.uni-dortmund.de/~knoop/PLDI2002/pldi2002_main.html
----------------------------------------------------------------------