default search action
22nd ECOOP 2008: Paphos, Cyprus
- Jan Vitek:
ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings. Lecture Notes in Computer Science 5142, Springer 2008, ISBN 978-3-540-70591-8
Keynote
- Rachid Guerraoui:
The Return of Transactions. 1
Session I
- Nicholas Cameron, Sophia Drossopoulou, Erik Ernst:
A Model for Java with Wildcards. 2-26 - Jaroslav Sevcík, David Aspinall:
On Validity of Program Transformations in the Java Memory Model. 27-51 - Kathryn E. Gray:
Safe Cross-Language Inheritance. 52-75
Session II
- Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah:
Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary. 76-103 - Sriram Srinivasan, Alan Mycroft:
Kilim: Isolation-Typed Actors for Java. 104-128 - Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan:
A Uniform Transactional Execution Environment for Java. 129-154
Session III
- Hridesh Rajan, Gary T. Leavens:
Ptolemy: A Language with Quantified, Typed Events. 155-179 - Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit:
Prototyping and Composing Aspect Languages. 180-206 - Roberta Coelho, Awais Rashid, Alessandro Garcia, Fabiano Cutigi Ferrari, Nélio Cacho, Uirá Kulesza, Arndt von Staa, Carlos José Pereira de Lucena:
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study. 207-234
Session IV
- Gavin M. Bierman, Matthew J. Parkinson, James Noble:
UpgradeJ: Incremental Typechecking for Class Upgrades. 235-259 - Donna Malayeri, Jonathan Aldrich:
Integrating Nominal and Structural Subtyping. 260-284 - Anders Hessellund, Peter Sestoft:
Flow Analysis of Code Customizations. 285-308
Session V
- Chengliang Zhang, Martin Hirzel:
Online Phase-Adaptive Data Layout Selection. 309-334 - Sunil Soman, Chandra Krintz, Laurent Daynès:
MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments. 335-361 - Charles Zhang, Hans-Arno Jacobsen:
Externalizing Java Server Concurrency with CAL. 362-386
Session VI
- Anindya Banerjee, David A. Naumann, Stan Rosenberg:
Regional Logic for Local Reasoning about Global Invariants. 387-411 - Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants. 412-437 - Achim D. Brucker, Burkhart Wolff:
Extensible Universes for Object-Oriented Data Models. 438-462
Session VII
- Krzysztof Ostrowski, Ken Birman, Danny Dolev, Jong Hoon Ahnn:
Programming with Live Distributed Objects. 463-489 - Brian Demsky, Alokika Dash:
Bristlecone: A Language for Robust Software Systems. 490-515 - Raymond Hu, Nobuko Yoshida, Kohei Honda:
Session-Based Distributed Programming in Java. 516-541
Session VIII
- Shay Artzi, Sunghun Kim, Michael D. Ernst:
ReCrash: Making Software Failures Reproducible by Preserving Object States. 542-565 - Brian Chin, Todd D. Millstein:
An Extensible State Machine Pattern for Interactive Applications. 566-591 - Adrian Lienhard, Tudor Gîrba, Oscar Nierstrasz:
Practical Object-Oriented Back-in-Time Debugging. 592-615
Session IX
- Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst:
Inference of Reference Immutability. 616-641 - Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin:
Computing Stack Maps with Interfaces. 642-666 - Ewan D. Tempero, James Noble, Hayden Melton:
How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software. 667-691
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.