CSDL - Proceedings I

Conference Organizers and Steering Committee (PDF)

pp. ix

Reviewers (PDF)

pp. x

Invited Lecture

Session 1

Security and Dynamic Class Loading in Java: A Formalization (Abstract)

pp. 4

PDF

Transactions for Java (Abstract)

Alex Garthwaite, University of Pennsylvania

Scott Nettles, University of Pennsylvania

pp. 16

PDF

Breaking Abstractions and Unstructuring Data Structures (Abstract)

Christian Collberg, University of Auckland

Clark Thomborson, University of Auckland

Douglas Low, University of Auckland

pp. 28

PDF

Using Reflexivity to Interface with CORBA (Abstract)

Roberto Ierusalimschy, PUC/Rio

Renato Cerqueira, PUC/Rio

Noemi Rodriguez, PUC/Rio

pp. 39

PDF

Session 2

Reactive Programming in Standard ML (Abstract)

Riccardo R. Pucella, Bell Laboratories

pp. 48

PDF

Design and Implementation of Triveni: a Process-algebraic API for Threads + Events (Abstract)

Christopher Colby, Loyola University Chicago

Radha Jagadeesan, Loyola University Chicago

Konstantin Laufer, Loyola University Chicago

Lalita Jategaonkar Jagadeesan, Bell Laboratories

Carlos Puchol, Bell Laboratories

pp. 58

PDF

Distributed Computations Driven by Resource Consumption (Abstract)

Luc Moreau, University of Southampton

Christian Queinnec, INRIA-Rocquencourt

pp. 68

PDF

Session 3

Automatic Generation of Microarchitecture Simulators (Abstract)

Soner Önder, University of Pittsburgh

Rajiv Gupta, University of Pittsburgh

pp. 80

PDF

Microprocessor Specification in Hawk (Abstract)

John Matthews, Oregon Graduate Institute

Byron Cook, Oregon Graduate Institute

John Launchbury, Oregon Graduate Institute

pp. 90

PDF

The Template and Multiple Inheritance Approach into Attribute Grammars (Abstract)

Marjan Mernik, University of Maribor

Mitja Lenic, University of Maribor

E. Avdicausevic, University of Maribor

Viljem Zumer, University of Maribor

pp. 102

PDF

Combining Functional and Object-oriented Programming Methodologies in a Large Commercial Application (Abstract)

Ian Poole, Vysis, Inc

Craig Ewington, Vysis, Inc

Steve Wille, Vysis, Inc

Arthur Jones, Lawrence Berkeley National Laboratory

pp. 111

PDF

Invited Lecture

Session 4

Modular Compilers Based on Monad Transformers (Abstract)

William L. Harrison, University of Illinois, Urbana-Champaign

Samuel N. Kamin, University of Illinois, Urbana-Champaign

pp. 122

PDF

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study (Abstract)

Francois Noel, IRISA, Campus Universitaire de Beaulieu

Luke Hornof, IRISA, Campus Universitaire de Beaulieu

Charles Consel, IRISA, Campus Universitaire de Beaulieu

Julia L. Lawall, IRISA, Campus Universitaire de Beaulieu

pp. 132

PDF

Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies (Abstract)

M. Beckman

S. Kamin

pp. 43

PDF

Parallelization via Context Preservatio (Abstract)

Wei-Ngan Chin, National University of Singapore

Akihiko Takano, Hitachi Advanced Research Laboratory

Zhenjiang Hu

pp. 153

PDF

Session 5

Type Reconstruction for Syntactic Control of Interference, Part 2 (Abstract)

Hongseok Yang, University of Illinois

Howard Huang, University of Illinois

pp. 164

PDF

An Operational Semantics for Probabilistic Concurrent Constraint Programming (Abstract)

Herbert Wiklicky, City University London

Alessandra Di Pierro, City University London

pp. 174

PDF

Set Constraints for Destructive Array Update Optimization (Abstract)

M. Wand

W.D. Clinger

pp. 184

PDF

Session 6

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs (Abstract)

A. Roychoudhury, SUNY at Stony Brook

C.R. Ramakrishnan, SUNY at Stony Brook

I.V. Ramakrishnan, SUNY at Stony Brook

R. Sekar, Iowa State

pp. 196

PDF

Dependence Analysis for Recursive Data (Abstract)

Yanhong A. Liu, Indiana University

pp. 206

PDF

Optimal Code Motion in the Presence of Large Expressions (Abstract)

Oliver Rüthing

pp. 216

PDF

Invited Lecture

Session 7

Path Profile Guided Partial Redundancy Elimination Using Speculation (Abstract)

Rajiv Gupta, University of Pittsburgh

David A. Berson, Intel Corporation

Jesse Z. Fang, Intel Corporation

pp. 230

PDF

An Infrastructure for Profile-Driven Dynamic Recompilation (Abstract)

Robert G. Burger, Indiana University

R. Kent Dybvig, SAGIAN

pp. 240

PDF

Session 8

Formal Callability and its Relevance and Application to Interprocedural Data-flow Analysis (Abstract)

Jens Knoop, Universitaet Passau

pp. 252

PDF

Loop optimization for aggregate array computations (Abstract)

Yanhong A. Liu, Indiana University

Scott D. Stoller, Indiana University

pp. 262

PDF

Data Flow Analysis Across Tuplespace Process Boundaries (Abstract)

James B. Fenwick, Jr., University of Delaware

Lori L. Pollock, University of Delaware

pp. 272

PDF

Author Index (PDF)

pp. 282