20. OOPSLA 2005: San Diego, CA, USA - Proceedings

Ralph E. Johnson, Richard P. Gabriel (Eds.): Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA. ACM 2005, ISBN 1-59593-031-0 BibTeX

Type types

Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine:
Associated types and constraint propagation for mainstream object-oriented generics. 1-19
Electronic Edition (ACM DL) BibTeX
Andrew Kennedy, Claudio V. Russo:
Generalized algebraic data types and object-oriented programming. 21-40
Electronic Edition (ACM DL) BibTeX
Martin Odersky, Matthias Zenger:
Scalable component abstractions. 41-57
Electronic Edition (ACM DL) BibTeX

Analysis analyzed

Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík:
Demand-driven points-to analysis for Java. 59-76
Electronic Edition (ACM DL) BibTeX
Mangala Gowri Nanda, Christian Grothoff, Satish Chandra:
Deriving object typestates in the presence of inter-object references. 77-96
Electronic Edition (ACM DL) BibTeX
Joseph Gil, Itay Maman:
Micro patterns in Java code. 97-116
Electronic Edition (ACM DL) BibTeX

Archetypal architectures

J. Andrés Díaz Pace, Marcelo R. Campo:
ArchMatE: from architectural styles to object-oriented models through exploratory tool support. 117-132
Electronic Edition (ACM DL) BibTeX
Uwe Zdun, Paris Avgeriou:
Modeling architectural patterns using architectural primitives. 133-146
Electronic Edition (ACM DL) BibTeX
Cosmin E. Oancea, Stephen M. Watt:
Parametric polymorphism for software component architectures. 147-166
Electronic Edition (ACM DL) BibTeX
Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson:
Using dependency models to manage complex software architecture. 167-176
Electronic Edition (ACM DL) BibTeX

Language lingo

Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz:
Classbox/J: controlling the scope of change in Java. 177-189
Electronic Edition (ACM DL) BibTeX
Yu David Liu, Scott F. Smith:
Interaction-based programming with classages. 191-209
Electronic Edition (ACM DL) BibTeX
Matthew S. Tschantz, Michael D. Ernst:
Javari: adding reference immutability to Java. 211-230
Electronic Edition (ACM DL) BibTeX

Adaptation adapted

Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt:
Fine-grained interoperability through mirrors and contracts. 231-245
Electronic Edition (ACM DL) BibTeX
Sergei Kojarski, David H. Lorenz:
Pluggable AOP: designing aspect mechanisms for third-party composition. 247-263
Electronic Edition (ACM DL) BibTeX
Ittai Balaban, Frank Tip, Robert M. Fuhrer:
Refactoring support for class library migration. 265-279
Electronic Edition (ACM DL) BibTeX

Machine machinery

Matthias Hauswirth, Amer Diwan, Peter F. Sweeney, Michael C. Mozer:
Automating vertical profiling. 281-296
Electronic Edition (ACM DL) BibTeX
Matthew Arnold, Adam Welc, V. T. Rajan:
Improving virtual machine performance using a cross-run profile repository. 297-311
Electronic Edition (ACM DL) BibTeX
Matthew Hertz, Emery D. Berger:
Quantifying the performance of garbage collection vs. explicit memory management. 313-326
Electronic Edition (ACM DL) BibTeX
Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith:
Runtime specialization with optimistic heap analysis. 327-343
Electronic Edition (ACM DL) BibTeX

Tracing traces

Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble:
Adding trace matching with free variables to AspectJ. 345-364
Electronic Edition (ACM DL) BibTeX
Michael C. Martin, V. Benjamin Livshits, Monica S. Lam:
Finding application errors and security flaws using PQL: a program query language. 365-383
Electronic Edition (ACM DL) BibTeX
Simon Goldsmith, Robert O'Callahan, Alexander Aiken:
Relational queries over program traces. 385-402
Electronic Edition (ACM DL) BibTeX

Concurreny

Alexander Ahern, Nobuko Yoshida:
Formalising Java RMI with explicit code mobility. 403-422
Electronic Edition (ACM DL) BibTeX
Douglas Gregor, Andrew Lumsdaine:
Lifting sequential graph algorithms for distributed-memory parallel computation. 423-437
Electronic Edition (ACM DL) BibTeX
Adam Welc, Suresh Jagannathan, Antony L. Hosking:
Safe futures for Java. 439-453
Electronic Edition (ACM DL) BibTeX

Exceptional exceptions

Marko van Dooren, Eric Steegmans:
Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations. 455-471
Electronic Edition (ACM DL) BibTeX
Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu:
Incrementalization across object abstraction. 473-486
Electronic Edition (ACM DL) BibTeX
Antonio Cunei, Jan Vitek:
PolyD: a flexible dispatching framework. 487-503
Electronic Edition (ACM DL) BibTeX

Onward!

Jonathan Edwards:
Subtext: uncovering the simplicity of programming. 505-518
Electronic Edition (ACM DL) BibTeX
Philippe Charles, Christian Grothoff, Vijay A. Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, Vivek Sarkar:
X10: an object-oriented approach to non-uniform cluster computing. 519-538
Electronic Edition (ACM DL) BibTeX

Essays

Glenn Vanderburg:
A simple model of agile software processes - or - extreme programming annealed. 539-545
Electronic Edition (ACM DL) BibTeX