| 2026 | PADL | Multi-configurable Search Rules in Prolog and Application to Testing. | Daniela Ferreiro, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2025 | ICLP | Some Enhancements to the Prolog Playground and ALD Notebooks for the Modern Prolog Classroom. | Jos F. Morales, Daniela Ferreiro, Manuel V. Hermenegildo |
| 2025 | LOPSTR | Extending the FSyntax/Hiord Approach with Imperative Notation. | Paula Corral, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2024 | ICLP | Teaching Pure LP with Prolog and a Fair Search Rule. | Manuel V. Hermenegildo, Jos F. Morales, Pedro Lpez-Garca |
| 2024 | SAS | An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. | Louis Rustenholz, Pedro Lpez-Garca, Jos F. Morales, Manuel V. Hermenegildo |
| 2023 | LOPSTR | Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. | John P. Gallagher, Manuel V. Hermenegildo, Jos F. Morales, Pedro Lpez-Garca |
| 2023 | LOPSTR | A Rule-Based Approach for Designing and Composing Abstract Domains. | Daniel Jurjo-Rivas, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2022 | ICLP | An s(CASP) In-Browser Playground based on Ciao Prolog. | Guillermo Garca-Pradales, Jos F. Morales, Manuel V. Hermenegildo, Joaqun Arias, Manuel Carro |
| 2020 | LOPSTR | Testing Your (Static Analysis) Truths. | Ignacio Casso, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2020 | SP | Spectector: Principled Detection of Speculative Information Flows. | Marco Guarnieri, Boris Kpf, Jos F. Morales, Jan Reineke, Andrs Snchez |
| 2019 | LOPSTR | Computing Abstract Distances in Logic Programs. | Ignacio Casso, Jos F. Morales, Pedro Lpez-Garca, Roberto Giacobazzi, Manuel V. Hermenegildo |
| 2019 | LOPSTR | An Integrated Approach to Assertion-Based Random Testing in Prolog. | Ignacio Casso, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2019 | LOPSTR | Incremental Analysis of Logic Programs with Assertions and Open Predicates. | Isabel Garcia-Contreras, Jos F. Morales, Manuel V. Hermenegildo |
| 2019 | LOPSTR | A General Framework for Static Cost Analysis of Parallel Logic Programs. | Maximiliano Klemen, Pedro Lpez-Garca, John P. Gallagher, Jos F. Morales, Manuel V. Hermenegildo |
| 2019 | SP | Theory and Practice of Finding Eviction Sets. | Pepe Vila, Boris Kpf, Jos F. Morales |
| 2018 | ICLP | Towards Incremental and Modular Context-Sensitive Analysis. | Isabel Garcia-Contreras, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | ICLP | Towards Static Performance Guarantees for Programs with Run-Time Checks. | Maximiliano Klemen, Nataliia Stulova, Pedro Lpez-Garca, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | LOPSTR | Multivariant Assertion-Based Guidance in Abstract Interpretation. | Isabel Garcia-Contreras, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | PADL | Exploiting Term Hiding to Reduce Run-Time Checking Overhead. | Nataliia Stulova, Jos F. Morales, Manuel V. Hermenegildo |
| 2018 | PPDP | Static Performance Guarantees for Programs with Runtime Checks. | Maximiliano Klemen, Nataliia Stulova, Pedro Lpez-Garca, Jos F. Morales, Manuel V. Hermenegildo |
| 2017 | ICLP | Towards Run-time Checks Simplification via Term Hiding. | Nataliia Stulova, Jos F. Morales, Manuel V. Hermenegildo |
| 2016 | CAV | Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. | Bishoksan Kafle, John P. Gallagher, Jos F. Morales |
| 2016 | PPDP | Reducing the overhead of assertion run-time checks via static analysis. | Nataliia Stulova, Jos F. Morales, Manuel V. Hermenegildo |
| 2014 | LOPSTR | Pre-indexed Terms for Prolog. | Jos F. Morales, Manuel V. Hermenegildo |
| 2014 | PPDP | Assertion-based Debugging of Higher-Order (C)LP Programs. | Nataliia Stulova, Jos F. Morales, Manuel V. Hermenegildo |
| 2013 | PADL | Reversible Language Extensions and Their Application in Debugging. | Zo Drey, Jos F. Morales, Manuel V. Hermenegildo, Manuel Carro |
| 2011 | LOPSTR | Modular Extensions for Modular (Logic) Languages. | Jos F. Morales, Manuel V. Hermenegildo, Rmy Haemmerl |
| 2008 | PPDP | Comparing tag scheme variations using an abstract machine generator. | Jos F. Morales, Manuel Carro, Manuel V. Hermenegildo |
| 2006 | CASES | High-level languages for small devices: a case study. | Manuel Carro, Jos F. Morales, Henk L. Muller, Germn Puebla, Manuel V. Hermenegildo |
| 2006 | LOPSTR | Towards Description and Optimization of Abstract Machines in an Extension of Prolog. | Jos F. Morales, Manuel Carro, Manuel V. Hermenegildo |
| 2005 | ICLP | A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. | Jos F. Morales, Manuel Carro, Germn Puebla, Manuel V. Hermenegildo |
| 2004 | PADL | Improved Compilation of Prolog to C Using Moded Types and Determinism Information. | Jos F. Morales, Manuel Carro, Manuel V. Hermenegildo |