26. ECOOP 2012: Beijing, China

James Noble (Ed.): ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Lecture Notes in Computer Science 7313 Springer 2012, ISBN 978-3-642-31056-0

Keynote 1

Martin Odersky:
When Compilers Are Mirrors. 1

Extensibility

Bruno C. d. S. Oliveira, William R. Cook:
Extensibility for the Masses - Practical Extensibility with Object Algebras. 2-27
Romain Robbes, David Röthlisberger, Éric Tanter:
Extensions during Software Evolution: Do Objects Meet Their Promise? 28-52
Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman:
PQL: A Purely-Declarative Java Extension for Parallel Programming. 53-78

Language Evaluation

Stas Negara, Mohsen Vakilian, Nicholas Chen, Ralph E. Johnson, Danny Dig:
Is It Dangerous to Use Version Control Histories to Study Source Code Evolution? 79-103
Floréal Morandat, Brandon Hill, Leo Osvald, Jan Vitek:
Evaluating the Design of the R Language - Objects and Functions for Data Analysis. 104-131
Jesse Doherty, Laurie J. Hendren:
McSAF: A Static Analysis Framework for MATLAB. 132-155

Ownerhsip and Initialisation

Johan Östlund, Tobias Wrigstad:
Multiple Aggregate Entry Points for Ownership Types. 156-180
Wei Huang, Werner Dietl, Ana Milanova, Michael D. Ernst:
Inference and Checking of Object Ownership. 181-206
Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat:
Object Initialization in X10. 207-231

Keynote 2: Dahl-Nygaard Junior Award Winner

Tobias Wrigstad:
Structured Aliasing. 232

Language Features

Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen:
Pause 'n' Play: Formalizing Asynchronous C#. 233-257
Lukas Rytz, Martin Odersky, Philipp Haller:
Lightweight Polymorphic Effects. 258-282
Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood:
Cloud Types for Eventual Consistency. 283-307

Special-Purpose Analyses

Khilan Gudka, Tim Harris, Susan Eisenbach:
Lock Inference in the Presence of Large Libraries. 308-332
Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan:
An Analysis of the Mozilla Jetpack Extension Framework. 333-355
Joseph Gil, Yuval Shimron:
Smaller Footprint for Java Collections. 356-382

JavaScript

Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy:
Enhancing JavaScript with Transactions. 383-408
Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky:
JavaScript as an Embedded DSL. 409-434
Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip:
Correlation Tracking for Points-To Analysis of JavaScript. 435-458

Hardcore Theory

Davide Ancona:
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. 459-483
Dominic Duggan, Jianhua Yao:
Static Sessional Dataflow. 484-508
John Altidor, Christoph Reichenbach, Yannis Smaragdakis:
Java Wildcards Meet Definition-Site Variance. 509-534

Modularity

Friedrich Steimann, Jens von Pilgrim:
Constraint-Based Refactoring with Foresight. 535-559
Viviana Bono, Jarek Kusmierek, Mauro Mulatero:
Magda: A New Language for Modularity. 560-588
Byeongcheol Lee, Robert Grimm, Martin Hirzel, Kathryn S. McKinley:
Marco: Safe, Expressive Macros for Any Language. 589-613

Updates and Interference

Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar:
Practical Permissions for Race-Free Parallelism. 614-639
Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço:
Verification of Snapshot Isolation in Transactional Memory Java Programs. 640-664
Arnab De, Deepak D'Souza:
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates. 665-687

General-Purpose Analyses

Karim Ali, Ondrej Lhoták:
Application-Only Call Graph Construction. 688-712
Ran Ettinger:
Program Sliding. 713-737
Guoqing (Harry) Xu, Dacong Yan, Atanas Rountev:
Static Detection of Loop-Invariant Data Structures. 738-763

Last update Sat May 25 17:47:53 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page