ETAPS 2007

Programme of CC at ETAPS 2007

Architecture (Chair: Martin Odersky, room: Cisco): New Algorithms for SIMD Alignment; Liza Fireman (Technion), Erez Petrank (Microsoft Research), Ayal Zaks (IBM Haifa Research Laboratory); Preprocessing Strategy for Effective Modulo Scheduling on Multi-Issue Digital Signal Processors; Doosan Cho (Seoul National University), Ravi Ayyagari (Boise State University), Gang-Ryung Uh (Bosie State University), Yunheung Paek (Seoul National University); Compiler Directed Power Optimization for Partitioned Memory Architectures; K. Shyam, R. Govindarajan (Indian Institute of Science)

Garbage Collection and Program Analysis (Chair: Reinhard Wilhelm, room: Cisco): Using Prefetching to Improve Reference-Counting Garbage Collectors; Harel Paz (IBM Haifa Research Laboratory), Erez Petrank (Microsoft Research); Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks; Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek (Purdue University); Correcting the Dynamic Call Graph Using Control-Flow Constraints; Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley (University of Texas at Austin); Obfuscating Java: the Most Pain for the Least Gain; Michael Batchelder, Laurie Hendren (McGill University)

Register Allocation (Chair: Ganesan Ramalingam, room: Cisco): A Fast Cutting-Plane Algorithm for Optimal Coalescing; Daniel Grund (Saarland University), Sebastian Hack (University of Karlsruhe); Register Allocation and Optimal Spill code Scheduling in Software Pipelined Loops using 0-1 Integer Linear Programming Formulation; Santosh G. Nagarakatte, R. Govindarajan (Indian Institute of Science); Extended Linear Scan: an Alternate Foundation for Global Register Allocation; Vivek Sarkar (IBM T.J. Watson Research Center), Rajkishore Barik (IBM India Research Laboratory)

Welcome Reception (free admittance): Largo do Paço (University Rectorate Building); The Etaps Organization invites all ETAPS participants the welcome reception - free admittance

Invited Talk (Chair: Shriram Krishnamurthi, room: Enabler-Wipro): On the Convergence of Program Refactoring, Program Synthesis, and Model Driven Development; Don Batory (U. Austin, USA)

Program Analysis (Chair: Shriram Krishnamurthi, room: Cisco): A Practical Escape and Effect Analysis for Building Lightweight Method Summaries; Sigmund Cherem, Radu Rugina (Cornell University); Layout Transformations for Heap Objects Using Static Access Patterns; Jinseong Jeon, Keoncheol Shin, Hwansoo Han (Korea Advanced Institute of Science and Technology); A New Elimination-Based Data Flow Analysis Framework; Bernhard Scholz (University of Sydney), Johann Blieberger (Technische Universit\"at Wien); A declarative framework for analysis and optimization components; Henry Falconer, Paul H. J. Kelly, David M. Ingram, Michael R. Mellor, Tony Field, Olav Beckmann (Imperial College)

10th Anniversary Celebration (free admittance): Theatro Circo; Cocktail/Buffet; Tales of ETAPS past (room: Enabler-Wipro); Anniversary Cake + Port Wine + Fado Concert

Unifying Invited Talk (Chair: Perdita Stevens, room: Enabler-Wipro): There and Back Again: Lessons Learned on the Way to the Market; Rance Cleaveland (University of Maryland/Fraunhofer USA Center for Experimental Software Engineering and Reactive Systems Inc., USA)

Conference Banquet (tickets needed): Paço dos Duques, Guimarães; Shuttle departure from Theatro Circo

Unifying Invited Talk (Chair: João Saraiva, room: Enabler-Wipro): Contract-Driven Development; Bertrand Meyer (ETH Zürich, Switzerland)

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-21