IMDEA Software

IMDEA initiative

Home > Research > Publications > 2008
Filter

Articles in Refereed Journals (1)

  1. Abstraction-Carrying Code: A Model for Mobile Code Safety
    E. Albert, G. Puebla, M.V. Hermenegildo.
    New Generation Computing: computing paradigms and computational intelligence 26 (2). 2008.

Articles in Refereed Conferences (18)

  1. A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation
    P. Chico de Guzmán, M. Carro, M.V. Hermenegildo.
    International Conference on Logic Programming (ICLP). December 2008.
  2. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism
    A. Casas, M. Carro, M.V. Hermenegildo.
    International Conference on Logic Programming (ICLP). December 2008.
  3. Negative Ternary Set-Sharing
    E. Trias, J. Navas, E. S. Ackley, S. Forrest, M.V. Hermenegildo.
    International Conference on Logic Programming (ICLP). December 2008.
  4. Towards Execution Time Estimation in Abstract Machine-Based Languages
    E. Mera, P. Lopez-Garcia, M. Carro, M.V. Hermenegildo.
    International Conference on Principles and Practice of Declarative Programming (PPDP). July 2008.
  5. Comparing Tag Scheme Variations Using an Abstract Machine Generator
    J. Morales, M. Carro, M.V. Hermenegildo.
    International Conference on Principles and Practice of Declarative Programming (PPDP). July 2008.
  6. Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications
    J. Navas, M. Méndez-Lojo, M.V. Hermenegildo.
    NASA LFM'08. April 2008.
  7. Efficient Context-Sensitive Shape Analysis with Graph-Based Heap Models
    Mark Marron, Manuel Hermenegildo, Darko Stefanovic, Deepak Kapur.
    International Conference on Compiler Construction (CC). April 2008.
  8. Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-parallelism
    A. Casas, M. Carro, M.V. Hermenegildo.
    Practical Aspects of Declarative Languages (PADL). January 2008.
  9. An Improved Continuation Call-Based Implementation of Tabling
    P. Chico de Guzmán, M. Carro, M.V. Hermenegildo, Claudio Silva, Ricardo Rocha.
    Practical Aspects of Declarative Languages (PADL). January 2008.
  10. Automatic Coding Rule Conformance Checking Using Logic Programming
    G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund.
    Practical Aspects of Declarative Languages (PADL). January 2008.
  11. Precise Set Sharing Analysis for Java-style Programs
    M. Méndez-Lojo, M.V. Hermenegildo.
    International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI). January 2008.
  12. Certificate Translation in Abstract Interpretation
    Gilles Barthe, César Kunz.
    European Symposium on Programming (ESOP). 2008.
  13. Certified Reasoning in Memory Hierarchies
    Gilles Barthe, César Kunz, Jorge Luis Sacchini.
    ASIAN Symposium on Programming Languages and Systems (APLAS). 2008.
  14. Model-Driven Security in Practice: An Industrial Experience
    M. Clavel, V. Silva, C. Braga, M. Egea.
    European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA). 2008.
  15. Preservation of Proof Obligations from Java to the Java Virtual Machine
    Gilles Barthe, Benjamin Grégoire, Mariela Pavlova.
    International Conference on Automated Deduction (CADE). 2008.
  16. Tractable Enforcement of Declassification Policies
    Gilles Barthe, Salvador Cavadini, Tamara Rezk.
    IEEE Computer Security Foundations Symposium (CSF). 2008.
  17. Type-Based Termination with Sized Products
    Gilles Barthe, Benjamin Grégoire, Colin Riba.
    Annual Conference on Computer Science Logic (CSL). 2008.
  18. Preservation of Proof Pbligations for Hybrid Verification Methods
    Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese.
    International Conference on Software Engineering and Formal Methods (SEFM). 2008.

Publications in Refereed Workshops (12)

  1. A Program Transformation for Continuation Call-Based Tabled Execution
    P. Chico de Guzmán, M. Carro, M.V. Hermenegildo.
    Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop). December 2008.
  2. Sharing Analysis of Arrays, Collections, and Recursive Structures
    Mark Marron, Mario Méndez-Lojo, Manuel Hermenegildo, Darko Stefanovic, Deepak Kapur.
    Workshop on Program Analysis For Software Tools and Engineering (PASTE). November 2008.
  3. A Coding Rule Conformance Checker Integrated into GCC
    G. Marpons, J. Mariño, M. Carro, A. Herranz, L.Å. Fredlund, J.J. Moreno-Navarro, A. Polo.
    Electronic Notes in Theoretical Computer Science (ENTCS). October 2008.
  4. Modelling Mash-Up Resources
    Iván Pérez, Ángel Herranz, Susana Muñoz, Juan José Moreno-Navarro.
    Jornadas de Ingeniería del Software y Bases de Datos (JISBD). October 2008.
  5. Bialgebra Views: A Way for Polytypic Programming to Cohabit with Data Abstraction
    Pablo Nogueira, Juan José Moreno-Navarro.
    ACM SIGPLAN Workshop on Generic Programming (WGP) (WGP). September 2008.
  6. Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models
    Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel Hermenegildo.
    International Workshop on Languages and Compilers for Parallel Computing (LCPC). August 2008.
  7. Efficient Set Sharing using ZBDDs
    M. Méndez-Lojo, O. Lhoták, M.V. Hermenegildo.
    International Workshop on Languages and Compilers for Parallel Computing (LCPC). August 2008.
  8. Two Efficient Representations for Set-Sharing Analysis in Logic Programs
    E. Trias, J. Navas, E. S. Ackley, S. Forrest, M.V. Hermenegildo.
    17th International Workshop on Functional and (Constraint) Logic Programming, WFLP'08. July 2008.
  9. Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications
    J. Navas, M. Méndez-Lojo, M.V. Hermenegildo.
    The Sixth NASA Langley Formal Methods Workshop (LFM 08). April 2008.
  10. A Practical Type Analysis for Verification of Modular Prolog Programs
    P. Pietrzak, J. Correas, G. Puebla, M.V. Hermenegildo.
    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM). January 2008.
  11. Certificate Translation for Specification-Preserving Advices
    Gilles Barthe, César Kunz.
    Workshop on Foundations of Aspect-Oriented Languages (FOAL). 2008.
  12. ECEASST Building an Efficient Component for OCL Evaluation
    M. Clavel, M. Egea, M. A. García de Dios.
    Proceedings of the 8th International Workshop on OCL Concepts and Tools (OCL 2008) at MoDELS 2008. 2008.

