Publications — Jose F. Morales

Publications in reverse chronological order:

Articles in Refereed Conferences

I. Casso, J. F. Morales, P. LopezGarcia, R. Giacobazzi, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Proceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), LNCS, SpringerVerlag, 2020.
I. Casso, J. F. Morales, P. LopezGarcia, M. V. Hermenegildo. An Integrated Approach to AssertionBased Random Testing in Prolog. Proceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), LNCS, SpringerVerlag, 2020.
M. Klemen, P. LopezGarcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs. Proceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), LNCS, SpringerVerlag, 2020.
I. GarciaContreras, J.F. Morales, M. V. Hermenegildo. Incremental Analysis of Logic Programs with Assertions and Open Predicates. Proceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), LNCS, SpringerVerlag, 2020.
I. GarciaContreras, J.F. Morales, M. V. Hermenegildo. Multivariant Assertionbased Guidance in Abstract Interpretation. Proceedings of the 28th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR18), LNCS, Num. 11408, pages 184--201, SpringerVerlag, January 2019.
M. Klemen, N. Stulova, P. LopezGarcia, J. F. Morales, M. V. Hermenegildo. Static Performance Guarantees for Programs with Runtime Checks. 20th Intl. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP18), 12 pages, ACM Press, September 2018.
N. Stulova, J. F. Morales, M. V. Hermenegildo. Exploiting Term Hiding to Reduce Runtime Checking Overhead. 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018), LNCS, Num. 10702, pages 99--115, SpringerVerlag, January 2018.
M. Klemen, N. Stulova, P. LopezGarcia, J. F. Morales, M. V. Hermenegildo. Static Performance Guarantees for Programs with Runtime Checks. PPDP, 12 pages, ACM Press, 2018.
N. Stulova, J. F. Morales, M. V. Hermenegildo. Reducing the Overhead of Assertion Runtime Checks via Static Analysis. 18th Intl. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP16), pages 90--103, ACM Press, September 2016.
B. Kafle, J. P. Gallagher, J. F. Morales. RAHFT: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 1723, 2016, Proceedings, Part I, pages 261--268, 2016.
J.F. Morales, M. V. Hermenegildo. PreIndexed Terms for Prolog. Proceedings of the 24th International Symposium on LogicBased Program Synthesis and Transformation (LOPSTR14), LNCS, Vol. 8981, pages 317--331, Springer, 2015.
N. Stulova, J. F. Morales, M. V. Hermenegildo. Assertionbased Debugging of HigherOrder (C)LP Programs. 16th Intl. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP14), pages 225--235, ACM Press, September 2014.
Z. Drey, J. F. Morales, M. V. Hermenegildo, M. Carro. Reversible Language Extensions and their Application in Debugging. Practical Aspects of Declarative Languages (PADL13), LNCS, Vol. 7752, Springer, January 2013.
J. F. Morales, M. V. Hermenegildo, R. Haemmerle. Modular Extensions for Modular (Logic) Languages. Proceedings of the 21th International Symposium on LogicBased Program Synthesis and Transformation (LOPSTR11), LNCS, Vol. 7225, pages 139--154, Springer, July 2011.
J. Morales, M. Carro, M. V. Hermenegildo. Comparing Tag Scheme Variations Using an Abstract Machine Generator. 10th Intl. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP08), pages 32--43, ACM Press, July 2008.
J.F. Morales, M. Carro, M. V. Hermenegildo. Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LogicBased Program Synthesis and Transformation (LOPSTR06), LNCS, Num. 4407, pages 77--93, July 2007.
M. Carro, J. Morales, H.L. Muller, G. Puebla, M. V. Hermenegildo. HighLevel Languages for Small Devices: A Case Study. Compilers, Architecture, and Synthesis for Embedded Systems, pages 271--281, ACM Press / Sheridan, October 2006.
J. Morales, M. Carro, G. Puebla, M. Hermenegildo. A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization. International Conference on Logic Programming, LNCS, Num. 3668, pages 21--36, Springer Verlag, October 2005.
J. Morales, M. Carro, M. V. Hermenegildo. Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages, Lecture Notes in Computer Science, Vol. 3057, pages 86--103, SpringerVerlag, June 2004.

Articles in Refereed Journals

