| 2014 | The Design and Implementation of BER MetaOCaml - System Description. | Oleg Kiselyov |
| 2014 | On Cross-Stage Persistence in Multi-Stage Programming. | Yuichiro Hanada, Atsushi Igarashi |
| 2014 | Constraint Logic Programming for Hedges: A Semantic Reconstruction. | Besik Dundua, Mrio Florido, Temur Kutsia, Mircea Marin |
| 2014 | Generating Constrained Random Data with Uniform Distribution. | Koen Claessen, Jonas Duregrd, Michal H. Palka |
| 2014 | Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata. | Xiaojuan Cai, Mizuhito Ogawa |
| 2014 | Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description. | Karim Barkati, Haisheng Wang, Pierre Jouvelot |
| 2014 | Type Soundness and Race Freedom for Mezzo. | Thibaut Balabonski, Franois Pottier, Jonathan Protzenko |
| 2014 | Proving Correctness of Compilers Using Structured Graphs. | Patrick Bahr |
| 2014 | PrologCheck - Property-Based Testing in Prolog. | Cludio Amaral, Mrio Florido, Vtor Santos Costa |
| 2014 | Guided Type Debugging. | Sheng Chen, Martin Erwig |
| 2014 | Type-Based Amortized Resource Analysis with Integers and Arrays. | Jan Hoffmann, Zhong Shao |
| 2012 | Dependently-Typed Programming in GHC. | Stephanie Weirich |
| 2012 | Explicit Binds: Effortless Efficiency with and without Trees. | Tarmo Uustalu |
| 2012 | The Finite Domain Constraint Solver of SWI-Prolog. | Markus Triska |
| 2012 | Computing in Cantor's Paradise with λ ZFC. | Neil Toronto, Jay McCarthy |
| 2012 | Exact Flow Analysis by Higher-Order Model Checking. | Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi |
| 2012 | Automated Verification of Higher-Order Functional Programs. | Tachio Terauchi |
| 2012 | A Call-by-Name CPS Hierarchy. | Asami Tanaka, Yukiyoshi Kameyama |
| 2012 | Coinductive Constraint Logic Programming. | Neda Saeedloei, Gopal Gupta |
| 2012 | A Data Flow Language for Hybrid Query and Programming Languages. | Kristoffer Hgsbro Rose, Lionel Villard, Naoto Sato |
| 2012 | Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems. | Akimasa Morihata |
| 2012 | Extending the TOY System with the ECLiPSe Solver over Sets of Integers. | Sonia Estvez Martn, Jess Correas Fernndez, Fernando Senz-Prez |
| 2012 | Parallel Computation Skeletons with Premature Termination Property. | Oleg Lobachev |
| 2012 | Mutual Exclusion by Interpolation. | Jael Kriener, Andy King |
| 2012 | Iteratees. | Oleg Kiselyov |