| 2026 | RC | A Reversible Semantics for Janus. | Ivan Lanese, Germn Vidal |
| 2025 | FORTE | Choreographies for Program Understanding. | Gabriele Genovese, Ivan Lanese, Cinzia Di Giusto, Emilio Tuosto, Germn Vidal |
| 2024 | APLAS | Explaining Explanations in Probabilistic Logic Programming. | Germn Vidal |
| 2024 | SAC | An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages. | Germn Vidal |
| 2023 | RC | Towards a Taxonomy for Reversible Computation Approaches. | Robert Glck, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germn Vidal |
| 2022 | FLOPS | Explanations as Programs in Probabilistic Logic Programming. | Germn Vidal |
| 2022 | FORTE | Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. | Germn Vidal |
| 2021 | LOPSTR | Prefix-Based Tracing in Message-Passing Concurrency. | Juan Jos Gonzlez-Abril, Germn Vidal |
| 2021 | PADL | Causal-Consistent Reversible Debugging: Improving CauDEr. | Juan Jos Gonzlez-Abril, Germn Vidal |
| 2020 | FLOPS | An SMT-Based Concolic Testing Tool for Logic Programs. | Sophie Fortz, Fred Mesnard, tienne Payet, Gilles Perrouin, Wim Vanhoof, Germn Vidal |
| 2020 | RC | Reversible Computations in Logic Programming. | Germn Vidal |
| 2019 | FORTE | Causal-Consistent Replay Debugging for Message Passing Programs. | Ivan Lanese, Adrin Palacios, Germn Vidal |
| 2019 | RC | Characterizing Compatible View Updates in Syntactic Bidirectionalization. | Naoki Nishida, Germn Vidal |
| 2018 | FLOPS | CauDEr: A Causal-Consistent Reversible Debugger for Erlang. | Ivan Lanese, Naoki Nishida, Adrin Palacios, Germn Vidal |
| 2018 | SMC | Specialization of Distributed Actors by Partial Evaluation. | Germn Vidal |
| 2017 | PPDP | Selective unification in constraint logic programming. | Fred Mesnard, tienne Payet, Germn Vidal |
| 2016 | LOPSTR | A Reversible Semantics for Erlang. | Naoki Nishida, Adrin Palacios, Germn Vidal |
| 2016 | LOPSTR | On the Completeness of Selective Unification in Concolic Testing of Logic Programs. | Fred Mesnard, tienne Payet, Germn Vidal |
| 2016 | LOPSTR | Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs. | Gins Moreno, Jaime Penabad, Jos A. Riaza, Germn Vidal |
| 2015 | CADE | Reducing Relative Termination to Dependency Pair Problems. | Jos Iborra, Naoki Nishida, Germn Vidal, Akihisa Yamada |
| 2015 | LOPSTR | Concolic Execution in Functional Programming by Program Instrumentation. | Adrin Palacios, Germn Vidal |
| 2014 | LOPSTR | Concolic Execution and Test Case Generation in Prolog. | Germn Vidal |
| 2013 | LOPSTR | A Finite Representation of the Narrowing Space. | Naoki Nishida, Germn Vidal |
| 2013 | LOPSTR | Towards Erlang Verification by Term Rewriting. | Germn Vidal |
| 2012 | LOPSTR | Computing More Specific Versions of Conditional Rewriting Systems. | Naoki Nishida, Germn Vidal |
| 2012 | SCAM | Closed Symbolic Execution for Verifying Program Termination. | Germn Vidal |
| 2010 | LOPSTR | A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs. | Germn Vidal |
| 2009 | LOPSTR | Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. | Jos Iborra, Naoki Nishida, Germn Vidal |
| 2009 | LOPSTR | Towards Scalable Partial Evaluation of Declarative Programs. | Germn Vidal |
| 2008 | FLOPS | Termination of Narrowing in Left-Linear Constructor Systems. | Germn Vidal |
| 2008 | ICLP | Trace Analysis for Predicting the Effectiveness of Partial Evaluation. | Germn Vidal |
| 2008 | LOPSTR | A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. | Gustavo Arroyo, J. Guadalupe Ramos, Salvador Tamarit, Germn Vidal |
| 2008 | LOPSTR | Fast Offline Partial Evaluation of Large Logic Programs. | Michael Leuschel, Germn Vidal |
| 2007 | ICFP | Lazy call-by-value evaluation. | Bernd Brael, Michael Hanus, Sebastian Fischer, Frank Huch, Germn Vidal |
| 2007 | LOPSTR | Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. | Sebastian Fischer, Josep Silva, Salvador Tamarit, Germn Vidal |
| 2007 | PEPM | Quasi-terminating logic programs for ensuring the termination of partial evaluation. | Germn Vidal |
| 2006 | JELIA | A Slicing Tool for Lazy Functional Logic Programs. | Claudio Ochoa, Josep Silva, Germn Vidal |
| 2006 | LOPSTR | Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. | Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germn Vidal |
| 2005 | ESOP | Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. | Michael Leuschel, Germn Vidal |
| 2005 | ICFP | Fast narrowing-driven partial evaluation for inductively sequential programs. | J. Guadalupe Ramos, Josep Silva, Germn Vidal |
| 2004 | LOPSTR | Run-Time Profiling of Functional Logic Programs. | Bernd Brassel, Michael Hanus, Frank Huch, Josep Silva, Germn Vidal |
| 2004 | PEPM | Dynamic slicing based on redex trails. | Claudio Ochoa, Josep Silva, Germn Vidal |
| 2004 | PPDP | A semantics for tracing declarative multi-paradigm programs. | Bernd Brassel, Michael Hanus, Frank Huch, Germn Vidal |
| 2004 | SOFSEM | An Embedded Language Approach to Router Specification in Curry. | J. Guadalupe Ramos, Josep Silva, Germn Vidal |
| 2002 | LOPSTR | Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. | Germn Vidal |
| 2002 | PEPM | Cost-augmented narrowing-driven specialization. | Germn Vidal |
| 2001 | FLOPS | A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. | Elvira Albert, Michael Hanus, Germn Vidal |
| 2001 | LOPSTR | Symbolic Profiling for Multi-paradigm Declarative Languages. | Elvira Albert, Germn Vidal |
| 2000 | LOPSTR | Measuring the Effectiveness of Partial Evaluation. | Elvira Albert, Sergio Antoy, Germn Vidal |
| 2000 | LOPSTR | Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. | Elvira Albert, Sergio Antoy, Germn Vidal |
| 2000 | LPAR | Using an Abstract Representation to Specialize Functional Logic Programs. | Elvira Albert, Michael Hanus, Germn Vidal |
| 2000 | SOFSEM | An Automatic Composition Algorithm for Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Gins Moreno, Germn Vidal |
| 1999 | FLOPS | A Transformation System for Lazy Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Gins Moreno, Germn Vidal |
| 1999 | ICFP | Specialization of Inductively Sequential Functional Logic Programs. | Mara Alpuente, Michael Hanus, Salvador Lucas, Germn Vidal |
| 1999 | LPAR | A Partial Evaluation Framework for Curry Programs. | Elvira Albert, Mara Alpuente, Michael Hanus, Germn Vidal |
| 1998 | SAS | Improving Control in Functional Logic Program Specialization. | Elvira Albert, Mara Alpuente, Moreno Falaschi, Pascual Julin Iranzo, Germn Vidal |
| 1997 | PEPM | Specialization of Lazy Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Pascual Julin Iranzo, Germn Vidal |
| 1996 | ESOP | Narrowing-Driven Partial Evaluation of Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Germn Vidal |