22. OOPSLA 2007: Montreal, Quebec, Canada - Proceedings

Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr. (Eds.): Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada. ACM 2007, ISBN 978-1-59593-786-5 BibTeX

Growing Java

Torbjörn Ekman, Görel Hedin:
The jastadd extensible java compiler. 1-18
Electronic Edition (ACM DL) BibTeX
Martin Hirzel, Robert Grimm:
Jeannie: granting java native interface developers their wishes. 19-38
Electronic Edition (ACM DL) BibTeX
Gang Tan, Greg Morrisett:
Ilea: inter-language analysis across java and c. 39-56
Electronic Edition (ACM DL) BibTeX

Runtime techniques/GC

Andy Georges, Dries Buytaert, Lieven Eeckhout:
Statistically rigorous java performance evaluation. 57-76
Electronic Edition (ACM DL) BibTeX
Feng Xian, Witawas Srisa-an, Hong Jiang:
Microphase: an approach to proactively invoking garbage collection for improved performance. 77-96
Electronic Edition (ACM DL) BibTeX
Michael D. Bond, Kathryn S. McKinley:
Probabilistic calling context. 97-112
Electronic Edition (ACM DL) BibTeX

Inheritance and visibility

Atsushi Igarashi, Mirko Viroli:
Variant path types for scalable extensibility. 113-132
Electronic Edition (ACM DL) BibTeX
Vaidas Gasiunas, Mira Mezini, Klaus Ostermann:
Dependent classes. 133-152
Electronic Edition (ACM DL) BibTeX
James Sasitorn, Robert Cartwright:
Component nextgen: a sound and expressive component framework for java. 153-170
Electronic Edition (ACM DL) BibTeX
Stéphane Ducasse, Roel Wuyts, Alexandre Bergel, Oscar Nierstrasz:
User-changeable visibility: resolving unanticipated name clashes in traits. 171-190
Electronic Edition (ACM DL) BibTeX

Language design

Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young:
Transactions with isolation and cooperation. 191-210
Electronic Edition (ACM DL) BibTeX
Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek:
Streamflex: high-throughput stream programming in java. 211-228
Electronic Edition (ACM DL) BibTeX
Thomas Kühne, Daniel Schreiber:
Can programming be liberated from the two-level style: multi-level programming with deepjava. 229-244
Electronic Edition (ACM DL) BibTeX

Software design

Nick Mitchell, Gary Sevitsky:
The causes of bloat, the limits of health. 245-260
Electronic Edition (ACM DL) BibTeX
Uri Dekel, James D. Herbsleb:
Notation and representation in collaborative object-oriented design: an observational study. 261-280
Electronic Edition (ACM DL) BibTeX
Avraham Leff, James T. Rayfield:
Webrb: evaluating a visual domain-specific language for building relational web-applications. 281-300
Electronic Edition (ACM DL) BibTeX

Type and typestate

Kevin Bierhoff, Jonathan Aldrich:
Modular typestate checking of aliased objects. 301-320
Electronic Edition (ACM DL) BibTeX
David Greenfieldboyce, Jeffrey S. Foster:
Type qualifier inference for java. 321-336
Electronic Edition (ACM DL) BibTeX
Manuel Fähndrich, Songtao Xia:
Establishing object invariants with delayed types. 337-350
Electronic Edition (ACM DL) BibTeX
Steve M. Shaner, Gary T. Leavens, David A. Naumann:
Modular verification of higher-order methods with mandatory calls specified by model programs. 351-368
Electronic Edition (ACM DL) BibTeX

Isolation and repair

Martin C. Rinard:
Using early phase termination to eliminate load imbalances at barrier synchronization points. 369-386
Electronic Edition (ACM DL) BibTeX
Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley:
Starc: static analysis for efficient repair of complex data. 387-404
Electronic Edition (ACM DL) BibTeX
Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley:
Tracking bad apples: reporting the origin of null and undefined value errors. 405-422
Electronic Edition (ACM DL) BibTeX

Ownership

Kin-Keung Ma, Jeffrey S. Foster:
Inferring aliasing and encapsulation properties for java. 423-440
Electronic Edition (ACM DL) BibTeX
Nicholas R. Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith:
Multiple ownership. 441-460
Electronic Edition (ACM DL) BibTeX
Peter Müller, Arsenii Rudich:
Ownership transfer in universe types. 461-478
Electronic Edition (ACM DL) BibTeX

Language specification

Gavin M. Bierman, Erik Meijer, Mads Torgersen:
Lost in translation: formalizing proposed extensions to c#. 479-498
Electronic Edition (ACM DL) BibTeX
Rok Strnisa, Peter Sewell, Matthew J. Parkinson:
The java module system: core design and semantic definition. 499-514
Electronic Edition (ACM DL) BibTeX
Sergei Kojarski, David H. Lorenz:
Awesome: an aspect co-weaving system for composing multiple aspect-oriented extensions. 515-534
Electronic Edition (ACM DL) BibTeX

Runtime techniques

Guillaume Pothier, Éric Tanter, José M. Piquer:
Scalable omniscient debugging. 535-552
Electronic Edition (ACM DL) BibTeX
Dries Buytaert, Andy Georges, Michael Hind, Matthew Arnold, Lieven Eeckhout, Koen De Bosschere:
Using hpm-sampling to drive dynamic compilation. 553-568
Electronic Edition (ACM DL) BibTeX
Feng Chen, Grigore Rosu:
Mop: an efficient and generic runtime verification framework. 569-588
Electronic Edition (ACM DL) BibTeX
Pavel Avgustinov, Julian Tibble, Oege de Moor:
Making trace monitors feasible. 589-608
Electronic Edition (ACM DL) BibTeX

Onward! session 1

Martin C. Rinard:
Living in the comfort zone. 611-622
Electronic Edition (ACM DL) BibTeX
Sean McDirmid:
Living it up with a live programming language. 623-638
Electronic Edition (ACM DL) BibTeX

Onward! session 2

Jonathan Edwards:
No ifs, ands, or buts: uncovering the simplicity of conditionals. 639-658
Electronic Edition (ACM DL) BibTeX
Sebastian Fleissner, Elisa L. A. Baniassad:
Epi-aspects: aspect-oriented conscientious software. 659-674
Electronic Edition (ACM DL) BibTeX

Essays session 1

Erik Meijer:
Confessions of a used programming language salesman. 677-694
Electronic Edition (ACM DL) BibTeX

Essays session 2

Dan Grossman:
The transactional memory / garbage collection analogy. 695-706
Electronic Edition (ACM DL) BibTeX