| 2014 | Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems. | Julian Kranz, Axel Simon |
| 2014 | On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial). | Jerzy Karczmarczuk |
| 2014 | Experimental Evaluation of a State-Of-The-Art Grounder. | Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens |
| 2014 | Proofs in continuation-passing style: normalization of Gdel's System T extended with sums and delimited control operators: Distilled Tutorial. | Danko Ilik |
| 2014 | On Combining Backward and Forward Chaining in Constraint Logic Programming. | Rmy Haemmerl |
| 2014 | Real-Time Matching of Antescofo Temporal Patterns. | Jean-Louis Giavitto, Jos Echeveste |
| 2014 | Unveiling and Veiling Information in Programs. | Roberto Giacobazzi |
| 2014 | Bidirectional Elaboration of Dependently Typed Programs. | Francisco Ferreira, Brigitte Pientka |
| 2014 | Continuations, Processes, and Sharing. | Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca |
| 2014 | Lazier Imperative Programming. | Rmi Douence, Nicolas Tabareau |
| 2014 | Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. | Flvio Cruz, Ricardo Rocha, Seth Copen Goldstein |
| 2014 | Database Queries that Explain their Work. | James Cheney, Amal Ahmed, Umut A. Acar |
| 2014 | On the Preciseness of Subtyping in Session Types. | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2014 | A Type Theoretic Specification of Partial Evaluation. | Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang |
| 2014 | Decision Procedures for Proving Inductive Theorems without Induction. | Takahito Aoto, Sorin Stratulat |
| 2013 | Unifying the Knuth-Bendix, recursive path and polynomial orders. | Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe |
| 2013 | Reasoning about higher-order relational specifications. | Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur |
| 2013 | Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures. | Gordon Stewart, Anindya Banerjee, Aleksandar Nanevski |
| 2013 | A logical correspondence between natural semantics and abstract machines. | Robert J. Simmons, Ian Zerny |
| 2013 | Theory propagation and rational-trees. | Edward Robbins, Jacob M. Howe, Andy King |
| 2013 | Efficient computation of program equivalence for confluent concurrent constraint programming. | Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
| 2013 | Extensible sparse functional arrays with circuit parallelism. | John T. O'Donnell |
| 2013 | Shape analysis in a functional language by using regular languages. | Manuel Montenegro, Ricardo Pea, Clara Segura |
| 2013 | Engineering definitional interpreters. | Jan Midtgaard, Norman Ramsey, Bradford Larsen |
| 2013 | Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem. | Kazutaka Matsuda, Meng Wang |