23. OOPSLA 2008: Nashville, TN, USA - Proceedings

Gail E. Harris (Ed.): Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA. ACM 2008, ISBN 978-1-60558-215-3

Query integration

Darren Willis, David J. Pearce, James Noble:
Caching and incrementalisation in the java query language. 1-18
Ben Wiedermann, Ali Ibrahim, William R. Cook:
Interprocedural query extraction for transparent persistence. 19-36
Zachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner:
Deep typechecking and refactoring. 37-52

Language design

Claudio V. Russo:
Join patterns for visual basic. 53-72
Joseph Gil, Itay Maman:
Whiteoak: introducing structural typing into java. 73-90
Lennart C. L. Kats, Martin Bravenboer, Eelco Visser:
Mixing source and bytecode: a case for compilation by normalization. 91-108

Runtime

Michael D. Bond, Kathryn S. McKinley:
Tolerating memory leaks. 109-126
Ajeet Shankar, Matthew Arnold, Rastislav Bodík:
Jolt: lightweight dynamic analysis and removal of object churn. 127-142
Matthew Arnold, Martin T. Vechev, Eran Yahav:
QVM: an efficient runtime for detecting defects in deployed systems. 143-162

Concurrency

Feng Xian, Witawas Srisa-an, Hong Jiang:
Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs. 163-180
Florian T. Schneider, Vijay Menon, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai:
Dynamic optimization for efficient strong atomicity. 181-194
Yang Ni, Adam Welc, Ali-Reza Adl-Tabatabai, Moshe Bach, Sion Berkowits, James Cownie, Robert Geva, Sergey Kozhukow, Ravi Narayanaswamy, Jeffrey Olivier, Serguei Preis, Bratin Saha, Ady Tal, Xinmin Tian:
Design and implementation of transactional constructs for C/C++. 195-212

Formal methods

Dino Distefano, Matthew J. Parkinson:
jStar: towards practical verification for java. 213-226
Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich:
Verifying correct usage of atomic blocks and typestate. 227-244
Madhu Gopinathan, Sriram K. Rajamani:
Enforcing object protocols by combining static and runtime analysis. 245-260

Refactoring

Rick Chern, Kris De Volder:
The impact of static-dynamic coupling on remodularization. 261-276
Max Schäfer, Torbjörn Ekman, Oege de Moor:
Sound and extensible renaming for java. 277-294
Wesley Tansey, Eli Tilevich:
Annotation refactoring: inferring upgrade transformations for legacy applications. 295-312

Program analysis

Barthélémy Dagenais, Laurie J. Hendren:
Enabling static analysis for partial java programs. 313-328
Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich:
Safer unsafe code for .NET. 329-346
Nomair A. Naeem, Ondrej Lhoták:
Typestate-like analysis of multiple interacting objects. 347-366

Performance

Andy Georges, Lieven Eeckhout, Dries Buytaert:
Java performance evaluation through rigorous replay compilation. 367-384
Kiyokuni Kawachiya, Kazunori Ogata, Tamiya Onodera:
Analysis and reduction of memory inefficiencies in Java strings. 385-402
Gregory B. Prokopski, Clark Verbrugge:
Analyzing the performance of code-copying virtual machines. 403-422

Type systems

Adriaan Moors, Frank Piessens, Martin Odersky:
Generics of a higher kind. 423-438
Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons:
The visitor pattern as a reusable, generic, type-safe component. 439-456
Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff:
Constrained types for object-oriented languages. 457-474

Type inference and tools

Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni:
Efficient local type inference. 475-492
Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati:
Efficient software model checking of soundness of type systems. 493-504
Daniel Smith, Robert Cartwright:
Java type inference is broken: can we fix it? 505-524

Aspects and modularity

Hans Schippers, Dirk Janssens, Michael Haupt, Robert Hirschfeld:
Delegation-based semantics for modularizing crosscutting concerns. 525-542
Pierre Baldi, Cristina Videira Lopes, Erik Linstead, Sushil Krishna Bajracharya:
A theory of aspects as latent topics. 543-562
Radu Muschevici, Alex Potanin, Ewan D. Tempero, James Noble:
Multiple dispatch in practice. 563-582

Onward!

Eric Bouillet, Mark Feblowitz, Zhen Liu, Anand Ranganathan, Anton Riabov:
A tag-based approach for the design and composition of information processing applications. 585-602
Christopher Simpkins, Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas:
Towards adaptive programming: integrating reinforcement learning into a programming language. 603-614

Essays

Richard P. Gabriel:
Designed as designer. 617-632

Last update Fri May 24 19:41:04 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page