| 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 | SAS | Cost Analysis of Smart Contracts Via Parametric Resource Analysis. | Victor Perez-Carrasco, Maximiliano Klemen, Pedro Lpez-Garca, Jos Francisco Morales, Manuel V. Hermenegildo |
| 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 |
| 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 |
| 2017 | LOPSTR | Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. | Umer Liqat, Zorana Bankovic, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2016 | FLOPS | A Transformational Approach to Parametric Accumulated-Cost Static Profiling. | Rmy Haemmerl, Pedro Lpez-Garca, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo |
| 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 | LOPSTR | Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. | Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro Lpez-Garca, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder |
| 2013 | PADL | Reversible Language Extensions and Their Application in Debugging. | Zo Drey, Jos F. Morales, Manuel V. Hermenegildo, Manuel Carro |
| 2013 | PADL | Supporting Pruning in Tabled LP. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2012 | FLOPS | A General Implementation Framework for Tabled CLP. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey |
| 2012 | ICSE | Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2012 | ICSE | Analyzing service-oriented systems using their data and structure. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2012 | ICSOC | A Constraint-Based Approach to Quality Assurance in Service Choreographies. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2012 | PADL | A Segment-Swapping Approach for Executing Trapped Computations. | Pablo Chico de Guzmn, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2011 | ICSOC | Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2011 | LOPSTR | Modular Extensions for Modular (Logic) Languages. | Jos F. Morales, Manuel V. Hermenegildo, Rmy Haemmerl |
| 2011 | PADL | Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. | Edison Mera, Teresa Trigo, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2011 | PPDP | CLP projection for constraint handling rules. | Rmy Haemmerl, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2010 | ICLP | Titlepage, Table of Contents, Conference Organization. | Manuel V. Hermenegildo, Torsten Schaub |
| 2010 | ICLP | Introduction to the Technical Communications of the 26th International Conference on Logic Programming. | Manuel V. Hermenegildo, Torsten Schaub |
| 2010 | ICSOC | Automatic Fragment Identification in Workflows Based on Sharing Analysis. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2010 | ICWS | Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2009 | ICLP | A Tabling Implementation Based on Variables with Multiple Bindings. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2009 | ICLP | Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. | Edison Mera, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2009 | ICSOC | An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2009 | LOPSTR | Program Parallelization Using Synchronized Pipelining. | Leonardo Scandolo, Csar Kunz, Manuel V. Hermenegildo |
| 2009 | PADL | Towards a Complete Scheme for Tabled Execution Based on Program Transformation. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | CC | Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. | Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic |
| 2008 | ICLP | A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | ICLP | A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | ICLP | Negative Ternary Set-Sharing. | Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo |
| 2008 | PADL | Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | PADL | An Improved Continuation Call-Based Implementation of Tabling. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo, Cludio Silva, Ricardo Rocha |
| 2008 | PEPM | A practical type analysis for verification of modular prolog programs. | Pawel Pietrzak, Jess Correas, Germn Puebla, Manuel V. Hermenegildo |
| 2008 | PPDP | Towards execution time estimation in abstract machine-based languages. | Edison Mera, Pedro Lpez-Garca, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | PPDP | Comparing tag scheme variations using an abstract machine generator. | Jos F. Morales, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | VMCAI | Precise Set Sharing Analysis for Java-Style Programs. | Mario Mndez-Lojo, Manuel V. Hermenegildo |
| 2007 | ICLP | User-Definable Resource Bounds Analysis for Logic Programs. | Jorge A. Navas, Edison Mera, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2007 | ICLP | Automatic Binding-Related Error Diagnosis in Logic Programs. | Pawel Pietrzak, Manuel V. Hermenegildo |
| 2007 | ISSAC | Towards a high-level implementation of flexible parallelism primitives for symbolic languages. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | LOPSTR | Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | LOPSTR | A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. | Mario Mndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo |
| 2007 | PADL | Combining Static Analysis and Profiling for Estimating Execution Times. | Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | POPL | Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. | 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 | FLOPS | A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. | Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo |
| 2006 | ICLP | Reduced Certificates for Abstraction-Carrying Code. | Elvira Albert, Puri Arenas-Snchez, Germn Puebla, Manuel V. Hermenegildo |
| 2006 | ICLP | Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. | Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, 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 |
| 2006 | LPAR | Context-Sensitive Multivariant Assertion Checking in Modular Programs. | Pawel Pietrzak, Jess Correas, Germn Puebla, Manuel V. Hermenegildo |
| 2006 | PADL | Efficient Top-Down Set-Sharing Analysis Using Cliques. | Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo |
| 2006 | SAS | Abstract Interpretation with Specialized Definitions. | Germn Puebla, Elvira Albert, 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 |
| 2005 | ICLP | A Generic Framework for the Analysis and Specialization of Logic Programs. | Germn Puebla, Elvira Albert, Manuel V. Hermenegildo |
| 2005 | LOPSTR | Experiments in Context-Sensitive Analysis of Modular Programs. | Jess Correas, Germn Puebla, Manuel V. Hermenegildo, Francisco Bueno |
| 2005 | LOPSTR | Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. | Claudio Ochoa, Germn Puebla, Manuel V. Hermenegildo |
| 2005 | PPDP | Abstraction carrying code and resource-awareness. | Manuel V. Hermenegildo, Elvira Albert, Pedro Lpez-Garca, Germn Puebla |
| 2004 | EuroPar | Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. | Manuel V. Hermenegildo, Elvira Albert, Pedro Lpez-Garca, Germn Puebla |
| 2004 | FLOPS | Multivariant Non-failure Analysis via Standard Abstract Interpretation. | Francisco Bueno, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2004 | ICLP | Abstract Interpretation-Based Mobile Code Certification. | Elvira Albert, Germn Puebla, Manuel V. Hermenegildo |
| 2004 | LOPSTR | Determinacy Analysis for Logic Programs Using Mode and Type Information. | Pedro Lpez-Garca, Francisco Bueno, Manuel V. Hermenegildo |
| 2004 | LOPSTR | Efficient Local Unfolding with Ancestor Stacks for Full Prolog. | Germn Puebla, Elvira Albert, Manuel V. Hermenegildo |
| 2004 | LPAR | Abstraction-Carrying Code. | Elvira Albert, Germn Puebla, Manuel V. Hermenegildo |
| 2004 | PADL | A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). | Jess Correas, Jos M. Gmez, Manuel Carro, Daniel Cabeza, 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 |
| 2004 | SMC | Experiments in abstract interpretation-based code certification for pervasive systems. | Elvira Albert, Germn Puebla, Manuel V. Hermenegildo |
| 2003 | ICLP | A Generic Persistence Model for (C)LP Systems. | Jess Correas, Jos M. Gmez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo |
| 2003 | PEPM | Abstract specialization and its applications. | Germn Puebla, Manuel V. Hermenegildo |
| 2003 | SAS | Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). | Manuel V. Hermenegildo, Germn Puebla, Francisco Bueno, Pedro Lpez-Garca |
| 2002 | ICALP | Program Debugging and Validation Using Semantic Approximations and Partial Specifications. | Manuel V. Hermenegildo, Germn Puebla, Francisco Bueno, Pedro Lpez-Garca |
| 2001 | LPAR | Efficient Negation Using Abstract Interpretation. | Susana Muoz-Hernndez, Juan Jos Moreno-Navarro, Manuel V. Hermenegildo |
| 2000 | LOPSTR | A model for inter-module analysis and optimizing compilation. | Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germn Puebla, Peter J. Stuckey |
| 2000 | LOPSTR | A Model for Inter-module Analysis and Optimizing Compilation. | Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germn Puebla, Peter J. Stuckey |
| 1999 | ICLP | Concurrency in Prolog Using Threads and a Shared Database. | Manuel Carro, Manuel V. Hermenegildo |
| 1999 | ICLP | Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. | Manuel V. Hermenegildo, Francisco Bueno, Germn Puebla, Pedro Lpez-Garca |
| 1999 | LOPSTR | Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. | Germn Puebla, Francisco Bueno, Manuel V. Hermenegildo |
| 1999 | PEPM | An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. | Germn Puebla, Manuel V. Hermenegildo, John P. Gallagher |
| 1998 | CP | A Framework for Assertion-Based Debugging in Constraint Logic Programming. | Germn Puebla, Francisco Bueno, Manuel V. Hermenegildo |
| 1997 | EuroPar | Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. | Manuel V. Hermenegildo |
| 1997 | ICLP | Non-Failure Analysis for Logic Programs. | Saumya K. Debray, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 1996 | ESOP | Global Analysis of Standard Prolog Programs. | Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germn Puebla |
| 1996 | EuroPar | IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. | M. J. Fernndez, Manuel Carro, Manuel V. Hermenegildo |
| 1996 | EuroPar | Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. | Kish Shen, Manuel V. Hermenegildo |
| 1996 | LOPSTR | Abstract Specialization and Its Application to Program Parallelization. | Germn Puebla, Manuel V. Hermenegildo |
| 1996 | SAS | Optimized Algorithms for Incremental Analysis of Logic Programs. | Germn Puebla, Manuel V. Hermenegildo |
| 1995 | EuroPar | Relating Data-Parallelism and (And-) Parallelism in Logic Programs. | Manuel V. Hermenegildo, Manuel Carro |
| 1995 | ICLP | Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. | Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro |
| 1995 | ICLP | Efficient Term Size Computation for Granularity Control. | Manuel V. Hermenegildo, Pedro Lpez-Garca |
| 1995 | ICLP | Incremental Analysis of Logic Programs. | Manuel V. Hermenegildo, Germn Puebla, Kim Marriott, Peter J. Stuckey |
| 1995 | PEPM | Implementation of Multiple Specialization in Logic Programs. | Germn Puebla, Manuel V. Hermenegildo |
| 1994 | ICLP | IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. | M. J. Fernndez, Manuel Carro, Manuel V. Hermenegildo |
| 1994 | ICLP | ACE: And/Or-parallel Copying-based Execution of Logic Programs. | Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vtor Santos Costa |
| 1994 | ICLP | A Note on Data-Parallelism and (And-Parallel) Prolog. | Manuel V. Hermenegildo, Manuel Carro |
| 1994 | ICLP | &ACE: the And-parallel Component of ACE (A Progress Report on ACE). | Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo |
| 1994 | LPAR | Goal Dependent versus Goal Independent Analysis of Logic Programs. | Michael Codish, Maria J. Garca de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo |
| 1994 | POPL | Analyzing Logic Programs with Dynamic Scheduling. | Kim Marriott, Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1994 | SAS | Estimating the Computational Cost of Logic Programs. | Saumya K. Debray, Pedro Lpez-Garca, Manuel V. Hermenegildo, Nai-Wei Lin |
| 1994 | SAS | Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information. | Daniel Cabeza Gras, Manuel V. Hermenegildo |
| 1993 | ICLP | Independence in Constraint Logic Programs. | Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott |
| 1993 | ICLP | Some Paradigms for Visualizing Parallel Execution of Logic Programs. | Manuel Carro, Luis Manuel Gmez Henrquez, Manuel V. Hermenegildo |
| 1993 | ICLP | Contextual Nets and Constraint Logic Programming. | Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1993 | ICLP | Divided We Stand: Parallel Distributed Stack Memory Management. | Kish Shen, Manuel V. Hermenegildo |
| 1993 | LOPSTR | Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. | M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo |
| 1993 | PEPM | Improving Abstract Interpretations by Combining Domains. | Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1992 | ICLP | Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. | Luis Manuel Gmez Henrquez, Manuel Carro, Manuel V. Hermenegildo |
| 1992 | ICLP | Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. | Gopal Gupta, Manuel V. Hermenegildo, Vtor Santos Costa |
| 1992 | SAS | A Practical Application of Sharing and Freeness Inference. | Maria J. Garca de la Banda, Manuel V. Hermenegildo |
| 1991 | ICLP | ACE: And/Or-parallel Copying-based Execution of Logic Programs. | Gopal Gupta, Manuel V. Hermenegildo |
| 1991 | ICLP | Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation. | Kalyan Muthukumar, Manuel V. Hermenegildo |
| 1990 | ICLP | &-Prolog and its Performance: Exploiting Independent And-Parallelism. | Manuel V. Hermenegildo, K. J. Greene |
| 1990 | ICLP | Non-Strict Independent And-Parallelism. | Manuel V. Hermenegildo, Francesca Rossi |
| 1990 | ICLP | The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. | Kalyan Muthukumar, Manuel V. Hermenegildo |
| 1990 | PLDI | Task Granularity Analysis in Logic Programs. | Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo |
| 1989 | ICLP | Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism. | Kalyan Muthukumar, Manuel V. Hermenegildo |
| 1988 | ICLP | On the Practicality of Global Flow Analysis of Logic Programs. | Richard A. Warren, Manuel V. Hermenegildo, Saumya K. Debray |
| 1988 | ICPP | Memory Performance of AND-parallel Prolog on Shared-Memory Architectures. | Manuel V. Hermenegildo, Evan Tick |
| 1987 | ICLP | Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. | Manuel V. Hermenegildo |
| 1986 | ICLP | An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. | Manuel V. Hermenegildo |
| 1986 | ICLP | Efficient Management of Backtracking in AND-Parallelism. | Manuel V. Hermenegildo, R. I. Nasr |
| 1985 | ICPP | B-Log: A Branch and Bound Methodology for the Parallel Execution of Logic Programs. | G. Jack Lipovski, Manuel V. Hermenegildo |