Abstract is missing.
- CoCo: Sound and Adaptive Replacement of Java CollectionsGuoqing (Harry) Xu. 1-26 [doi]
- Feature-Oriented Programming with Object AlgebrasBruno C. D. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook. 27-51 [doi]
- Composition and Reuse with Compiled Domain-Specific LanguagesArvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec, Vojin Jovanovic, Martin Odersky, Kunle Olukotun. 52-78 [doi]
- Combining Form and Function: Static Types for JQuery ProgramsBenjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi. 79-103 [doi]
- Heap Decomposition Inference with Linear ProgrammingHaitao Steve Zhu, Yu David Liu. 104-128 [doi]
- A Formal Semantics for Isorecursive and Equirecursive State AbstractionsAlexander J. Summers, Sophia Drossopoulou. 129-153 [doi]
- Trustworthy Proxies - Virtualizing Objects with InvariantsTom Van Cutsem, Mark S. Miller. 154-178 [doi]
- Java UI : Effects for Controlling UI Object AccessColin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman. 179-204 [doi]
- The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder TypesMarco Servetto, Julian Mackay, Alex Potanin, James Noble. 205-229 [doi]
- Implementing Federated Object SystemsTobias Freudenreich, Patrick Eugster, Sebastian Frischbier, Stefan Appel, Alejandro P. Buchmann. 230-254 [doi]
- RedCard: Redundant Check Elimination for Dynamic Race DetectorsCormac Flanagan, Stephen N. Freund. 255-280 [doi]
- Ownership-Based Isolation for Concurrent Actors on Multi-core MachinesOlivier Gruber, Fabienne Boyer. 281-301 [doi]
- Why Do Scala Developers Mix the Actor Model with other Concurrency Models?Samira Tasharofi, Peter Dinges, Ralph E. Johnson. 302-326 [doi]
- Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order LibraryKasper Svendsen, Lars Birkedal, Matthew J. Parkinson. 327-351 [doi]
- Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual MachineDanilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tuma. 352-377 [doi]
- Averroes: Whole-Program Analysis without the Whole ProgramKarim Ali, Ondrej Lhoták. 378-400 [doi]
- QUIC Graphs: Relational Invariant Generation for ContainersArlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan. 401-425 [doi]
- Reducing Lookups for Invariant CheckingJakob G. Thomsen, Christian Clausen, Kristoffer J. Andersen, John Danaher, Erik Ernst. 426-450 [doi]
- Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction FunctionsStefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers. 451-476 [doi]
- Really Automatic Scalable Object-Oriented ReengineeringMarco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer. 477-501 [doi]
- Detecting Refactored ClonesMati Shomrat, Yishai A. Feldman. 502-526 [doi]
- A Compositional Paradigm of Automating RefactoringsMohsen Vakilian, Nicholas Chen, Roshanak Zilouchian Moghaddam, Stas Negara, Ralph E. Johnson. 527-551 [doi]
- A Comparative Study of Manual and Automated RefactoringsStas Negara, Nicholas Chen, Mohsen Vakilian, Ralph E. Johnson, Danny Dig. 552-576 [doi]
- What Programmers Do with Inheritance in JavaEwan D. Tempero, Hong Yul Yang, James Noble. 577-601 [doi]
- Is This a Bug or an Obsolete Test?Dan Hao, Tian Lan, Hongyu Zhang, Chao Guo, Lu Zhang 0023. 602-628 [doi]
- Systematic Testing of Refactoring Engines on Real Software ProjectsMilos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov. 629-653 [doi]
- Simple Profile Rectifications Go a Long Way - Statistically Exploring and Alleviating the Effects of Sampling Errors for Program OptimizationsBo Wu, Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Raúl Silvera, Graham Yiu. 654-678 [doi]
- The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in LimeJoshua S. Auerbach, Dave F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah. 679-706 [doi]
- Higher-Order Reactive Programming with Incremental ListsIngo Maier, Martin Odersky. 707-731 [doi]