Home Page

Table of Contents

 Sponsors & Supporters

Author Index

Ali, Karim

Application-Only Call Graph Construction (Page 688)

Altidor, John

Java Wildcards Meet Definition-Site Variance  (Page 509)

Amin, Nada

JavaScript as an Embedded DSL (Page 409)

Ancona, Davide

Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics (Page 459)

Bierman, Gavin

Pause ’n’ Play: Formalizing Asynchronous C# (Page 233)

Bono, Viviana

Magda: A New Language for Modularity (Page 560)

Budimlić, Zoran

Practical Permissions for Race-Free Parallelism  (Page 614)

Burckhardt, Sebastian

Cloud Types for Eventual Consistency (Page 283)

Chandra, Satish

Correlation Tracking for Points-To Analysis of JavaScript (Page 435)

Chen, Nicholas

Is It Dangerous to Use Version Control Histories to Study Source Code Evolution? (Page 79)

Cook, William R.

Extensibility for the Masses: Practical Extensibility with Object Algebras  (Page 2)

Cunningham, David

Object Initialization in X10  (Page 207)

De, Arnab

Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates  (Page 665)

Dhawan, Mohan

An Analysis of the Mozilla Jetpack Extension Framework  (Page 333)

Enhancing JavaScript with Transactions (Page 383)

Dias, Ricardo J.

Verification of Snapshot Isolation in Transactional Memory Java Programs  (Page 640)

Dietl, Werner

Inference and Checking of Object Ownership  (Page 181)

Dig, Danny

Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?  (Page 79)

Distefano, Dino

Verification of Snapshot Isolation in Transactional Memory Java Programs  (Page 640)

Doherty, Jesse

McSAF: A Static Analysis Framework for MATLAB  (Page 132)

Dolby, Julian

Correlation Tracking for Points-To Analysis of JavaScript  (Page 435)

D'Souza, Deepak

Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates  (Page 665)

Duggan, Dominic

Static Sessional Dataflow  (Page 484)

Eisenbach, Susan

Lock Inference in the Presence of Large Libraries (Page 308)

Ernst, Michael D.

Inference and Checking of Object Ownership  (Page 181)

Ettinger, Ran

Program Sliding (Page 713)

Fähndrich, Manuel

Cloud Types for Eventual Consistency (Page 283)

Ganapathy, Vinod

An Analysis of the Mozilla Jetpack Extension Framework  (Page 333)

Enhancing JavaScript with Transactions  (Page 383)

Gil, Joseph

Smaller Footprint for Java Collections  (Page 356)

Grimm, Robert

Marco: Safe, Expressive Macros for Any Language (Page 589)

Gudka, Khilan

Lock Inference in the Presence of Large Libraries  (Page 308)

Haller, Philipp

Lightweight Polymorphic Effects   (Page 258)

Harris, Tim

Lock Inference in the Presence of Large Libraries  (Page 308)

Hendren, Laurie

McSAF: A Static Analysis Framework for MATLAB  (Page 132)

Hill, Brandon

Evaluating the Design of the R Language: Objects and Functions for Data Analysis  (Page 104)

Hirzel, Martin

Marco: Safe, Expressive Macros for Any Language  (Page 589)

Huang, Wei

Inference and Checking of Object Ownership  (Page 181)

Immerman, Neil

PQL: A Purely-Declarative Java Extension for Parallel Programming  (Page 53)

Johnson, Ralph E.

Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?  (Page 79)

Karim, Rezwana

An Analysis of the Mozilla Jetpack Extension Framework  (Page 333)

Kossakowski, Grzegorz

JavaScript as an Embedded DSL  (Page 409)

Kuśmierek, Jarek

Magda: A New Language for Modularity  (Page 560)

Lee, Byeongcheol

Marco: Safe, Expressive Macros for Any Language  (Page 589)

Leijen, Daan

Cloud Types for Eventual Consistency  (Page 283)

Lhoták, Ondřej

Application-Only Call Graph Construction  (Page 688)

Lourenço, João M.

Verification of Snapshot Isolation in Transactional Memory Java Programs  (Page 640)

Mainland, Geoffrey

Pause ’n’ Play: Formalizing Asynchronous C#  (Page 233)