Ph.D. Theses (4)

  1. Automatic Unrestricted Independent And-Parallelism in Declarative Multiparadigm Languages
    Amadeo Casas.
    PhD Thesis. The University of New Mexico (UNM). Supervisors: Manuel Hermenegildo, Manuel Carro. December 2008.
  2. Analysis and Inference of Resource Usage Information
    Jorge A. Navas Laserna.
    PhD Thesis. The University of New Mexico (UNM). Supervisors: Manuel Hermenegildo. December 2008.
  3. A Generic Approach to Bytecode Analysis
    Mario Méndez-Lojo.
    PhD Thesis. The University of New Mexico (UNM). Supervisors: Manuel Hermenegildo. December 2008.
  4. Una Semántica Formal Ejecutable para OCL con Aplicaciones al Análisis y a la Validación de Modelos
    Marina Egea González.
    PhD Thesis. Universidad Complutense de Madrid (UCM). Supervisors: Manuel Clavel. June 2008.

Proceedings (5)

  1. Functional and Logic Programming, 9th International Symposium, FLOPS'08
    J. Garrigue, M.V. Hermenegildo.
    April 2008.
  2. ACM SIGPLAN-Intel Workshop on Declarative Aspects of Multicore Programming, DAMP'08, Informal Proceedings
    M.V. Hermenegildo.
    January 2008.
  3. Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
    Jacques Garrigue, Manuel V. Hermenegildo.
    2008.
  4. Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings
    Gilles Barthe, Frank S. de Boer.
    2008.
  5. Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
    Gilles Barthe, Cédric Fournet.
    2008.

Technical Reports and Manuals (6)

  1. Bridge Program Transformation for the CCall Tabling Scheme
    P. Chico de Guzmán, M. Carro, M.V. Hermenegildo.
    Technical University of Madrid (UPM). September 2008.
  2. Efficient Representations for Set-Sharing Analysis
    E. Trias, J. Navas, E. S. Ackley, S. Forrest, M.V. Hermenegildo.
    University of New Mexico and Technical University of Madrid. September 2008.
  3. Inference of User-Definable Resource Bounds Usage for Logic Programs and its Applications
    J. Navas, E. Mera, P. Lopez-Garcia, M.V. Hermenegildo.
    Technical University of Madrid (UPM). July 2008.
  4. Fast Set Sharing using ZBDDs
    M. Méndez-Lojo, O. Lhoták, M.V. Hermenegildo.
    University of New Mexico. June 2008.
  5. Rigorous Methods for Mobile and Heterogeneous Software Systems – Second Year Report
    M.V. Hermenegildo, E. Albert, P. Arenas, F. Bueno, M. Carro, A. Casas, P. Chico de Guzmán, J. Correas, S. Genaim, J. Lipton, Pedro Lopez-Garcia, M. Méndez, E. Mera, J. Morales, J. Navas, R. Padilla, P. Pietrzak, G. Puebla, M. Zamalloa, D. Zanardini.
    Technical University of Madrid (UPM). April 2008.
  6. Customizable Resource Usage Analysis for Java Bytecode
    J. Navas, M. Méndez-Lojo, M.V. Hermenegildo.
    UNM. 2008.

Articles in Books and Other Collections (4)

  1. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy
    M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, J.F. Morales, G. Puebla.
    Festschrift for Ugo Montanari. June 2008.
  2. An Introduction to Certificate Translation
    Gilles Barthe, César Kunz.
    Foundations of Security Analysis and Design. 2008.
  3. A Tutorial on Type-Based Termination
    Gilles Barthe, Benjamin Grégoire, Colin Riba.
    EU LerNet ALFA Project. 2008.
  4. The Reaction Algebra: A Formal Language for Event Correlation
    César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna.
    Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. 2008.

Invited Papers and Tutorials (1)

  1. Certificate Translation
    Gilles Barthe.
    International Conference on Automated Deduction. 2008.