List of Accepted Papers 论文收录
- Constraint-Based Refactoring with Foresight
- Friedrich Steimann, Jens Von Pilgrim
- Soundness of object-oriented languages with coinductive big-step semantics
- Davide Ancona
- Finding Loop-Invariant Data Structures
- Guoqing Xu, Dacong Yan, Atanas Rountev
- Magda: A New Language for Modularity
- Viviana Bono, Jarek Kusmierek, Mauro Mulatero
- Marco: Safe Expressive Macros for any Language
- Byeongcheol Lee, Robert Grimm, Martin Hirzel, Kathryn S. McKinley
- Pause 'n' Play: Formalizing Asynchronous C#
- Gavin Bierman, Claudio Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen
- Correlation Tracking for Points-To Analysis of JavaScript
- Manu Sridharan, Julian Dolby, Satish Chandra, Max Schaefer, Frank Tip
- Extensions During Software Evolution: Do Objects Meet Their Promise?
- Romain Robbes, David Röthlisberger, Éric Tanter
- Multiple Aggregate Entry Points for Ownership Types
- Johan Östlund, Tobias Wrigstad
- Composable Data Types for Eventual Consistency
- Sebastian Burckhardt, Manuel Fahndrich, Daan Leijen, Benjamin P. Wood
- Application-only Call Graph Construction
- Karim Ali, Ondrej Lhotak
- JavaScript as an Embedded DSL
- Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky
- Verification of Snapshot Isolation in Transactional Memory Java Programs
- Ricardo J. Dias, Dino Distefano, João Costa Seco, João M. Lourenço
- Extensibility for the Masses: Practical Extensibility with Object Algebras
- Bruno C. d. S. Oliveira, William R. Cook
- McSAF: A Static Analysis Framework for MATLAB
- Jesse Doherty, Laurie Hendren
- Java Wildcards Meet Definition-Site Variance
- John Altidor, Christoph Reichenbach, Yannis Smaragdakis
- Lightweight Polymorphic Effects
- Lukas Rytz, Martin Odersky, Philipp Haller
- Object Initialization in X10
- Yoav Zibin, David Cunningham, Igor Peshansky, Vijay Saraswat
- Practical Permissions for Race-Free Parallelism
- Edwin Westbrook, Jisheng Zhao, Zoran Budimlić, Vivek Sarkar
- An Analysis of the Mozilla Jetpack Extension Framework
- Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan
- Enhancing JavaScript with Transactions
- Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy
- Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?
- Stas Negara, Mohsen Vakilian, Nicholas Chen, Ralph E. Johnson, Danny Dig
- Evaluating the Design of the R Language
- Floreal Morandat, Brandon Hill, Leo Osvald, Jan Vitek
- Smaller Footprint for Java Collections
- Joseph Gil, Yuval Shimron
- PQL: A Purely-Declarative Java Extension for Parallel Programming
- Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman
- Inference and Checking of Object Ownership
- Wei Huang, Werner Dietl, Ana Milanova, Michael D. Ernst
- Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates
- Arnab De, Deepak D'Souza
- Lock Inference in the Presence of Large Libraries
- Khilan Gudka, Tim Harris, Susan Eisenbach
- Program Sliding
- Ran Ettinger
- Static Sessional Dataflow
- Dominic Duggan, Jianhua Yao