McKinley, Kathryn S.

Marco: Safe, Expressive Macros for Any Language  (Page 589)

Meijer, Erik

Pause ’n’ Play: Formalizing Asynchronous C#  (Page 233)

Milanova, Ana

Inference and Checking of Object Ownership  (Page 181)

Morandat, Floréal

Evaluating the Design of the R Language: Objects and Functions for Data Analysis  (Page 104)

Mulatero, Mauro

Magda: A New Language for Modularity  (Page 560)

Negara, Stas

Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?  (Page 79)

Odersky, Martin

When Compilers Are Mirrors  (Page 1)

Lightweight Polymorphic Effects  (Page 258)

JavaScript as an Embedded DSL  (Page 409)

Oliveira, Bruno C.d.S.

Extensibility for the Masses: Practical Extensibility with Object Algebras  (Page 2)

Östlund, Johan

Multiple Aggregate Entry Points for Ownership Types  (Page 156)

Osvald, Leo

Evaluating the Design of the R Language: Objects and Functions for Data Analysis  (Page 104)

Peshansky, Igor

Object Initialization in X10  (Page 207)

Reichenbach, Christoph

PQL: A Purely-Declarative Java Extension for Parallel Programming  (Page 53)

Java Wildcards Meet Definition-Site Variance  (Page 509)

Robbes, Romain

Extensions during Software Evolution: Do Objects Meet Their Promise?  (Page 28)

Rompf, Tiark

JavaScript as an Embedded DSL  (Page 409)

Röthlisberger, David

Extensions during Software Evolution: Do Objects Meet Their Promise?  (Page 28)

Rountev, Atanas

Static Detection of Loop-Invariant Data Structures  (Page 738)

Russo, Claudio

Pause ’n’ Play: Formalizing Asynchronous C#  (Page 233)

Rytz, Lukas

Lightweight Polymorphic Effects  (Page 258)

Saraswat, Vijay

Object Initialization in X10  (Page 207)

Sarkar, Vivek

Practical Permissions for Race-Free Parallelism  (Page 614)

Schäfer, Max

Correlation Tracking for Points-To Analysis of JavaScript  (Page 435)

Seco, João Costa

Verification of Snapshot Isolation in Transactional Memory Java Programs  (Page 640)

Shan, Chung-chieh

An Analysis of the Mozilla Jetpack Extension Framework  (Page 333)

Enhancing JavaScript with Transactions  (Page 383)

Shimron, Yuval

Smaller Footprint for Java Collections  (Page 356)

Smaragdakis, Yannis

PQL: A Purely-Declarative Java Extension for Parallel Programming  (Page 53)

Java Wildcards Meet Definition-Site Variance  (Page 509)

Sridharan, Manu

Correlation Tracking for Points-To Analysis of JavaScript  (Page 435)

Steimann, Friedrich

Constraint-Based Refactoring with Foresight  (Page 535)

Tanter, Éric

Extensions during Software Evolution: Do Objects Meet Their Promise?  (Page 28)

Tip, Frank

Correlation Tracking for Points-To Analysis of JavaScript  (Page 435)

Torgersen, Mads

Pause ’n’ Play: Formalizing Asynchronous C#  (Page 233)

Vakilian, Mohsen

Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?  (Page 79)

Vitek, Jan

Evaluating the Design of the R Language: Objects and Functions for Data Analysis  (Page 104)

von Pilgrim, Jens

Constraint-Based Refactoring with Foresight  (Page 535)

Westbrook, Edwin

Practical Permissions for Race-Free Parallelism  (Page 614)

Wood, Benjamin P.

Cloud Types for Eventual Consistency  (Page 283)

Wrigstad, Tobias

Multiple Aggregate Entry Points for Ownership Types  (Page 156)

Structured Aliasing  (Page 232)

Xu, Guoqing

Static Detection of Loop-Invariant Data Structures  (Page 738)

Yan, Dacong

Static Detection of Loop-Invariant Data Structures  (Page 738)

Yao, Jianhua

Static Sessional Dataflow  (Page 484)

Zhao, Jisheng

Practical Permissions for Race-Free Parallelism  (Page 614)

Zibin, Yoav

Object Initialization in X10  (Page 207)