[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

----------------------------------------------------------------------