N. Stulova, J. F. Morales, M. V. Hermenegildo. Some Tradeoffs in Reducing the Overhead of Assertion Runtime Checks via Static Analysis. Science of Computer Programming, Vol. 155, pages 3--26, Elsevier NorthHolland, April 2018. Selected and Extended papers from the 2016 International Symposium on Principles and Practice of Declarative Programming.
I. GarciaContreras, J. F. Morales, M. V. Hermenegildo. Semantic Code Browsing. Theory and Practice of Logic Programming, 32nd Intl. Conference on Logic Programming (ICLP16) Special Issue, Vol. 16, Num. 5-6, pages 721--737, Cambridge U. Press, September 2016.
J.F. Morales, M. Carro, M. V. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory and Practice of Logic Programming, Vol. 16, Num. 1, pages 1--58, Cambridge University Press, January 2016.
N. Stulova, J. F. Morales, M. V. Hermenegildo. Practical Runtime Checking via Unobtrusive Property Caching. Theory and Practice of Logic Programming, 31st Intl. Conference on Logic Programming (ICLP15) Special Issue, Vol. 15, Num. 04-05, pages 726--741, Cambridge U. Press, September 2015. http://arxiv.org/abs/1507.05986.
M. V. Hermenegildo, F. Bueno, M. Carro, P. LopezGarcia, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Theory and Practice of Logic Programming, Vol. 12, Num. 1--2, pages 219--252, Cambridge University Press, January 2012. http://arxiv.org/abs/1102.5497.
J. F. Morales, R. Haemmerle, M. Carro, M. V. Hermenegildo. Lightweight compilation of (C)LP to JavaScript. Theory and Practice of Logic Programming, 28th Intl. Conference on Logic Programming (ICLP12) Special Issue, Vol. 12, Num. 4-5, pages 755--773, Cambridge U. Press, 2012.

Invited Papers and Tutorials

M. V. Hermenegildo, I. GarciaContreras, J. Morales, P. LopezGarcia, M. Klemen, I. Casso. Multivariant Assertionbased Guidance of Topdown Horn Clausebased Analysis in CiaoPP. Workshop on Declarative Program Analysis (DPA 2019), 1 pages, July 2019. (Abstract of invited talk). Associated to FCRC 2019.
M. V. Hermenegildo, M. Carro, P. LopezGarcia, J.F. Morales, J. Arias, I. GarciaContreras, M. Klemen, N. Stulova. 25 Years of Ciao (abstract of invited tutorial). Preproceedings of the 28th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR18), September 2018.
M. V. Hermenegildo, P. LopezGarcia, J. Morales, I. GarciaContreras, M. Klemen, N. Stulova. Horn Clausebased Program Analysis and Verification with CiaoPP. 1st International Workshop on Declarative Program Analysis (DPA 2018), 1 pages, July 2018. (Abstract of invited talk). Associated to ECOOP/ISSTA 2018.
M. V. Hermenegildo, F. Bueno, M. Carro, P. LopezGarcia, R. Haemmerle, E. Mera, J. F. Morales, G. Puebla. An Overview of the Ciao System. Proc. of RuleMLEurope 2011, LNCS, Vol. 6826, pages 2--3, SpringerVerlag, July 2011. (abstract of invited talk).

Books and Monographs

R. Haemmerle, J.F. Morales. Proceedings of the 23rd Workshop on Logicbased methods in Programming Environments (WLPE 2013). CoRR abs/1308.2055, 2013.
J.F. Morales. Advanced Compilation Techniques for Logic Programming. Ph.D.\ Thesis, Universidad Politecnica de Madrid (UPM), Facultad Informatica UPM, 28660Boadilla del Monte, MadridSpain, July 2010.
M. Carro, Jose F. Morales. Proceedings of CICLOPS 2004. Num. CLIP11/2004.0, 75 pages, Fundacion General de la Universidad Politecnica de Madrid, Technical University of Madrid, September 2004.

Articles in Books and Other Collections

M. V. Hermenegildo, F. Bueno, M. Carro, P. LopezGarcia, J.F. Morales, G. Puebla. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. Festschrift for Ugo Montanari, LNCS, Vol. 5065, pages 209--237, SpringerVerlag, June 2008.

Publications in Workshops

