OOPSLA 2008

36 papers

1. A tag-based approach for the design and composition of information processing applications · Eric Bouillet, Mark Feblowitz, Zhen Liu, Anand Ranganathan, Anton Riabov
2. A theory of aspects as latent topics · Pierre Baldi, Cristina Videira Lopes, Erik Linstead, Sushil Krishna Bajracharya
3. Analysis and reduction of memory inefficiencies in Java strings · Kiyokuni Kawachiya, Kazunori Ogata, Tamiya Onodera
4. Analyzing the performance of code-copying virtual machines · Gregory B. Prokopski, Clark Verbrugge
5. Annotation refactoring: inferring upgrade transformations for legacy applications · Wesley Tansey, Eli Tilevich
6. Caching and incrementalisation in the java query language · Darren Willis, David J. Pearce, James Noble
7. Constrained types for object-oriented languages · Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff
8. Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs · Feng Xian, Witawas Srisa-an, Hong Jiang
9. Deep typechecking and refactoring · Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner
10. Delegation-based semantics for modularizing crosscutting concerns · Hans Schippers, Dirk Janssens, Michael Haupt, Robert Hirschfeld
11. Design and implementation of transactional constructs for C/C++ · Yang Ni, Adam Welc, Ali-Reza Adl-Tabatabai, Moshe Bach, Sion Berkowits, James Cownie + 8 more
12. Designed as designer · Richard P. Gabriel
13. Dynamic optimization for efficient strong atomicity · Florian T. Schneider, Vijay Menon, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai
14. Efficient local type inference · Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni
15. Efficient software model checking of soundness of type systems · Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati
16. Enabling static analysis for partial java programs · Barthélémy Dagenais, Laurie J. Hendren
17. Enforcing object protocols by combining static and runtime analysis · Madhu Gopinathan, Sriram K. Rajamani
18. Generics of a higher kind · Adriaan Moors, Frank Piessens, Martin Odersky
19. Interprocedural query extraction for transparent persistence · Ben Wiedermann, Ali Ibrahim, William R. Cook
20. Java performance evaluation through rigorous replay compilation · Andy Georges, Lieven Eeckhout, Dries Buytaert
21. Java type inference is broken: can we fix it? · Daniel Smith, Robert Cartwright
22. Join patterns for visual basic · Claudio V. Russo
23. Jolt: lightweight dynamic analysis and removal of object churn · Ajeet Shankar, Matthew Arnold, Rastislav Bodík
24. Mixing source and bytecode: a case for compilation by normalization · Lennart C. L. Kats, Martin Bravenboer, Eelco Visser
25. Multiple dispatch in practice · Radu Muschevici, Alex Potanin, Ewan D. Tempero, James Noble
26. QVM: an efficient runtime for detecting defects in deployed systems · Matthew Arnold, Martin T. Vechev, Eran Yahav
27. Safer unsafe code for .NET · Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich
28. Sound and extensible renaming for java · Max Schäfer, Torbjörn Ekman, Oege de Moor
29. The impact of static-dynamic coupling on remodularization · Rick Chern, Kris De Volder
30. The visitor pattern as a reusable, generic, type-safe component · Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons
31. Tolerating memory leaks · Michael D. Bond, Kathryn S. McKinley
32. Towards adaptive programming: integrating reinforcement learning into a programming language · Christopher L. Simpkins, Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas
33. Typestate-like analysis of multiple interacting objects · Nomair A. Naeem, Ondrej Lhoták
34. Verifying correct usage of atomic blocks and typestate · Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich
35. Whiteoak: introducing structural typing into java · Joseph Gil, Itay Maman
36. jStar: towards practical verification for java · Dino Distefano, Matthew J. Parkinson