José F. Morales

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 41

Top Topics

Information Flows

Top Venues

Theory Pract. Log. Program.

ICLP (Technical Communications)

Publications

Temur Kutsia, Daniel Ventura, David Monniaux, José F. Morales
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis. CoRR (2024)
Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. CoRR (2024)
John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro López-García
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. LOPSTR (2023)
Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. CoRR (2023)
Daniel Jurjo, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
A Rule-Based Approach for Designing and Composing Abstract Domains. LOPSTR (2023)
Yuliya Lierler, José F. Morales
Introduction to the 38th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program. 22 (5) (2022)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
50 Years of Prolog and Beyond. CoRR (2022)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22 (6) (2022)
Yuliya Lierler, José F. Morales
Introduction to the 38th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 22 (4) (2022)
Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro
An s(CASP) In-Browser Playground based on Ciao Prolog. ICLP Workshops (2022)
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
VeriFly: On-the-fly Assertion Checking via Incrementality. CoRR (2021)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Incremental and Modular Context-sensitive Analysis. Theory Pract. Log. Program. 21 (2) (2021)
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
VeriFly: On-the-fly Assertion Checking via Incrementality. Theory Pract. Log. Program. 21 (6) (2021)
Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales
Regular Path Clauses and Their Application in Solving Loops. HCVS@ETAPS (2021)
Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez
Spectector: Principled Detection of Speculative Information Flows. IEEE Symposium on Security and Privacy (2020)
John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. VPT/HCVS@ETAPS (2020)
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
Testing Your (Static Analysis) Truths. LOPSTR (2020)
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
Computing Abstract Distances in Logic Programs. CoRR (2019)
Pepe Vila, Boris Köpf, José F. Morales
Theory and Practice of Finding Eviction Sets. IEEE Symposium on Security and Privacy (2019)
Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo
Computing Abstract Distances in Logic Programs. LOPSTR (2019)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Incremental Analysis of Logic Programs with Assertions and Open Predicates. LOPSTR (2019)
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. CoRR (2019)
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
A General Framework for Static Cost Analysis of Parallel Logic Programs. LOPSTR (2019)
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
An Integrated Approach to Assertion-Based Random Testing in Prolog. LOPSTR (2019)
Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez
SPECTECTOR: Principled Detection of Speculative Information Flows. CoRR (2018)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Exploiting Term Hiding to Reduce Run-Time Checking Overhead. PADL (2018)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
Towards Static Performance Guarantees for Programs with Run-Time Checks. ICLP (Technical Communications) (2018)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Multivariant Assertion-Based Guidance in Abstract Interpretation. LOPSTR (2018)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Towards Incremental and Modular Context-Sensitive Analysis. ICLP (Technical Communications) (2018)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. Sci. Comput. Program. 155 (2018)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Multivariant Assertion-based Guidance in Abstract Interpretation. CoRR (2018)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
An Approach to Static Performance Guarantees for Programs with Run-time Checks. CoRR (2018)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
Static Performance Guarantees for Programs with Runtime Checks. PPDP (2018)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. CoRR (2018)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Towards Run-time Checks Simplification via Term Hiding. ICLP (Technical Communications) (2017)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Term Hiding and its Impact on Run-time Check Simplification. CoRR (2017)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Reducing the overhead of assertion run-time checks via static analysis. PPDP (2016)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Semantic Code Browsing. CoRR (2016)
Bishoksan Kafle, John P. Gallagher, José F. Morales
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. CAV (1) (2016)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
Semantic code browsing. Theory Pract. Log. Program. 16 (5-6) (2016)
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory Pract. Log. Program. 16 (1) (2016)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Practical Run-time Checking via Unobtrusive Property Caching. CoRR (2015)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Practical run-time checking via unobtrusive property caching. Theory Pract. Log. Program. 15 (4-5) (2015)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Assertion-based Debugging of Higher-Order (C)LP Programs. PPDP (2014)
José F. Morales, Manuel V. Hermenegildo
Pre-indexed Terms for Prolog. LOPSTR (2014)
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
Description and Optimization of Abstract Machines in a Dialect of Prolog. CoRR (2014)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Towards Assertion-based Debugging of Higher-Order (C)LP Programs. CoRR (2014)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. CoRR (2014)
Zoé Drey, José F. Morales, Manuel V. Hermenegildo
Reversible Language Extensions and their Application in Debugging CoRR (2013)
Rémy Haemmerlé, José F. Morales
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013). CoRR (2013)
Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog CoRR (2013)
Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro
Reversible Language Extensions and Their Application in Debugging. PADL (2013)
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
Lightweight compilation of (C)LP to JavaScript CoRR (2012)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
An overview of Ciao and its design philosophy. Theory Pract. Log. Program. 12 (1-2) (2012)
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
Lightweight compilation of (C)LP to JavaScript. Theory Pract. Log. Program. 12 (4-5) (2012)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
An Overview of the Ciao System. RuleML Europe (2011)
José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé
Modular Extensions for Modular (Logic) Languages. LOPSTR (2011)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
An overview of Ciao and its design philosophy CoRR (2011)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models (2008)
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
Comparing tag scheme variations using an abstract machine generator. PPDP (2008)
Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo
High-level languages for small devices: a case study. CASES (2006)
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LOPSTR (2006)
José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. ICLP (2005)
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL (2004)