I. Casso, J. F. Morales, P. LopezGarcia, R. Giacobazzi, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Preproceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), November 2019.
I. Casso, J. F. Morales, P. LopezGarcia, M. V. Hermenegildo. An Integrated Approach to AssertionBased Random Testing in Prolog. Preproceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), November 2019.
M. Klemen, P. LopezGarcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs. Preproceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), November 2019.
I. GarciaContreras, J.F. Morales, M. V. Hermenegildo. Experiments in ContextSensitive Incremental and Modular Static Analysis in CiaoPP. 10th Workshop on Tools for Automatic Program Analysis (TAPAS19), October 2019. (Extended Abstract).
I. GarciaContreras, J.F. Morales, M. V. Hermenegildo. Incremental Analysis of Logic Programs with Assertions and Open Predicates. Preproceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), October 2019.
M. Klemen, P. LopezGarcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 238--240, Open Publishing Association (OPA), September 2019. (Extended Abstract).
I. Casso, J. F. Morales, P. LopezGarcia, M. V. Hermenegildo. Towards Computing Abstract Distances in Logic Programs. Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 65--66, Open Publishing Association (OPA), September 2019. (Extended Abstract).
I. GarciaContreras, J.F. Morales, and M. V. Hermenegildo. Multivariant Assertionbased Guidance in Abstract Interpretation. Preproceedings of the 28th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR18), September 2018.
I. GarciaContreras, J. F. Morales, M. V. Hermenegildo. Towards Incremental and Modular Contextsensitive Analysis. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OpenAccess Series in Informatics (OASIcs), 2 pages, Dagstuhl Press, July 2018. (Extended Abstract).
M. Klemen, N. Stulova, P. LopezGarcia, J. F. Morales, M. V. Hermenegildo. Towards Static Performance Guarantees for Programs with Runtime Checks. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OpenAccess Series in Informatics (OASIcs), 2 pages, July 2018. (Extended Abstract).
N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Runtime Checks Simplification via Term Hiding. Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), OpenAccess Series in Informatics (OASIcs), Vol. 58, pages 91--93, Schloss DagstuhlLeibnizZentrum fuer Informatik, 2017. (Extended Abstract).
J.F. Morales, M. V. Hermenegildo. PreIndexed Terms for Prolog. Preproceedings of the 24th International Symposium on LogicBased Program Synthesis and Transformation (LOPSTR14), 15 pages, September 2014.
J.F. Morales, M. V. Hermenegildo. Towards PreIndexed Terms. 14th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPSWLPE 2014), 14 pages, RWTH Aachen University, July 2014. http://sunsite.informatik.rwthaachen.de/Publications/AIB/2014.
N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Assertionbased Debugging of HigherOrder (C)LP Programs (Extended Abstract). Theory and Practice of Logic Programming, 30th Intl. Conference on Logic Programming (ICLP14) Special Issue, Online Supplement, Vol. 14, Num. 4-5, pages 209--210, Cambridge U. Press, July 2014.
Z. Drey, J.F. Morales, M. V. Hermenegildo. Reversible Language Extensions and their Application in Debugging. 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), 15 pages, September 2012.
E.J. GallegoArias, R. Haemmerle, M. V. Hermenegildo, J.F. Morales . The Ciao CLP(FD) Library: A Modular CLP Extension for Prolog. 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), 15 pages, September 2012.
J. F. Morales, R. Haemmerle, M. Carro, M. V. Hermenegildo. Lightweight compilation of (C)LP to JavaScript. XII Jornadas sobre Programacion y Lenguajes (PROLE), Universidad de Almeria, 2012.
M. V. Hermenegildo, F. Bueno, M. Carro, P. LopezGarcia, E. Mera, J.F. Morales, G. Puebla. The Ciao Approach to the Dynamic vs. Static Language Dilemma. Proceedings for the International Workshop on Scripts to Programs (STOP11), 4 pages, ACM, 2011.
D. Ivanovic, J.F. Morales, M. Carro, M. V. Hermenegildo. Towards Structured State Threading in Prolog. CICLOPS 2009, 15 pages, July 2009.
J. Morales, M. Carro, M. V. Hermenegildo. Improving the Compilation of Prolog to C Using Type and Determinism Information: Preliminary Results. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), pages 89--102, December 2003.
J. Morales, M. Carro. Improving the Compilation of Prolog to C Using Type Information: Preliminary Results. Proceedings of the CBD 2002 / ITCLS 2002 CoLogNet Joint Workshop, pages 167--180, Facultad de Informatica, September 2002.

Technical Reports and Manuals

