| 2015 | Modular Verification of Finite Blocking in Non-terminating Programs. | Pontus Bostrm, Peter Mller |
| 2015 | Trace-based debugging for advanced-dispatching programming languages. | Christoph Bockisch, Marnix van 't Riet, Haihan Yin, Mehmet Aksit, Ziyi Lin, Yuting Chen, Jianjun Zhao |
| 2015 | The Expression Problem, Gracefully. | Andrew P. Black |
| 2015 | Streams a la carte: Extensible Pipelines with Object Algebras. | Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis |
| 2015 | Loop Tiling in the Presence of Exceptions. | Abhilash Bhandari, V. Krishna Nandivada |
| 2015 | Regression verification for Java using a secure information flow calculus. | Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich |
| 2015 | Conditional effects in fine-grained region logic. | Yuyan Bao, Gary T. Leavens, Gidon Ernst |
| 2015 | Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation. | Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara |
| 2015 | A three-valued type system for true positives detection in Java-like languages. | Davide Ancona, Federico Frassetto |
| 2015 | Hybrid DOM-Sensitive Change Impact Analysis for JavaScript. | Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman |
| 2015 | Automatic verification of Dafny programs with traits. | Reza Ahmadi, K. Rustan M. Leino, Jyrki Nummenmaa |
| 2015 | Provably live exception handling. | Bart Jacobs |
| 2014 | A Language-Based Approach to Secure Quorum Replication. | Lantian Zheng, Andrew C. Myers |
| 2014 | Monitoring Reactive Systems with Dynamic Channels. | Dante Zanarini, Mauro Jaskelioff |
| 2014 | Verifying Functional Behaviour of Concurrent Programs. | Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom |
| 2014 | State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects. | Shiyi Wei, Barbara G. Ryder |
| 2014 | Towards virtual traits in Scala. | Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini |
| 2014 | A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems. | Takuo Watanabe, Souhei Takeno |
| 2014 | Data interface + algorithms = efficient programs: separating logic from representation to improve performance. | Mattias De Wael, Stefan Marr, Wolfgang De Meuter |
| 2014 | Stream Processing with a Spreadsheet. | Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel |
| 2014 | Programming language evolution workshop report. | Raoul-Gabriel Urma, Dominic A. Orchard, Alan Mycroft |
| 2014 | Applying Data-driven Tool Development to Context-oriented Languages. | Marcel Taeumel, Tim Felgentreff, Robert Hirschfeld |
| 2014 | Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming. | Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich |
| 2014 | You Sank My Battleship!: A Case Study in Secure Programming. | Alley Stoughton, Andrew Johnson, Samuel Beller, Karishma Chadha, Dennis Chen, Kenneth Foner, Michael Zhivich |
| 2014 | Building Secure Systems with LIO (Demo). | Deian Stefan, David Mazires |