Abstract is missing.
- Caching and incrementalisation in the java query languageDarren Willis, David J. Pearce, James Noble. 1-18 [doi]
- Interprocedural query extraction for transparent persistenceBen Wiedermann, Ali Ibrahim, William R. Cook. 19-36 [doi]
- Deep typechecking and refactoringZachary Tatlock, Chris Tucker, David Shuffelton, Ranjit Jhala, Sorin Lerner. 37-52 [doi]
- Join patterns for visual basicClaudio V. Russo. 53-72 [doi]
- Whiteoak: introducing structural typing into javaJoseph Gil, Itay Maman. 73-90 [doi]
- Mixing source and bytecode: a case for compilation by normalizationLennart C. L. Kats, Martin Bravenboer, Eelco Visser. 91-108 [doi]
- Tolerating memory leaksMichael D. Bond, Kathryn S. McKinley. 109-126 [doi]
- Jolt: lightweight dynamic analysis and removal of object churnAjeet Shankar, Matthew Arnold, Rastislav Bodík. 127-142 [doi]
- QVM: an efficient runtime for detecting defects in deployed systemsMatthew Arnold, Martin T. Vechev, Eran Yahav. 143-162 [doi]
- Contention-aware scheduler: unlocking execution parallelism in multithreaded java programsFeng Xian, Witawas Srisa-an, Hong Jiang. 163-180 [doi]
- Dynamic optimization for efficient strong atomicityFlorian T. Schneider, Vijay Menon, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai. 181-194 [doi]
- Design and implementation of transactional constructs for C/C++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. 195-212 [doi]
- jStar: towards practical verification for javaDino Distefano, Matthew J. Parkinson. 213-226 [doi]
- Verifying correct usage of atomic blocks and typestateNels E. Beckman, Kevin Bierhoff, Jonathan Aldrich. 227-244 [doi]
- Enforcing object protocols by combining static and runtime analysisMadhu Gopinathan, Sriram K. Rajamani. 245-260 [doi]
- The impact of static-dynamic coupling on remodularizationRick Chern, Kris De Volder. 261-276 [doi]
- Sound and extensible renaming for javaMax Schäfer, Torbjörn Ekman, Oege de Moor. 277-294 [doi]
- Annotation refactoring: inferring upgrade transformations for legacy applicationsWesley Tansey, Eli Tilevich. 295-312 [doi]
- Enabling static analysis for partial java programsBarthélémy Dagenais, Laurie J. Hendren. 313-328 [doi]
- Safer unsafe code for .NETPietro Ferrara, Francesco Logozzo, Manuel Fähndrich. 329-346 [doi]
- Typestate-like analysis of multiple interacting objectsNomair A. Naeem, Ondřej Lhoták. 347-366 [doi]
- Java performance evaluation through rigorous replay compilationAndy Georges, Lieven Eeckhout, Dries Buytaert. 367-384 [doi]
- Analysis and reduction of memory inefficiencies in Java stringsKiyokuni Kawachiya, Kazunori Ogata, Tamiya Onodera. 385-402 [doi]
- Analyzing the performance of code-copying virtual machinesGregory B. Prokopski, Clark Verbrugge. 403-422 [doi]
- Generics of a higher kindAdriaan Moors, Frank Piessens, Martin Odersky. 423-438 [doi]
- The visitor pattern as a reusable, generic, type-safe componentBruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons. 439-456 [doi]
- Constrained types for object-oriented languagesNathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff. 457-474 [doi]
- Efficient local type inferenceBen Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni. 475-492 [doi]
- Efficient software model checking of soundness of type systemsMichael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati. 493-504 [doi]
- Java type inference is broken: can we fix it?Daniel Smith, Robert Cartwright. 505-524 [doi]
- Delegation-based semantics for modularizing crosscutting concernsHans Schippers, Dirk Janssens, Michael Haupt, Robert Hirschfeld. 525-542 [doi]
- A theory of aspects as latent topicsPierre Baldi, Cristina Videira Lopes, Erik Linstead, Sushil Krishna Bajracharya. 543-562 [doi]
- Multiple dispatch in practiceRadu Muschevici, Alex Potanin, Ewan D. Tempero, James Noble. 563-582 [doi]
- A tag-based approach for the design and composition of information processing applicationsEric Bouillet, Mark Feblowitz, Zhen Liu, Anand Ranganathan, Anton Riabov. 585-602 [doi]
- Towards adaptive programming: integrating reinforcement learning into a programming languageChristopher Simpkins, Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas. 603-614 [doi]
- Designed as designerRichard P. Gabriel. 617-632 [doi]