M. Klemen, P. LopezGarcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. Num. CLIP-1/2019.0, 19 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, July 2019.
I. Casso, J. F. Morales, P. LopezGarcia, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Num. CLIP-2/2019.0, 21 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, July 2019.
I. GarciaContreras, J. F. Morales, M. V. Hermenegildo. An Approach to Incremental and Modular Contextsensitive Analysis. Num. 1804.01839 (v4), 28 pages, arXiv, July 2019.
I. GarciaContreras, J. F. Morales, M. V. Hermenegildo. An Approach to Incremental and Modular Contextsensitive Analysis. Num. CLIP-2/2018.0, 28 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, April 2018.
M. Klemen, N. Stulova, P. LopezGarcia, J. F. Morales, M. V. Hermenegildo. An Approach to Static Performance Guarantees for Programs with Runtime Checks. Num. CLIP-1/2018.0, 15 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, April 2018.
F. Bueno, M. Carro, M. V. Hermenegildo, P. LopezGarcia, and J.F. Morales (Eds.). The Ciao System. Ref. Manual (V1.16). July 2017. Available at texttthttp://ciaolang.org.
N. Stulova, J. F. Morales, M. V. Hermenegildo. Term Hiding and its Impact on Runtime Check Simplification. Num. CLIP-1/2017.0, 27 pages, The CLIP Lab, May 2017. CoRR abs/1705.06662 (v2) [cs.PL].
N. Stulova, J. F. Morales, M. V. Hermenegildo. An Approach to Assertionbased Debugging of HigherOrder (C)LP Programs. Num. CLIP-1/2014.0, 25 pages, The CLIP Lab, January 2014. CoRR abs/1404.4246 [cs.PL].
F. Bueno, M. Carro, M. V. Hermenegildo, R. Haemmerle, P. LopezGarcia, E. Mera, and J.F. Morales, G. Puebla(Eds.). The Ciao System. Ref. Manual (V1.14). July 2011. Available at texttthttp://ciaolang.org.
M. V. Hermenegildo, J.F. Morales. The LPdoc Documentation Generator. Ref. Manual (V3.0). July 2011. Available at texttthttp://ciaolang.org.
J.F. Morales, M. V. Hermenegildo, R. Haemmerle. Towards Modular Extensions for a Modular Language. Num. CLIP2/2011.0, 15 pages, Technical University of Madrid (UPM), January 2011.
M. V. Hermenegildo, F. Bueno, M. Carro, P. LopezGarcia, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Num. CLIP2/2010.0, Technical University of Madrid (UPM), March 2010. Under consideration for publication in emphTheory and Practice of Logic Programming (TPLP).
J.F. Morales, M. Carro, M. V. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Num. CLIP4/2009.0, Technical University of Madrid (UPM), October 2009.
M. Hermenegildo, E. Albert, P. Arenas, F. Bueno, M. Carro, A. Casas, P. Chico de Guzman, J. Correas, S. Genaim, J. Lipton, Pedro LopezGarcia, M. Mendez, E. Mera, J. Morales, J. Navas, R. Padilla, P. Pietrzak, G. Puebla, M. Zamalloa, D. Zanardini. Rigorous Methods for Mobile and Heterogeneous Software Systems Second Year Report. Num. CLIP3/2008.0, Technical University of Madrid (UPM), April 2008.
M. Hermenegildo, E. Albert, P. Arenas, A. Beascoa, F. Bueno, D. Cabeza, M. Carro, J. Correas, A. Garcia Pa noso, J. Lipton, P. LopezGarcia, E. Mera, J. Morales, C. Ochoa, G. Puebla. Rigorous Methods for Mobile and Heterogeneous Software Systems First Year Report. Num. CLIP4/2007.0, Technical University of Madrid (UPM), March 2007.
J. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in an Extension of Prolog. Num. CLIP8/2006.0, 43 pages, Technical University of Madrid (UPM), December 2006.
M. Carro, J. Morales, H.L. Muller, G. Puebla, M. V. Hermenegildo. Optimizing Prolog for Small Devices: A Case Study. Num. CLIP4/2006.0, 16 pages, Technical University of Madrid, April 2006. Under consideration for publication.
J. Morales, M. Carro, G. Puebla, M. Hermenegildo. A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization. Num. CLIP3/2005.0, 21 pages, Technical University of Madrid (UPM), May 2005.
J. M. Gomez, M. Carro, J. F. Morales. The External Interface. Num. CLIP6/2004.0, 4 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D12 of the AMOS Project.
J. F. Morales, E. Mera, M. Carro, J. Correas. The Interface Internals. Num. CLIP7/2004.0, 30 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D14 of the AMOS Project.
J. Correas, E. Mera, J. F. Morales. Final Matching Engine. Num. CLIP8/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D15 of the AMOS Project.
M. Carro, J. M. Gomez, J. Correas, J. F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M. V. Hermenegildo. Web site. Num. CLIP9/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D17 of the AMOS Project.
J. Morales, M. Carro, M. V. Hermenegildo. Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. Num. CLIP5/2004.0, Technical University of Madrid, April 2004.
M. Carro, J. M. Gomez, J. Correas, J. F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M. V. Hermenegildo. AMOS Users Manual. Num. CLIP4/2004.0, 44 pages, Technical University of Madrid, March 2004.