International Journals

  • NEW G. Puebla, Elvira Albert, M. Hermenegildo
    • Local Unfolding with Ancestor Stacks
    Theory and Practice of Logic Programming, Vol. XX, Num. X, pages XXX-XXX, 2010.
    © Cambridge University Press.

  • E. Albert, J. Gallagher, M. Gomez-Zamalloa, G. Puebla
    • Type-based Homeomorphic Embedding for Online Termination
    Information Processing Letters, Vol. 109, pages 879-886, 2009
    © Elsevier

  • M. Gomez-Zamalloa, E. Albert, G. Puebla
    • Decompilation of Java Bytecode to Prolog by Partial Evaluation.
    Journal of Information and Software Technology, Vol. 51, pages 1409-1427, October 2009
    © Elsevier

  • Elvira Albert, G. Puebla, M. Hermenegildo
    • Abstraction-Carrying Code: A Model for Mobile Code Safety
    New Generation Computing, Vol. 26, Num. 2, pages 171-204, 2008.
    © Ohmsha Ltd and Springer-Verlag.

  • Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver and Germán Vidal
    • Operational Semantics for Declarative Multi-Paradigm Languages
    Journal of Symbolic Computation, 40(1): 795-829, 2005.
    Available: Abstract / PDF (preliminary version) / Online article / BibTex entry
    © Elsevier
     
  • Elvira Albert, Michael Hanus, and Germán Vidal
    • A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs
    Information Processing Letters 85(1): 19-25, 2003.
    Available: Abstract / BibTeX entry / Elsevier link
    © Elsevier
     
  • Elvira Albert, Michael Hanus, and Germán Vidal
    • A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages
    Journal of Functional and Logic Programming, 2002(1):1-34, March 2002.
    Available: Abstract / Postscript / PDF / BibTeX-Entry
    © EAPLS
     
  • Elvira Albert and Germán Vidal
    • The Narrowing-Driven Approach to Functional Logic Program Specialization.
    New Generation Computing 20(1):3-26, 2002.
    Available: Abstract / BibTeX entry
    © Ohmsha Ltd and Springer-Verlag.
     
  • Elvira Albert
    • Partial Evaluation of Multi-Paradigm Declarative Languages
    AI Communications 14(4): 235 - 237, 2002.
    Available: Postscript / BibTeX-Entry
    © IOS Press

    International Conferences

  • NEW E. Albert, M. Gomez-Zamalloa and G. Puebla
    PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode
    ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10)
    © ACM Press, 2010

  • E. Albert, P. Arenas, S. Genaim and G. Puebla.
    Field-Sensitive Value Analysis by Field-Insensitive Analysis
    16th International Symposium on Formal Methods (FM'09)
    To appear
    © Springer LNCS, 2009

  • E. Albert, D. Alonso, P. Arenas, S. Genaim and G. Puebla.
    Asymptotic Resource Usage Bounds
    The Seventh Asian Symposium on Programming Languages and Systems (APLAS'09)
    To appear
    © Springer LNCS, 2009

  • E. Albert, P. Arenas, S. Genaim, G. Puebla and D. Zanardini.
    Usage Analysis and its Application to Resource Certification.
    Foundations of Security Analysis and Design V, LNCS, Num. 5705, pages 258-288, Springer-Verlag, August 2009. (FOSAD'09)
    PDF
    © LNCS, Num. 5705, pages 258-288, Springer-Verlag, August 2009

  • E. Albert, S. Genaim and M. Gomez-Zamalloa
    • Live Heap Space Analysis for Languages with Garbage Collection
    The 2009 International Symposium on Memory Management (ISMM'09)
    PDF
    © ACM Press

  • E. Albert, M. Gomez-Zamalloa and G. Puebla
    • Test-Data Generation of Bytecode by CLP Partial Evaluation
    The 18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08)
    PDF
    © Springer LNCS 5438, pages 4-23, 2009

  • E. Albert, P. Arenas, S. Genaim, G. Puebla and D. Zanardini.
    COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
    Software Technologies Concertation on Formal Methods for Components and Objects (FMCO 2007)
    © Springer LNCS

  • M. Gomez-Zamalloa, E. Albert and G. Puebla
    • Modular Decompilation of Low-Level Code by Partial Evaluation
    8th International Working Conference on Source Code Analysis and Manipulation (SCAM'08)
    © IEEE Computer Society

  • E. Albert, P. Arenas, S. Genaim and G. Puebla.
    Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
    The 15th International Static Analysis Symposium (SAS'08)
    © Springer LNCS, 2008

  • E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla and D. Zanardini.
    Termination Analysis of Java Bytecode
    10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08)
    © Springer LNCS, 2008

  • Elvira Albert, Puri Arenas, Samir Gernaim, Germán Puebla, Damiano Zanardini.
    • COSTA: A Cost and Termination Analyzer for Java Bytecode.
    ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation ( BYTECODE 2008),
    © ENTCS, Elsevier

  • E. Albert, P. Arenas, S. Genaim, G. Puebla and D. Zanardini
    • Removing Useless Variables in Cost Analysis of Java Bytecode
    ACM SAC - Software Verification Track (SAC'08)
    © ACM Press

  • E. Albert, M. Gomez-Zamalloa, J. Gallagher, and G. Puebla
    • Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation
    The 17th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'07)
    © Springer LNCS

  • E. Albert, P. Arenas, S. Genaim, G. Puebla and D. Zanardini
    • Cost Analysis of Java Bytecode
    16th European Symposium on Programming (ESOP'07)
    Available: PDF
    © Springer LNCS

  • E. Albert, S. Genaim and M. Gomez-Zamalloa
    • Heap Space Analysis of Java Bytecode
    The 2007 International Symposium on Memory Management (ISMM'07)
    © ACM Press

  • E. Albert, M. Gomez-Zamalloa, L. Hubert, G. Puebla
    • Verification of Java Bytecode using Analysis and Transformation of Logic Programs
    Ninth International Symposium on Practical Aspects of Declarative Languages (PADL'07)
    Available: PDF
    © Springer LNCS 4354, pp 140-154, 2007.

  • E. Albert, M. Gomez-Zamalloa, G. Puebla
    • Improving the Decompilation of Java Bytecode to Prolog
    ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'07).
    Available: PDF
    © ENTCS, Elsevier

  • E. Albert, P. Arenas, S. Genaim, G. Puebla and D. Zanardini
    • Experiments in Cost Analysis of Java Bytecode
    ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'07).
    Available: PDF
    © ENTCS, Elsevier

  • G. Puebla, E. Albert, M. Hermenegildo
    • Abstract Interpretation with Specialized Definitions
    13th International Static Analysis Symposium (SAS'06)
    Available: PDF
    © Springer LNCS 4134, pp 107-126, 2006.
     
  • Elvira Albert, P. Arenas, Germán Puebla. and M. Hermenegildo
    • Reduced Certificates for Abstraction-Carrying Code.
    22nd International Conference on Logic Programming ( ICLP 2006)
    Available: PDF
    © Springer LNCS 4079, pp 163-178, 2006.
     
  • Elvira Albert, P. Arenas and Germán Puebla.
    • An Incremental Approach to Abstraction-Carrying Code.
    13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2006)
    Available: PDF
    © Springer LNCS
     
  • Elvira Albert, Germán Puebla, John Gallagher
    • Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
    Proc. of International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05)
    Available: PDF
    © Springer LNCS 3901, pp 115-132, 2006.
     
  • John Gallagher, Germán Puebla and Elvira Albert.
    • Converting one Type-Based Domain to Another.
    Proc. of International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05)
    Available: PDF
    © Springer LNCS 3901, pp 147-162, 2006.
     
  • G. Puebla, E. Albert, M. Hermenegildo
    • A Generic Framework for the Analysis and Specialization of Logic Programs
    International Conference on Logic Programming (ICLP'05)
    Available: PDF
    © Springer LNCS 3668, pages 407-409, 2005
     
  • M. Hermenegildo, Elvira Albert, P. López-García, G. Puebla,
    • Abstraction Carrying Code and Resource-Awareness.
    Proc. of 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'05)
    Available: PDF
    © ACM Press
     
  • G. Puebla, Elvira Albert, M. Hermenegildo
    • Efficient Local Unfolding with Ancestor Stacks for Full Prolog
    Logic-Based Program Synthesis and Transformation (selected papers from LOPSTR 2004).
    Available: PDF
    © Springer LNCS 3573, pages 149-165, 2005
     
  • E. Albert, G. Puebla, M. Hermenegildo
    • Abstraction-Carrying Code
    11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'04)
    Available: Springer Link
    © Springer LNAI 3452, pages 380-397, 2005
     
  • M. Hermenegildo, E. Albert, P. López-García, G. Puebla
    • Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-Paradigm Programming System
    EURO-PAR 2004 Conference
    Available: PDF
    © Springer LNCS 3149, pages 21-37, 2004
     
  • E. Albert, G. Puebla, M. Hermenegildo
    • Poster Presentation: Abstract Interpretation-based Mobile Code Certification
    International Conference on Logic Programming (ICLP'04)
    Available: PDF
    © Springer LNCS 3132, pp. 446-447, 2004
     
  • E. Albert, G. Puebla, M. Hermenegildo
    • An Abstract Interpretation-based Approach to Mobile Code Safety
    3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV'04)
    Available: PDF
    © Elsevier ENTCS 132(1), pages 113-129
     
  • E. Albert, M. Hanus, F.  Huch, J. Oliver, and G. Vidal
    • An Operational Semantics for Declarative Multi-Paradigm Languages
    2nd International Workshop on Reduction Strategies in Rewriting and Programming (selected papers from WRS 2002)
    Available: ENTCS Link
    © Elsevier ENTCS vol n. 70, 2002
     
  • E. Albert, M. Hanus, F.  Huch, J. Oliver, and G. Vidal
    • Operational Semantics for Functional Logic Languages
    Workshop on Functional and (Constraint) Logic Programming (selected papers from WFLP 2002)
    Available: ENTCS Link
    © Elsevier ENTCS vol. 74, 2002
     
  • Elvira Albert and Germán Vidal
    • Symbolic Profiling for Multi-Paradigm Declarative Languages
    Logic-Based Program Synthesis and Transformation (selected papers from LOPSTR 2001).
    Available: Abstract / PostScript /PDF / BibTeX entry
    © Springer LNCS 2372, pp. 148-167, 2002
     
  • E. Albert, S. Antoy, G. Vidal.
    • Measuring the Effectiveness of Partial Evaluation in  Functional Logic Languages
    Logic Program Synthesis and Transformation. K.-K. Lau editor (Selected papers from LOPSTR00).
    Available: Abstract / DVI / PostScript / PDF / BibTeX entry
    © Springer LNCS 2042, pp. 103-124, 2001
     
  • E. Albert, M. Hanus, G. Vidal
    • A Practical Partial Evaluator for a Multi-Paradigm Declarative Language
    In Proc. of 5th International Symposium on Functional and Logic Programming, FLOPS'01
    Available: Abstract / DVI / PostScript / BibTeX entry
    © Springer LNCS 2024, pp. 326-342, 2001
     
  • E. Albert, C. Ferri, F. Steiner, G. Vidal
    • Improving Functional Logic Programs by Difference-Lists
    In Proc. of 6th Asian Computing Science Conference , ASIAN'00
    Available: Abstract / DVI / PostScript / BibTeX entry
    © Springer LNCS 1961, pages 238-255, 2000
     
  • E. Albert, M. Hanus, and G. Vidal
    • Using an Abstract Representation to Specialize Functional Logic Programs
    In Proc. of 7th Int'l Conf. on Logic for Programming and Automated Reasoning, LPAR'00
    Available: Abstract / DVI / Postscript / BibTeX entry
    © Springer LNAI 1955, pages 381-398, 2000
     
  • E. Albert, M. Alpuente, M. Hanus, G. Vidal
    • A Partial Evaluation Framework for Curry Programs
    In Proc. of 6th Int'l Conf. on Logic for Programming and Automated Reasoning, LPAR'99
    Available: Abstract / DVI / BibTeX entry
    © Springer LNAI 1705, pp. 376-395, 1999.
     
  • E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal
    • Improving Control in Functional Logic Program Specialization
    In Proc. of Static Analysis Symposium, SAS'98
    Available:Abstract / PostScript / BibTeX entry
    © Springer LNCS 1503, pp. 262-277, 1998.

    Workshops

  • M. Gomez-Zamalloa, E. Albert and G. Puebla
    • Towards Modular Interpretive Decompilation of Low-Level Code to Prolog
    Spanish Conference on Programming and Computer Languages (PROLE'08)

  • Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini.
    • A Generic Framework for the Cost Analysis of Java Bytecode.
    VII Jornadas de Programacion y Lenguajes ( PROLE 2007),
    © Thomson Paraninfo, 10 pages, 2007

  • E. Albert, J. Gallagher, M. Gomez-Zamalloa and G. Puebla
    • Typed-based Homeomorphic Embedding for Online Termination (extended abstract)
    The 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'07)

  • Elvira Albert, Puri Arenas, Michael Codish, Samir Gernaim, Germán Puebla, Damiano Zanardini.
    • Termination Analysis of Java Bytecode.
    9th International Workshop on Termination ( WST 2007),5 pages, 2007

  • Elvira Albert, Puri Arenas, Germán Puebla, Manuel Hermenegildo .
    • Generation of Reduced Certificates in Abstraction-Carrying Code.
    VI Jornadas de Programacion y Lenguajes ( PROLE 2006),10 pages, 2006

  • Elvira Albert, Puri Arenas, Germán Puebla.
    • Some Issues on Incremental Abstraction-Carrying Code.
    16th Workshop on Logic-Based Methods in Programming Environments (WLPE 2006),15 pages, 2006

  • Elvira Albert, Puri Arenas, Germán Puebla.
    • Incremental Certificates and Checkers for Abstraction-Carrying Code.
    Sixth International IFIP W.G 1.7 Workshop on Issues in the Theory of Security ( WITS 2006), pages 25-39, 2006
    Available: PDF

  • E. Albert, M. Gomez-Zamalloa, L. Hubert and G. Puebla
    • Towards Verification of Java Bytecode using Tools for Logic Programming
    International Workshop on Software Verification and Validation (SVV'06)

  • Germán Puebla, Elvira Albert and M. Hermenegildo.
    • Invited Talk: Abstract Interpretation-based Verification/Certification in the CiaoPP System.
    Proc. of MoVeLog'05 (Mobile Code Safety and Program Verification Using Computational Logic Tools)  
  • Germán Puebla, Elvira Albert and M. Hermenegildo.
    • A Generic Framework for the Analysis and Specialization of Logic Programs.
    Proc. of 15th Workshop on Logic-based Methods in Programming Environments (WLPE'05)
     
  • John Gallagher, Germán Puebla and Elvira Albert.
    • Converting one Type-Based Domain to Another.
    Proc. of International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05)
     
  • Elvira Albert, Germán Puebla and John Gallagher.
    • A Partial Deducer Assisted by Predefined Assertions and a Backwards Analyzer.
    Proc. 5th International Workshop on the Implementation of Logics ( IWIL'04)
     
  • E. Albert, G. Puebla, M. Hermenegildo
    • Experiments in Abstract Interpretation-based Code Certification for Pervasive Systems
    Proc. of 1st Special Session on Correctness and Reliability for Pervasive/Ubiquitous Computing (CRIPUC'04)
    © IEEE Computer Society
     
  • Elvira Albert, Germán Puebla and Manuel Hermenegildo.
    • Abstract Interpretation-based Code Certification for Pervasive Systems: Preliminary Experiments.
    Proc. Workshop on SOftware ANalysis and Development for PervAsive Systems ( SONDA'04)
     
  • Germán Puebla and Elvira Albert.
    • Efficient Leftmost Unfolding with Ancestor Stacks.
    Proc. International Symposium on Logic-based Program Synthesis and Transformation of ( LOPSTR'04)
     
  • Elvira Albert, Germán Puebla, and Manuel Hermenegildo
    • An Abstract Interpretation-based Approach to Mobile Code Safety
    3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV'04)
     
  • Elvira Albert, Josep Silva, and Germán Vidal
    • Time Equations for Lazy Functional (Logic) Languages
    2003 Joint Conf. on Declarative Programming (AGP'03)
     
  • E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal
    • A Deterministic Operational Semantics for Functional Logic Programs
    2002 Joint Conference on Declarative Programming (AGP 2002)
     
  • Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, and Germán Vidal
    • Operational Semantics for Lazy Functional Logic Programs
      2nd International Workshop on Reduction Strategies in Rewriting and Programming (WRS'02)
     
  • E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal
    • Operational Semantics for Declarative Multi-Paradigm Languages
    11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002)
     
  • Elvira Albert and Germán Vidal
    • Source-Level Abstract Profiling for Multi-Paradigm Declarative Languages.
    Proc. of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001
  • E. Albert, S. Antoy, G. Vidal.
    • Measuring the Effectiveness of Partial Evaluation
    In Proc. of 10th Int'l Workshop on Logic-based Program Synthesis and Transformation, LOPSTR'00
    ISSN 1361-6161, pages 72-79, 2000.
     
  • E. Albert, M. Hanus, G. Vidal
    • Realistic Program Specialization in a Multi-Paradigm Language
    In Proc. of 9th Int'l Workshop on Functional and Logic Programming, pages  104-119, WFLP'2000
     
  • E. Albert, S. Antoy, G. Vidal
    • A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
    In Proc. of 9th Int'l Workshop on Functional and Logic Programming, pages 184-194, WFLP'2000
     
  • E. Albert, C. Ferri, F. Steiner, G. Vidal
    • List-Processing Optimizations in a Multi-Paradigm Declarative Language
    In Proc. of 9th Int'l Workshop on Functional and Logic Programming, pages 120-127, WFLP'2000
     
  • E. Albert, M. Alpuente, M. Hanus, G. Vidal
    • Partial Evaluation of Residuating Functional Logic Programs
    In Proc. of the 8th International Workshop on Functional and Logic Programming, WFLP'99, pages 257-268, 1999.
  • E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal
    • Polygenetic Partial Evaluation of Lazy Functional Logic Programs
    In Proc. of Appia-Gulp-ProDe, AGP'98, pages 151-164, 1998.
         
    Books
    • Elvira Albert
      • Partial Evaluation of Multi-Paradigm Declarative Languages: Foundations, Control, Algorithms and Efficiency. Ph.D. Thesis, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, April 2001. (In English). ISBN 84-699-5064-9
      Available: Abstract / DVI / PostScript / BibTeX entry
      © UPV-Press