| 2016 | Scaling Bounded Model Checking by Transforming Programs with Arrays. | Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C |
| 2016 | CurryCheck: Checking Properties of Curry Programs. | Michael Hanus |
| 2016 | Coinductive Soundness of Corecursive Type Class Resolution. | Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond |
| 2016 | Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators. | Bin Fang, Mihaela Sighireanu |
| 2016 | Slicing Concurrent Constraint Programs. | Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi |
| 2016 | lpopt: A Rule Optimization Tool for Answer Set Programming. | Manuel Bichler, Michael Morak, Stefan Woltran |
| 2016 | A New Functional-Logic Compiler for Curry: Sprite. | Sergio Antoy, Andy Jost |
| 2016 | Verification of Time-Aware Business Processes Using Constrained Horn Clauses. | Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti |
| 2016 | MiniZinc with Strings. | Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack |
| 2016 | Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms. | Mara Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Jos Meseguer |
| 2016 | Symbolic Abstract Contract Synthesis in a Rewriting Framework. | Mara Alpuente, Daniel Pardo, Alicia Villanueva |
| 2016 | A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. | Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin |
| 2016 | A Reversible Semantics for Erlang. | Naoki Nishida, Adrin Palacios, Germn Vidal |
| 2015 | On Dual Programs in Co-Logic Programming. | Hirohisa Seki |
| 2015 | Correctness of Context-Moving Transformations for Term Rewriting Systems. | Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama |
| 2015 | Memory Policy Analysis for Semantics Specifications in Maude. | Adrin Riesco, Irina Mariuca Asavoae, Mihail Asavoae |
| 2015 | Concolic Execution in Functional Programming by Program Instrumentation. | Adrin Palacios, Germn Vidal |
| 2015 | A Generic Intermediate Representation for Verification Condition Generation. | Manuel Montenegro, Ricardo Pea, Jaime Snchez-Hernndez |
| 2015 | Proof Checking and Logic Programming. | Dale Miller |
| 2015 | Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. | Jos Meseguer, Stephen Skeirik |
| 2015 | Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. | Heiko Mantel, Markus Mller-Olm, Matthias Perner, Alexander Wenner |
| 2015 | CHR in Action. | Arwa Ismail, Nada Sharaf, Slim Abdennadher |
| 2015 | A Generalized Model for Algorithmic Debugging. | David Insa, Josep Silva |
| 2015 | A Type-Theoretic Approach to Resolution. | Peng Fu, Ekaterina Komendantskaya |
| 2015 | Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |