default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd OOPSLA 2007: Montreal, Quebec, Canada - Proceedings
- Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr.:
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
Growing Java
- Torbjörn Ekman, Görel Hedin
:
The jastadd extensible java compiler. 1-18 - Martin Hirzel, Robert Grimm:
Jeannie: granting java native interface developers their wishes. 19-38 - Gang Tan, Greg Morrisett:
Ilea: inter-language analysis across java and c. 39-56
Runtime techniques/GC
- Andy Georges, Dries Buytaert, Lieven Eeckhout:
Statistically rigorous java performance evaluation. 57-76 - Feng Xian, Witawas Srisa-an, Hong Jiang:
Microphase: an approach to proactively invoking garbage collection for improved performance. 77-96 - Michael D. Bond, Kathryn S. McKinley:
Probabilistic calling context. 97-112
Inheritance and visibility
- Atsushi Igarashi, Mirko Viroli:
Variant path types for scalable extensibility. 113-132 - Vaidas Gasiunas, Mira Mezini, Klaus Ostermann:
Dependent classes. 133-152 - James Sasitorn, Robert Cartwright:
Component nextgen: a sound and expressive component framework for java. 153-170 - Stéphane Ducasse, Roel Wuyts, Alexandre Bergel, Oscar Nierstrasz:
User-changeable visibility: resolving unanticipated name clashes in traits. 171-190
Language design
- Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young:
Transactions with isolation and cooperation. 191-210 - Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek:
Streamflex: high-throughput stream programming in java. 211-228 - Thomas Kühne, Daniel Schreiber:
Can programming be liberated from the two-level style: multi-level programming with deepjava. 229-244
Software design
- Nick Mitchell, Gary Sevitsky:
The causes of bloat, the limits of health. 245-260 - Uri Dekel, James D. Herbsleb:
Notation and representation in collaborative object-oriented design: an observational study. 261-280 - Avraham Leff, James T. Rayfield:
Webrb: evaluating a visual domain-specific language for building relational web-applications. 281-300
Type and typestate
- Kevin Bierhoff, Jonathan Aldrich:
Modular typestate checking of aliased objects. 301-320 - David Greenfieldboyce, Jeffrey S. Foster:
Type qualifier inference for java. 321-336 - Manuel Fähndrich, Songtao Xia:
Establishing object invariants with delayed types. 337-350 - Steve M. Shaner, Gary T. Leavens, David A. Naumann:
Modular verification of higher-order methods with mandatory calls specified by model programs. 351-368
Isolation and repair
- Martin C. Rinard:
Using early phase termination to eliminate load imbalances at barrier synchronization points. 369-386 - Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley:
Starc: static analysis for efficient repair of complex data. 387-404 - 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
Ownership
- Kin-Keung Ma, Jeffrey S. Foster:
Inferring aliasing and encapsulation properties for java. 423-440 - Nicholas Robert Cameron, Sophia Drossopoulou, James Noble, Matthew J. Smith:
Multiple ownership. 441-460 - Peter Müller, Arsenii Rudich:
Ownership transfer in universe types. 461-478
Language specification
- Gavin M. Bierman, Erik Meijer, Mads Torgersen:
Lost in translation: formalizing proposed extensions to c#. 479-498 - Rok Strnisa, Peter Sewell, Matthew J. Parkinson:
The java module system: core design and semantic definition. 499-514 - Sergei Kojarski, David H. Lorenz:
Awesome: an aspect co-weaving system for composing multiple aspect-oriented extensions. 515-534
Runtime techniques
- Guillaume Pothier, Éric Tanter, José M. Piquer:
Scalable omniscient debugging. 535-552 - Dries Buytaert, Andy Georges, Michael Hind, Matthew Arnold, Lieven Eeckhout, Koen De Bosschere:
Using hpm-sampling to drive dynamic compilation. 553-568 - Feng Chen, Grigore Rosu:
Mop: an efficient and generic runtime verification framework. 569-588 - Pavel Avgustinov, Julian Tibble, Oege de Moor:
Making trace monitors feasible. 589-608
Onward! session 1
- Martin C. Rinard:
Living in the comfort zone. 611-622 - Sean McDirmid:
Living it up with a live programming language. 623-638
Onward! session 2
- Jonathan Edwards:
No ifs, ands, or buts: uncovering the simplicity of conditionals. 639-658 - Sebastian Fleissner, Elisa L. A. Baniassad:
Epi-aspects: aspect-oriented conscientious software. 659-674
Essays session 1
- Erik Meijer:
Confessions of a used programming language salesman. 677-694
Essays session 2
- Dan Grossman:
The transactional memory / garbage collection analogy. 695-706
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-11 23:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
