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

Type types

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

Analysis analyzed

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

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
Uwe Zdun, Paris Avgeriou:
Modeling architectural patterns using architectural primitives. 133-146
Cosmin E. Oancea, Stephen M. Watt:
Parametric polymorphism for software component architectures. 147-166
Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson:
Using dependency models to manage complex software architecture. 167-176

Language lingo

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

Adaptation adapted

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

Machine machinery

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

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
Michael C. Martin, V. Benjamin Livshits, Monica S. Lam:
Finding application errors and security flaws using PQL: a program query language. 365-383
Simon Goldsmith, Robert O'Callahan, Alexander Aiken:
Relational queries over program traces. 385-402

Concurreny

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

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
Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu:
Incrementalization across object abstraction. 473-486
Antonio Cunei, Jan Vitek:
PolyD: a flexible dispatching framework. 487-503

Onward!

Jonathan Edwards:
Subtext: uncovering the simplicity of programming. 505-518
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

Essays

Glenn Vanderburg:
A simple model of agile software processes - or - extreme programming annealed. 539-545

Last update Fri May 24 19:41:03 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page