| 2013 | GDSL: A Universal Toolkit for Giving Semantics to Machine Language. | Julian Kranz, Alexander Sepp, Axel Simon |
| 2013 | A Hoare Logic for SIMT Programs. | Kensuke Kojima, Atsushi Igarashi |
| 2013 | Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. | Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr. |
| 2013 | Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. | Fritz Henglein, Ralf Hinze |
| 2013 | Robustness Analysis of Finite Precision Implementations. | Eric Goubault, Sylvie Putot |
| 2013 | Ambivalent Types for Principal Type Inference with GADTs. | Jacques Garrigue, Didier Rmy |
| 2013 | Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. | Koichi Fujima, Sohei Ito, Naoki Kobayashi |
| 2013 | Generalized Quantitative Analysis of Metric Transition Systems. | Uli Fahrenberg, Axel Legay |
| 2013 | Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk). | Cristina Cifuentes, Nathan Keynes |
| 2013 | Paragon for Practical Programming with Information-Flow Control. | Niklas Broberg, Bart van Delft, David Sands |
| 2013 | Brzozowski's and Up-To Algorithms for Must Testing. | Filippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva |
| 2013 | On Bar Recursion and Choice in a Classical Setting. | Valentin Blot, Colin Riba |
| 2013 | Environmental Bisimulations for Delimited-Control Operators. | Dariusz Biernacki, Sergue Lenglet |
| 2013 | The Proof Assistant as an Integrated Development Environment. | Nick Benton |
| 2012 | A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. | Rmy Wyss, Frdric Boniol, Julien Forget, Claire Pagetti |
| 2012 | Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection. | Jan Vitek |
| 2012 | Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. | Pascal Sotin, Xavier Rival |
| 2012 | Concurrent Test Generation Using Concolic Multi-trace Analysis. | Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta |
| 2012 | Types and Access Controls for Cross-Domain Security in Flash. | Aseem Rastogi, Avik Chaudhuri, Rob Johnson |
| 2012 | Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. | Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2012 | Scalable Formal Machine Models. | Greg Morrisett |
| 2012 | A Dynamic Interpretation of the CPS Hierarchy. | Marek Materzok, Dariusz Biernacki |
| 2012 | Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis. | Luks Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tuma, Zhengwei Qi |
| 2012 | JATO: Native Code Atomicity for Java. | Siliang Li, Yu David Liu, Gang Tan |
| 2012 | Mechanized Semantics for Compiler Verification. | Xavier Leroy |