ECOOP 2012

32 papers

1. An Analysis of the Mozilla Jetpack Extension Framework · Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan
2. Application-Only Call Graph Construction · Karim Ali, Ondrej Lhoták
3. Cloud Types for Eventual Consistency · Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood
4. Constraint-Based Refactoring with Foresight · Friedrich Steimann, Jens von Pilgrim
5. Correlation Tracking for Points-To Analysis of JavaScript · Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip
6. Enhancing JavaScript with Transactions · Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy
7. Evaluating the Design of the R Language - Objects and Functions for Data Analysis · Floréal Morandat, Brandon Hill, Leo Osvald, Jan Vitek
8. Extensibility for the Masses - Practical Extensibility with Object Algebras · Bruno C. d. S. Oliveira, William R. Cook
9. Extensions during Software Evolution: Do Objects Meet Their Promise? · Romain Robbes, David Röthlisberger, Éric Tanter
10. Inference and Checking of Object Ownership · Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst
11. Is It Dangerous to Use Version Control Histories to Study Source Code Evolution? · Stas Negara, Mohsen Vakilian, Nicholas Chen, Ralph E. Johnson, Danny Dig
12. Java Wildcards Meet Definition-Site Variance · John Altidor, Christoph Reichenbach, Yannis Smaragdakis
13. JavaScript as an Embedded DSL · Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky
14. Lightweight Polymorphic Effects · Lukas Rytz, Martin Odersky, Philipp Haller
15. Lock Inference in the Presence of Large Libraries · Khilan Gudka, Tim Harris, Susan Eisenbach
16. Magda: A New Language for Modularity · Viviana Bono, Jarek Kusmierek, Mauro Mulatero
17. Marco: Safe, Expressive Macros for Any Language · Byeongcheol Lee, Robert Grimm, Martin Hirzel, Kathryn S. McKinley
18. McSAF: A Static Analysis Framework for MATLAB · Jesse Doherty, Laurie J. Hendren
19. Multiple Aggregate Entry Points for Ownership Types · Johan Östlund, Tobias Wrigstad
20. Object Initialization in X10 · Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat
21. PQL: A Purely-Declarative Java Extension for Parallel Programming · Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman
22. Pause 'n' Play: Formalizing Asynchronous C# · Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen
23. Practical Permissions for Race-Free Parallelism · Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar
24. Program Sliding · Ran Ettinger
25. Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates · Arnab De, Deepak D'Souza
26. Smaller Footprint for Java Collections · Joseph Gil, Yuval Shimron
27. Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics · Davide Ancona
28. Static Detection of Loop-Invariant Data Structures · Guoqing Xu, Dacong Yan, Atanas Rountev
29. Static Sessional Dataflow · Dominic Duggan, Jianhua Yao
30. Structured Aliasing · Tobias Wrigstad
31. Verification of Snapshot Isolation in Transactional Memory Java Programs · Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço
32. When Compilers Are Mirrors · Martin Odersky