| 2013 | A Comparative Study of Manual and Automated Refactorings. Stas Negara, Nicholas Chen, Mohsen Vakilian, Ralph E. Johnson, Danny Dig |
| 2013 | A Compositional Paradigm of Automating Refactorings. Mohsen Vakilian, Nicholas Chen, Roshanak Zilouchian Moghaddam, Stas Negara, Ralph E. Johnson |
| 2013 | A Formal Semantics for Isorecursive and Equirecursive State Abstractions. Alexander J. Summers, Sophia Drossopoulou |
| 2013 | Averroes: Whole-Program Analysis without the Whole Program. Karim Ali, Ondrej Lhoták |
| 2013 | CoCo: Sound and Adaptive Replacement of Java Collections. Guoqing Xu |
| 2013 | Combining Form and Function: Static Types for JQuery Programs. Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi |
| 2013 | Composition and Reuse with Compiled Domain-Specific Languages. Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec, Vojin Jovanovic, Martin Odersky, Kunle Olukotun |
| 2013 | Detecting Refactored Clones. Mati Shomrat, Yishai A. Feldman |
| 2013 | ECOOP 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings Giuseppe Castagna |
| 2013 | Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. Danilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tuma |
| 2013 | Feature-Oriented Programming with Object Algebras. Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook |
| 2013 | Heap Decomposition Inference with Linear Programming. Haitao Steve Zhu, Yu David Liu |
| 2013 | Higher-Order Reactive Programming with Incremental Lists. Ingo Maier, Martin Odersky |
| 2013 | Implementing Federated Object Systems. Tobias Freudenreich, Patrick Eugster, Sebastian Frischbier, Stefan Appel, Alejandro P. Buchmann |
| 2013 | Is This a Bug or an Obsolete Test? Dan Hao, Tian Lan, Hongyu Zhang, Chao Guo, Lu Zhang |
| 2013 | Java UI : Effects for Controlling UI Object Access. Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman |
| 2013 | Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library. Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |
| 2013 | Ownership-Based Isolation for Concurrent Actors on Multi-core Machines. Olivier Gruber, Fabienne Boyer |
| 2013 | QUIC Graphs: Relational Invariant Generation for Containers. Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
| 2013 | Really Automatic Scalable Object-Oriented Reengineering. Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2013 | RedCard: Redundant Check Elimination for Dynamic Race Detectors. Cormac Flanagan, Stephen N. Freund |
| 2013 | Reducing Lookups for Invariant Checking. Jakob G. Thomsen, Christian Clausen, Kristoffer Just Andersen, John Danaher, Erik Ernst |
| 2013 | Simple Profile Rectifications Go a Long Way - Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations. Bo Wu, Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Raúl Silvera, Graham Yiu |
| 2013 | Systematic Testing of Refactoring Engines on Real Software Projects. Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov |
| 2013 | The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. Marco Servetto, Julian Mackay, Alex Potanin, James Noble |
| 2013 | The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime. Joshua S. Auerbach, David F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah |
| 2013 | Trustworthy Proxies - Virtualizing Objects with Invariants. Tom Van Cutsem, Mark S. Miller |
| 2013 | Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers |
| 2013 | What Programmers Do with Inheritance in Java. Ewan D. Tempero, Hong Yul Yang, James Noble |
| 2013 | Why Do Scala Developers Mix the Actor Model with other Concurrency Models? Samira Tasharofi, Peter Dinges, Ralph E. Johnson |