OOPSLA 2007

39 papers

1. Awesome: an aspect co-weaving system for composing multiple aspect-oriented extensions · Sergei Kojarski, David H. Lorenz
2. Can programming be liberated from the two-level style: multi-level programming with deepjava · Thomas Kühne, Daniel Schreiber
3. Component nextgen: a sound and expressive component framework for java · James Sasitorn, Robert Cartwright
4. Confessions of a used programming language salesman · Erik Meijer
5. Dependent classes · Vaidas Gasiunas, Mira Mezini, Klaus Ostermann
6. Epi-aspects: aspect-oriented conscientious software · Sebastian Fleissner, Elisa L. A. Baniassad
7. Establishing object invariants with delayed types · Manuel Fähndrich, Songtao Xia
8. Ilea: inter-language analysis across java and c · Gang Tan, Greg Morrisett
9. Inferring aliasing and encapsulation properties for java · Kin-Keung Ma, Jeffrey S. Foster
10. Jeannie: granting java native interface developers their wishes · Martin Hirzel, Robert Grimm
11. Living in the comfort zone · Martin C. Rinard
12. Living it up with a live programming language · Sean McDirmid
13. Lost in translation: formalizing proposed extensions to c# · Gavin M. Bierman, Erik Meijer, Mads Torgersen
14. Making trace monitors feasible · Pavel Avgustinov, Julian Tibble, Oege de Moor
15. Microphase: an approach to proactively invoking garbage collection for improved performance · Feng Xian, Witawas Srisa-an, Hong Jiang
16. Modular typestate checking of aliased objects · Kevin Bierhoff, Jonathan Aldrich
17. Modular verification of higher-order methods with mandatory calls specified by model programs · Steve M. Shaner, Gary T. Leavens, David A. Naumann
18. Mop: an efficient and generic runtime verification framework · Feng Chen, Grigore Rosu
19. Multiple ownership · Nicholas Robert Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith
20. No ifs, ands, or buts: uncovering the simplicity of conditionals · Jonathan Edwards
21. Notation and representation in collaborative object-oriented design: an observational study · Uri Dekel, James D. Herbsleb
22. Ownership transfer in universe types · Peter Müller, Arsenii Rudich
23. Probabilistic calling context · Michael D. Bond, Kathryn S. McKinley
24. Scalable omniscient debugging · Guillaume Pothier, Éric Tanter, José M. Piquer
25. Starc: static analysis for efficient repair of complex data · Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley
26. Statistically rigorous java performance evaluation · Andy Georges, Dries Buytaert, Lieven Eeckhout
27. Streamflex: high-throughput stream programming in java · Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek
28. The causes of bloat, the limits of health · Nick Mitchell, Gary Sevitsky
29. The jastadd extensible java compiler · Torbjörn Ekman, Görel Hedin
30. The java module system: core design and semantic definition · Rok Strnisa, Peter Sewell, Matthew J. Parkinson
31. The transactional memory / garbage collection analogy · Dan Grossman
32. Tracking bad apples: reporting the origin of null and undefined value errors · Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley
33. Transactions with isolation and cooperation · Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
34. Type qualifier inference for java · David Greenfieldboyce, Jeffrey S. Foster
35. User-changeable visibility: resolving unanticipated name clashes in traits · Stéphane Ducasse, Roel Wuyts, Alexandre Bergel, Oscar Nierstrasz
36. Using early phase termination to eliminate load imbalances at barrier synchronization points · Martin C. Rinard
37. Using hpm-sampling to drive dynamic compilation · Dries Buytaert, Andy Georges, Michael Hind, Matthew Arnold, Lieven Eeckhout, Koen De Bosschere
38. Variant path types for scalable extensibility · Atsushi Igarashi, Mirko Viroli
39. Webrb: evaluating a visual domain-specific language for building relational web-applications · Avraham Leff, James T. Rayfield