Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gomez-Zamalloa,
German Puebla
Automatic Inference of Resource Consumption Bounds
18th International Conference on Logic for Programming, Artificial
Intelligence, and Reasoning
(LPAR-18)
Lecture Notes in Computer Science,
Springer, 2012
Elvira Albert,
Antonio Flores-Montoya,
Samir
Genaim
Analysis of May-Happen-in-Parallel for Concurrent Objects
IFIP International Conference on Formal Techniques for Distributed
Systems
joint international conference
(FMOODS & FORTE)
Lecture Notes in Computer Science,
Springer, 2012
Elvira Albert,
Richard
Bubel, Samir
Genaim,
Reiner
Hahnle,
and Guillermo
Roman-Diez
Verified Resource Guarantees for Heap
Manipulating Programs
15th International Conference on Fundamental Approaches to Software
Engineering
(FASE'12)
Lecture Notes in Computer Science,
Springer, 2012
Elvira Albert, Puri Arenas, Miguel Gomez-Zamalloa
Symbolic Execution of Concurrent Objects in CLP.
Practical Aspects of Declarative
Languages
(PADL'12)
Lecture Notes in Computer Science,
Springer, 2012
Elvira Albert,
Jesus Correas
German Puebla
and Guillermo Roman-Diez
Incremental Resource Usage Analysis
ACM SIGPLAN 2012 Workshop on
Partial Evaluation and Program Manipulation
(PEPM'12)
© ACM Press, 2012
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gomez-Zamalloa,
German Puebla
COSTABS: A Cost and Termination Analyzer for ABS
ACM SIGPLAN 2012 Workshop on
Partial Evaluation and Program Manipulation
(PEPM'12)
© ACM Press, 2012
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gomez-Zamalloa,
German Puebla
Cost Analysis of Concurrent OO Programs.
The 9th Asian Symposium on Programming
Languages and Systems
(APLAS'11)
© Lecture Notes in Computer Science, Springer, 2011
Elvira Albert, Miguel Gomez-Zamalloa, Jose Miguel Rojas Siles
Resource-driven CLP-based Test Case Generation
21st International Symposium on
Logic-Based Program Synthesis and Transformation
(LOPSTR'11)
� Lecture Notes in Computer Science,
Springer, 2012
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch
Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
Simulating Concurrent Behaviors with Worst-Case Cost Bounds
17th International Symposium on Formal
Methods
(FM'11)
© LNCS 6664, pp- 353-368
E. Albert, P. Arenas, S. Genaim, D. Zanardini.
Task-Level Analysis for
a Language with Async-Finish Parallelism.
ACM SIGPLAN/SIGBED
Conference on Languages, Compilers, Tools and Theory for Embedded
Systems (LCTES'11)
© ACM Press, 2011
Elvira Albert,
Richard
Bubel, Samir Genaim,
Reiner
Hahnle, German Puebla
and Guillermo Roman-Diez
Verified Resource Guarantees using COSTA and KeY
ACM SIGPLAN 2011 Workshop on
Partial Evaluation and Program Manipulation
(PEPM'11)
© ACM Press, 2011
E. Albert,
S. Genaim,
Abu Naser Masud
More Precise yet Widely Applicable Cost Analysis
Twelfth International Conference on
Verification, Model Checking, and Abstract Interpretation (VMCAI'11)
© Lecture Notes in Computer Science, Springer, 2011.
Elvira Albert, Israel Cabañas, Antonio Flores-Montoya, Miguel
Gómez-Zamalloa, Sergio Gutiérrez.
jPET: an Automatic Test-Case
Generator for Java
18th Working Conference on Reverse
Engineering
(WCRE 2011)
© IEEE Computer Society, 2011.
E. Albert M. Gomez-Zamalloa
, J. M. Rojas and
G. Puebla
Towards Compositional
CLP-based Test Data Generation for Imperative
Languages.
20th International Symposium on
Logic-Based Program Synthesis and Transformation
(LOPSTR'10)
Springer LNCS, 2011
E. Albert,
P. Arenas,
S. Genaim,
G. Puebla
and D. Ramirez
From Object Fields to Local Variables: a Practical Approach to
Field-Sensitive Analysis
.
17th International Static Analysis Symposium
(SAS'10)
© Springer LNCS, 2010.
M. Gomez-Zamalloa,
E. Albert and
G. Puebla
Test Case Generation for Object-Oriented
Imperative Languages in CLP
26th International Conference on Logic
Programming
(ICLP'10)
© Theory and Practice of Logic
Programming, Cambridge U. Press
E. Albert,
S. Genaim
and M. Gomez-Zamalloa.
Parametric Inference of Memory Requirements for
Garbage Collected Languages
The 2010 International Symposium on Memory Management
(ISMM'10)
© ACM Press, 2010
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)
© 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)
© 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.
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