| 2014 | The GOOL system: a lightweight object-oriented programming language translator. | Pablo Arrighi, Johan Girard, Miguel Lezama, Kvin Mazet |
| 2014 | Unifying Multiple Layer Activation Mechanisms Using One Event Sequence. | Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara |
| 2014 | Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. | Davide Ancona, Andrea Corradi |
| 2014 | How to prove type soundness of Java-like languages without forgoing big-step semantics. | Davide Ancona |
| 2014 | Constructing Call Graphs of Scala Programs. | Karim Ali, Marianna Rapoport, Ondrej Lhotk, Julian Dolby, Frank Tip |
| 2013 | Heap Decomposition Inference with Linear Programming. | Haitao Steve Zhu, Yu David Liu |
| 2013 | Semi-automatic controller design of Java-like models. | Yan Zhang, Batrice Brard, Lom-Messan Hillah, Yann Thierry-Mieg |
| 2013 | CoCo: Sound and Adaptive Replacement of Java Collections. | Guoqing Xu |
| 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, Ral Silvera, Graham Yiu |
| 2013 | On the challenges of self-adaptation in systems of systems. | Danny Weyns, Jesper Andersson |
| 2013 | Fokus!MBT: a multi-paradigmatic test modeling environment. | Marc-Florian Wendland, Andreas Hoffmann, Ina Schieferdecker |
| 2013 | History-based security for JavaScript. | Jan Vitek |
| 2013 | Evolving systems of systems: industrial challenges and research perspectives. | Michael Vierhauser, Rick Rabiser, Paul Grnbacher, Christian Danner, Stefan Wallner |
| 2013 | An EMF-based toolkit for reasoning on web services evolution. | Juan Manuel Vara, Jenifer Verde, Vasilios Andrikopoulos, Vernica Andrea Bollati, Esperanza Marcos |
| 2013 | A Compositional Paradigm of Automating Refactorings. | Mohsen Vakilian, Nicholas Chen, Roshanak Zilouchian Moghaddam, Stas Negara, Ralph E. Johnson |
| 2013 | Archface4COP: architectural interface for context-oriented programming. | Naoyasu Ubayashi, Di Ai, Yasutaka Kamei |
| 2013 | Really Automatic Scalable Object-Oriented Reengineering. | Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2013 | Reducing Lookups for Invariant Checking. | Jakob G. Thomsen, Christian Clausen, Kristoffer Just Andersen, John Danaher, Erik Ernst |
| 2013 | Efficiency of subtype test in object oriented languages with generics. | Alexandre Terrasa, Jean Privat |
| 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 |
| 2013 | Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library. | Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |
| 2013 | A Formal Semantics for Isorecursive and Equirecursive State Abstractions. | Alexander J. Summers, Sophia Drossopoulou |
| 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 | Bridging islands of specialized code using macros and reified types. | Nicolas Stucki, Vlad Ureche |