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

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 Thu May 24 04:39:12 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page