Programme of CC at ETAPS 2006

International Conference on Compiler Construction

Programme of Wednesday, March 29

08:30 - 09:30 SESSION 1 (Wednesday)

Unifying Invited Talk (chair: Perdita Stevens, room: EI 7)
Software Engineering: Emerging Goals and Lasting Problems
Carlo Ghezzi (Politecnico di Milano, I)

14:00 - 15:00 SESSION 3A (Wednesday)

Unifying Invited Talk (chair: Jens Knoop, room: EI 7)
The Weird World of Bi-Directional Programming
Benjamin Pierce (Univ. of Pennsylvania, USA)

19:30 SOCIAL EVENT (Wednesday)

This is the Viennese term for the wine of the most recent grape harvest, and it is also the name of the places where the wine is served. Enjoy Viennese wine and local food at the Heurigen Schübel-Auer, Kahlenberger Straße 22, Wien-Nußdorf. Free admittance to ETAPS participants.

Programme of Thursday, March 30

10:00 - 12:00 SESSION 2 (CC, Thursday)

Program Analysis (chair: Peter Sestoft, room: EI 8)
Interprocedural Dataflow Analysis in the Presence of Large Libraries
Atanas Rountev, Scott Kagan, and Thomas Marlowe (Ohio State Univ. and Seton Hall Univ., USA)
Efficient Flow-Sensitive Interprocedural Data-flow Analysis in the Presence of Pointers
Teck Bok Tok, Samuel Z. Guyer, and Calvin Lin (The Univ. of Texas at Austin and Tufts Univ., Medford, USA)
Path-based Reuse Distance Analysis
Changpeng Fang (PathScale Inc., USA), Steve Carr, Soner Önder, and Zhenlin Wang (Michigan Technological Univ., USA)
Context-sensitive Points-to Analysis: Is It Worth It?
Ondřej Lhoták and Laurie Hendren (School of Computer Science, Univ. of Waterloo, and School of Computer Science, McGill Univ., Montreal, CDN)

15:15 - 16:15 SESSION 3B (CC, Thursday)

Dynamic Analysis (chair: Uday Khedker, room: EI 8)
Selective Runtime Memory Disambiguation in a Dynamic Binary Translator
Bolei Guo (Princeton Univ., USA), Youfeng Wu (Intel Corp., USA), Cheng Wang, Matthew J. Bridges, Guilherme Ottoni, Neil Vachharajani, Jonathan Chang, and David I. August (Princeton Univ., USA)
Accurately Choosing Execution Runs for Software Fault Localization
Liang Guo, Abhik Roychoudhury, and Tao Wang (National Univ. of Singapore, SGP)

16:15 - 16:45 Coffee

16:45 - 18:15 SESSION 4 (CC, Thursday)

Demonstrations (chair: Anton Ertl, room: EI 8)
On-line Visualization and Analysis of Real-time Systems with TuningFork
David F. Bacon, Perry Cheng (IBM T.J. Watson Research Center, Hawthorne, USA), Daniel Frampton (Australian National Univ., Canberra, AUS), David Grove (IBM T.J. Watson Research Center, Hawthorne, USA), Matthias Hauswirth (Univ. della Svizzera Italiana, Lugano, CH), and V.T. Rajan (IBM T.J. Watson Research Center, Hawthorne, USA)
Data-Flow Analysis as Model Checking within the jABC
Anna-Lena Lamprecht, Tiziana Margaria (Univ. Göttingen, D), and Bernhard Steffen (Univ. Dortmund, D)
The CGiS compiler
Philipp Lucas, Nicolas Fritz, and Reinhard Wilhelm (Saarland Univ., Saarbrücken, D)

19:30 SOCIAL EVENT (Thursday)

Intel invites all ETAPS participants to a reception in the Prechtlsaal of the TU Main Building, Karlsplatz 13, 1040 Wien - free admittance

Programme of Friday, March 31

08:30 - 09:30 SESSION 1 (CC, Friday)

Invited Talk (chair: Alan Mycroft, room: EI 7)
Using Dependent Types to Port Type Systems to Low-Level Languages
George Necula (Univ. of California, Berkeley, USA)

09:30 - 10:00 Coffee

10:00 - 12:00 SESSION 2 (CC, Friday)

Optimisation (chair: Andreas Zeller, room: EI 8)
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode
Simon Hammond and David Lacey (Univ. of Warwick, UK)
Hybrid Optimizations: Which Optimization Algorithm to Use?
John Cavazos, J. Eliot B. Moss, Mike O'Boyle (Univ. of Edinburgh, Scotland, UK, and Univ. of Massachusetts, Amherst, USA)
A Fresh Look at PRE as a Maximum Flow Problem
Jingling Xue (Univ. of New South Wales, AUS) and Jens Knoop (TU Vienna, A)
Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective
Jack Liu and Youfeng Wu (Intel Corporation, Santa Clara, USA)

12:00 - 14:00 Lunch

14:00 - 16:00 SESSION 3 (CC, Friday)

Code Generation (chair: Mark van den Brand, room: EI 8)
Lightweight Lexical Closures for Legitimate Execution Stack Access
Masahiro Yasugi, Tasuku Hiraishi, and Taiichi Yuasa (Kyoto Univ., J)
Polyhedral Code Generation in the Real World
Nicolas Vasilache, Cédric Bastoul, and Albert Cohen (ALCHEMY Group, INRIA Futurs and LRI, Univ. Paris-Sud XI, F)
Iterative Collective Loop Fusion
T. J. Ashby and M. F. P. O'Boyle (Univ. of Edinburgh, UK)
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions
João Dias and Norman Ramsey (Harvard Univ., Boston, USA)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4 (CC, Friday)

Register Allocation (chair: Alan Mycroft, room: EI 8)
SARA: Combining Stack Allocation and Register Allocation
V. Krishna Nandivada and Jens Palsberg (Univ. of California, Los Angeles, USA)
Register Allocation for Programs in SSA-form
Sebastian Hack, Daniel Grund, and Gerhard Goos (Univ. of Karlsruhe, D)
Enhanced Bitwidth-Aware Register Allocation
Rajkishore Barik and Vivek Sarkar (IBM T.J. Watson Research Center, Hawthorne, USA)

Further ETAPS 2006 Programme Information:

ETAPS 2006 | Top | HTML 4.01 | Last Update: 2006-03-30