Abstract is missing.
- The Return of TransactionsRachid Guerraoui. 1 [doi]
- A Model for Java with WildcardsNicholas R. Cameron, Sophia Drossopoulou, Erik Ernst. 2-26 [doi]
- On Validity of Program Transformations in the Java Memory ModelJaroslav Sevcík, David Aspinall. 27-51 [doi]
- Safe Cross-Language InheritanceKathryn E. Gray. 52-75 [doi]
- Liquid Metal: Object-Oriented Programming Across the Hardware/Software BoundaryShan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah. 76-103 [doi]
- Kilim: Isolation-Typed Actors for JavaSriram Srinivasan, Alan Mycroft. 104-128 [doi]
- A Uniform Transactional Execution Environment for JavaLukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan. 129-154 [doi]
- Ptolemy: A Language with Quantified, Typed EventsHridesh Rajan, Gary T. Leavens. 155-179 [doi]
- Prototyping and Composing Aspect LanguagesWilke Havinga, Lodewijk Bergmans, Mehmet Aksit. 180-206 [doi]
- Assessing the Impact of Aspects on Exception Flows: An Exploratory StudyRoberta Coelho, Awais Rashid, Alessandro Garcia, Fabiano Cutigi Ferrari, Nélio Cacho, Uirá Kulesza, Arndt von Staa, Carlos José Pereira de Lucena. 207-234 [doi]
- UpgradeJ: Incremental Typechecking for Class UpgradesGavin M. Bierman, Matthew J. Parkinson, James Noble. 235-259 [doi]
- Integrating Nominal and Structural SubtypingDonna Malayeri, Jonathan Aldrich. 260-284 [doi]
- Flow Analysis of Code CustomizationsAnders Hessellund, Peter Sestoft. 285-308 [doi]
- Online Phase-Adaptive Data Layout SelectionChengliang Zhang, Martin Hirzel. 309-334 [doi]
- MTM2: Scalable Memory Management for Multi-tasking Managed Runtime EnvironmentsSunil Soman, Chandra Krintz, Laurent Daynès. 335-361 [doi]
- Externalizing Java Server Concurrency with CALCharles Zhang, Hans-Arno Jacobsen. 362-386 [doi]
- Regional Logic for Local Reasoning about Global InvariantsAnindya Banerjee, David A. Naumann, Stan Rosenberg. 387-411 [doi]
- A Unified Framework for Verification Techniques for Object InvariantsSophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers. 412-437 [doi]
- Extensible Universes for Object-Oriented Data ModelsAchim D. Brucker, Burkhart Wolff. 438-462 [doi]
- Programming with Live Distributed ObjectsKrzysztof Ostrowski, Ken Birman, Danny Dolev, Jong Hoon Ahnn. 463-489 [doi]
- Bristlecone: A Language for Robust Software SystemsBrian Demsky, Alokika Dash. 490-515 [doi]
- Session-Based Distributed Programming in JavaRaymond Hu, Nobuko Yoshida, Kohei Honda. 516-541 [doi]
- ReCrash: Making Software Failures Reproducible by Preserving Object StatesShay Artzi, Sunghun Kim, Michael D. Ernst. 542-565 [doi]
- An Extensible State Machine Pattern for Interactive ApplicationsBrian Chin, Todd D. Millstein. 566-591 [doi]
- Practical Object-Oriented Back-in-Time DebuggingAdrian Lienhard, Tudor Gîrba, Oscar Nierstrasz. 592-615 [doi]
- Inference of Reference ImmutabilityJaime Quinonez, Matthew S. Tschantz, Michael D. Ernst. 616-641 [doi]
- Computing Stack Maps with InterfacesFrédéric Besson, Thomas P. Jensen, Tiphaine Turpin. 642-666 [doi]
- How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java SoftwareEwan D. Tempero, James Noble, Hayden Melton. 667-691 [doi]