| 2017 | CARET Analysis of Multithreaded Programs. | Huu-Vu Nguyen, Tayssir Touili |
| 2017 | Analysis of Rewriting-Based Systems as First-Order Theories. | Salvador Lucas |
| 2017 | Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. | Umer Liqat, Zorana Bankovic, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2017 | Deadlock Detection of Java Bytecode. | Cosimo Laneve, Abel Garcia |
| 2017 | Confluence and Convergence in Probabilistically Terminating Reduction Systems. | Maja H. Kirkeby, Henning Christiansen |
| 2017 | Erlang Code Evolution Control. | David Insa, Sergio Prez, Josep Silva, Salvador Tamarit |
| 2017 | Combining Static and Dynamic Contract Checking for Curry. | Michael Hanus |
| 2017 | Variant-Based Decidable Satisfiability in Initial Algebras with Predicates. | Ral Gutirrez, Jos Meseguer |
| 2017 | Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms. | Thom W. Frhwirth |
| 2017 | A Rule-Based Approach to Analyzing Database Schema Objects with Datalog. | Christiane Engels, Andreas Behrend, Stefan Brass |
| 2017 | On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. | Olivier Bodini, Paul Tarau |
| 2017 | A Certified Reference Validation Mechanism for the Permission Model of Android. | Gustavo Betarte, Juan Diego Campo, Felipe Gorostiaga, Carlos Luna |
| 2017 | Liveness-Driven Random Program Generation. | Gerg Barany |
| 2017 | Nominal C-Unification. | Mauricio Ayala-Rincn, Washington de Carvalho Segundo, Maribel Fernndez, Daniele Nantes-Sobrinho |
| 2017 | Predicate Pairing with Abstraction for Relational Verification. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2017 | Context Generation from Formal Specifications for C Analysis Tools. | Michele Alberti, Julien Signoles |
| 2017 | Generation of Initial Contexts for Effective Deadlock Detection. | Elvira Albert, Miguel Gmez-Zamalloa, Miguel Isabel |
| 2017 | Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures. | Hassan At-Kaci, Gabriella Pasi |
| 2016 | Automata Theory Approach to Predicate Intuitionistic Logic. | Maciej Zielenkiewicz, Aleksy Schubert |
| 2016 | A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. | Paul Tarau |
| 2016 | Nominal Unification of Higher Order Expressions with Recursive Let. | Manfred Schmidt-Schau, Temur Kutsia, Jordi Levy, Mateu Villaret |
| 2016 | Intuitionistic Logic Programming for SQL. | Fernando Senz-Prez |
| 2016 | Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. | Gins Moreno, Jaime Penabad, Jos A. Riaza, Germn Vidal |
| 2016 | On the Completeness of Selective Unification in Concolic Testing of Logic Programs. | Fred Mesnard, tienne Payet, Germn Vidal |
| 2016 | A Productivity Checker for Logic Programming. | Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt |