Abstract is missing.
- When Compilers Are MirrorsMartin Odersky. 1 [doi]
- Extensibility for the Masses - Practical Extensibility with Object AlgebrasBruno C. D. S. Oliveira, William R. Cook. 2-27 [doi]
- Extensions during Software Evolution: Do Objects Meet Their Promise?Romain Robbes, David Röthlisberger, Éric Tanter. 28-52 [doi]
- PQL: A Purely-Declarative Java Extension for Parallel ProgrammingChristoph Reichenbach, Yannis Smaragdakis, Neil Immerman. 53-78 [doi]
- Is It Dangerous to Use Version Control Histories to Study Source Code Evolution?Stas Negara, Mohsen Vakilian, Nicholas Chen, Ralph E. Johnson, Danny Dig. 79-103 [doi]
- Evaluating the Design of the R Language - Objects and Functions for Data AnalysisFloréal Morandat, Brandon Hill, Leo Osvald, Jan Vitek. 104-131 [doi]
- McSAF: A Static Analysis Framework for MATLABJesse Doherty, Laurie J. Hendren. 132-155 [doi]
- Multiple Aggregate Entry Points for Ownership TypesJohan Östlund, Tobias Wrigstad. 156-180 [doi]
- Inference and Checking of Object OwnershipWei Huang, Werner Dietl, Ana Milanova, Michael D. Ernst. 181-206 [doi]
- Object Initialization in X10Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat. 207-231 [doi]
- Structured AliasingTobias Wrigstad. 232 [doi]
- Pause 'n' Play: Formalizing Asynchronous C#Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen. 233-257 [doi]
- Lightweight Polymorphic EffectsLukas Rytz, Martin Odersky, Philipp Haller. 258-282 [doi]
- Cloud Types for Eventual ConsistencySebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood. 283-307 [doi]
- Lock Inference in the Presence of Large LibrariesKhilan Gudka, Tim Harris, Susan Eisenbach. 308-332 [doi]
- An Analysis of the Mozilla Jetpack Extension FrameworkRezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan. 333-355 [doi]
- Smaller Footprint for Java CollectionsJoseph Gil, Yuval Shimron. 356-382 [doi]
- Enhancing JavaScript with TransactionsMohan Dhawan, Chung-chieh Shan, Vinod Ganapathy. 383-408 [doi]
- JavaScript as an Embedded DSLGrzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky. 409-434 [doi]
- Correlation Tracking for Points-To Analysis of JavaScriptManu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip. 435-458 [doi]
- Soundness of Object-Oriented Languages with Coinductive Big-Step SemanticsDavide Ancona. 459-483 [doi]
- Static Sessional DataflowDominic Duggan, Jianhua Yao. 484-508 [doi]
- Java Wildcards Meet Definition-Site VarianceJohn Altidor, Christoph Reichenbach, Yannis Smaragdakis. 509-534 [doi]
- Constraint-Based Refactoring with ForesightFriedrich Steimann, Jens von Pilgrim. 535-559 [doi]
- Magda: A New Language for ModularityViviana Bono, Jarek Kusmierek, Mauro Mulatero. 560-588 [doi]
- Marco: Safe, Expressive Macros for Any LanguageByeongcheol Lee, Robert Grimm, Martin Hirzel, Kathryn S. McKinley. 589-613 [doi]
- Practical Permissions for Race-Free ParallelismEdwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar. 614-639 [doi]
- Verification of Snapshot Isolation in Transactional Memory Java ProgramsRicardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço. 640-664 [doi]
- Scalable Flow-Sensitive Pointer Analysis for Java with Strong UpdatesArnab De, Deepak D'Souza. 665-687 [doi]
- Application-Only Call Graph ConstructionKarim Ali, Ondrej Lhoták. 688-712 [doi]
- Program SlidingRan Ettinger. 713-737 [doi]
- Static Detection of Loop-Invariant Data StructuresGuoqing (Harry) Xu, Dacong Yan, Atanas Rountev. 738-763 [doi]