| Spectector: Principled detection of speculative information flows M Guarnieri, B Köpf, JF Morales, J Reineke, A Sánchez 2020 IEEE Symposium on Security and Privacy (SP), 1-19, 2020 | 235 | 2020 |
| An overview of Ciao and its design philosophy MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ... Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012 | 214 | 2012 |
| Theory and practice of finding eviction sets P Vila, B Köpf, JF Morales 2019 IEEE Symposium on Security and Privacy (SP), 39-54, 2019 | 193 | 2019 |
| Fifty years of Prolog and beyond P Körner, M Leuschel, J Barbosa, VS Costa, V Dahl, MV Hermenegildo, ... Theory and Practice of Logic Programming 22 (6), 776-858, 2022 | 53 | 2022 |
| Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata B Kafle, JP Gallagher, JF Morales Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 50 | 2016 |
| Improved compilation of Prolog to C using moded types and determinism information J Morales, M Carro, M Hermenegildo Practical Aspects of Declarative Languages: 6th International Symposium …, 2004 | 39 | 2004 |
| An overview of the ciao multiparadigm language and program development environment and its design philosophy MV Hermenegildo, F Bueno, M Carro, P López, JF Morales, G Puebla Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008 | 32 | 2008 |
| High-level languages for small devices: a case study M Carro, JF Morales, HL Muller, G Puebla, M Hermenegildo Proceedings of the 2006 international conference on Compilers, architecture …, 2006 | 32 | 2006 |
| Cost analysis of smart contracts via parametric resource analysis V Pérez, M Klemen, P López-García, JF Morales, M Hermenegildo Static Analysis: 27th International Symposium, SAS 2020, Virtual Event …, 2020 | 25 | 2020 |
| Reducing the overhead of assertion run-time checks via static analysis N Stulova, JF Morales, MV Hermenegildo Proceedings of the 18th International Symposium on Principles and Practice …, 2016 | 21 | 2016 |
| Incremental and Modular Context-sensitive Analysis I Garcia-Contreras, JF Morales, MV Hermenegildo Theory and Practice of Logic Programming 21 (2), 196-243, 2021 | 20* | 2021 |
| Semantic code browsing I Garcia-Contreras, JF Morales, MV Hermenegildo Theory and Practice of Logic Programming 16 (5-6), 721-737, 2016 | 19 | 2016 |
| A generator of efficient abstract machine implementations and its application to emulator minimization JF Morales, M Carro, G Puebla, MV Hermenegildo Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005 | 17 | 2005 |
| Lightweight compilation of (C) LP to JavaScript JF Morales, R Haemmerlé, M Carro, MV Hermenegildo Theory and Practice of Logic Programming 12 (4-5), 755-773, 2012 | 16 | 2012 |
| Comparing tag scheme variations using an abstract machine generator JF Morales, M Carro, M Hermenegildo Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008 | 16 | 2008 |
| Practical run-time checking via unobtrusive property caching N Stulova, JF Morales, MV Hermenegildo Theory and Practice of Logic Programming 15 (4-5), 726-741, 2015 | 15 | 2015 |
| Some thoughts on how to teach prolog MV Hermenegildo, JF Morales, P Lopez-Garcia Prolog: The Next 50 Years, 107-123, 2023 | 13 | 2023 |
| Towards description and optimization of abstract machines in an extension of prolog JF Morales, M Carro, M Hermenegildo Logic-Based Program Synthesis and Transformation: 16th International …, 2007 | 13 | 2007 |
| The Ciao System F Bueno, D Cabeza, M Carro, M Hermenegildo, P López, G Puebla Reference Manual (V1. 10), 1997 | 13 | 1997 |
| Assertion-based debugging of higher-order (C) LP programs N Stulova, JF Morales, MV Hermenegildo Proceedings of the 16th International Symposium on Principles and Practice …, 2014 | 12 | 2014 |
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
