OOPSLA 2006

30 papers

1. A flexible framework for implementing software transactional memory · Maurice Herlihy, Victor Luchangco, Mark Moir
2. A flow-based approach for variant parametric types · Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
3. A formal framework for component deployment · Yu David Liu, Scott F. Smith
4. A framework for implementing pluggable type systems · Chris Andreae, James Noble, Shane Markstrum, Todd D. Millstein
5. Adapting virtual machine techniques for seamless aspect support · Christoph Bockisch, Matthew Arnold, Tom Dinkelaker, Mira Mezini
6. An operational semantics and type safety prooffor multiple inheritance in C++ · Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip
7. Concepts: linguistic support for generic programming in C++ · Douglas P. Gregor, Jaakko Järvi, Jeremy G. Siek, Bjarne Stroustrup, Gabriel Dos Reis, Andrew Lumsdaine
8. Conscientious software · Richard P. Gabriel, Ron Goldman
9. Declarative, formal, and extensible syntax definition for aspectJ · Martin Bravenboer, Éric Tanter, Eelco Visser
10. Design fragments make using frameworks easier · George Fairbanks, David Garlan, William L. Scherlis
11. Efficient control flow quantification · Christoph Bockisch, Sebastian Kanthak, Michael Haupt, Matthew Arnold, Mira Mezini
12. Efficient software model checking of data structure properties · Paul T. Darga, Chandrasekhar Boyapati
13. Eliminating distinctions of class: using prototypes to model virtual classes · DeLesley Hutchins
14. Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing · Kenneth B. Russell, David Detlefs
15. Generic ownership for generic Java · Alex Potanin, James Noble, Dave Clarke, Robert Biddle
16. Intentional software · Charles Simonyi, Magnus Christerson, Shane Clifford
17. Isolating and relating concerns in requirements using latent semantic analysis · Lo Kwun Kit, Chan Kwun Man, Elisa L. A. Baniassad
18. J&: nested intersection for scalable software composition · Nathaniel Nystrom, Xin Qi, Andrew C. Myers
19. JTL: the Java tools language · Tal Cohen, Joseph Gil, Itay Maman
20. Javana: a system for building customized Java program analysis tools · Jonas Maebe, Dries Buytaert, Lieven Eeckhout, Koen De Bosschere
21. Method-specific dynamic compilation using logistic regression · John Cavazos, Michael F. P. O'Boyle
22. On system design · Jim Waldo
23. Replay compilation: improving debuggability of a just-in-time compiler · Kazunori Ogata, Tamiya Onodera, Kiyokuni Kawachiya, Hideaki Komatsu, Toshio Nakatani
24. Statically scoped object adaptation with expanders · Alessandro Warth, Milan Stanojevic, Todd D. Millstein
25. The DaCapo benchmarks: java benchmarking development and analysis · Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur + 14 more
26. The paradoxical success of aspect-oriented programming · Friedrich Steimann
27. Understanding the shape of Java software · Gareth Baxter, Marcus R. Frean, James Noble, Mark Rickerby, Hayden Smith, Matt Visser + 2 more
28. Uniform proxies for Java · Patrick Th. Eugster
29. Virgil: objects on the head of a pin · Ben L. Titzer
30. XSnippet: mining For sample code · Naiyana Sahavechaphan, Kajal T. Claypool