Publication Record
© Copyright
Copyrights are held variously by the authors or publishers.
In general, these papers are provided for direct use in scholarship and
education. If you are contemplating other uses, such as republication,
you must obtain appropriate permissions. If you wish to cite any of the
published work, please look up the formal publication, and use that version.
The preprints in this area are as accurate as we can make them, but they
are not authoritative copies of the published versions.
International Journals
-
E. Albert,
P. Arenas,
S. Genaim,
G. Puebla,
D. Zanardini.
Theoretical Computer Science, 413(1):142-159 (2012)
© Elsevier
-
E. Albert,
P. Arenas,
M. Hermenegildo,
G. Puebla.
Certificate Size Reduction in Abstraction-Carrying Code.
Theory and Practice of Logic Programming, To Appear 2011
© Cambridge University Press
-
E. Albert,
P. Arenas,
S. Genaim,
G. Puebla.
Closed-Form Upper Bounds in Static Cost Analysis.
Journal of Automated Reasoning, 46(2):161-203 (2011)
© Springer
-
Puri Arenas and Mario Rodríguez-Artalejo.
A General Framework for Lazy Functional Logic Programs with Algebraic Polymorphic Types.
Theroy and Practice of Logic Programming, 1(2):
185-245, 2001.
© Cambrigde University Press
-
Puri Arenas, Agostino Dovier
A Minimality Study for Set Unification.
Journal of Functional and Logic Programming 1997(7),
1997.
© The MIT Press
Conference Papers
-
E. Albert,
P. Arenas,S. Genaim<\a>
M. Gómez-Zamalloa,
Germán Puebla.
COSTABS: A Cost and Termination Analyzer for ABS.
ACM SIGPLAN 2012 Workshop on
Partial Evaluation and Program Manipulation (PEPM 2012)
©Springer ACM SIGPLAN, To appear, 2012
-
E. Albert,
P. Arenas,
M. Gómez-Zamalloa.
Symbolic Execution of Concurrent Objects in CLP.
14th International Symposium on
Practical Aspects of Declarative Languages (PADL 2012)
©Springer LNCS, To appear, 2012
-
E. Albert,
P. Arenas,
S. Genaim,
M. Gómez-Zamalloa,
Germán Puebla.
Cost Analysis of Concurrent OO Programs.
Programming Languages and Systems - 9th Asian Symposium (APLAS 2011)
©Springer LNCS 7078, pages 238-254, 2011
-
D. Alonso,
P. Arenas,
S. Genaim.
Handling Non-Linear Operations in the Value Analysis of COSTA.
ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2011)
© ENTCS Elsevier, pages 3-17, 2011
-
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 2011)
© ACM Press, pages 21-30, 2011
-
E. Albert,
P. Arenas,
S. Genaim,
G. Puebla, D. Ramírez.
From Object Fields to Local Variables: a Practical Approach to Field-Sensitive Analysis.
Static Analysis, 17th International Symposium
(SAS 2010)
Available: PDF
© Springer LNCS 6337, pages 100-116, 2010
-
E. Albert,
P. Arenas,
S. Genaim,
I. Herraiz,
G. Puebla.
Comparing Cost Functions in Resource Analysis
International Workshop on
Foundational and Practical Aspects of Resource Analysis
(FOPARA 2009)
Available: PDF
© Springer LNCS 6324, pages 1--17, 2009
-
E. Albert, D. Alonso,
P. Arenas,
S. Genaim,
G. Puebla.
Asymptotic Resource Usage Bounds
The Seventh Asian Symposium on Programming Languages and Systems
(APLAS 2009)
Available: PDF
© Springer LNCS 5904, pages 294-310, 2009
-
E. Albert,
P. Arenas,
S. Genaim,
G. Puebla.
Field-Sensitive Value Analysis by Field-Insensitive Analysis
16th International Symposium on Formal Methods
(FM 2009)
Available: PDF
© Springer LNCS 5850, pages 370-386, 2009
-
E. Albert,
P. Arenas,
S. Genaim,
G. Puebla and
D. Zanardini.
Resource Usage Analysis and its Application to Resource Certification
9th International School on Foundations of Security Analysis and Design (FOSAD 2009)
Available:PDF
© Springer LNCS 5705, pages 258-288, 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)
Available: PDF
© Springer LNCS 5382, pages 113-132, 2007
-
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)
Available: PDF
© Springer LNCS 5079, pages 221-237, 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)
Available: PDF
© Springer LNCS 2051,pages 2-18, 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)
Available: PDF
© ENTCS Elsevier
-
E. Albert,
P. Arenas, S. Genaim,
G. Puebla and
D. Zanardini.
Removing Useless Variables in Cost Analysis of Java Bytecode
23rd ACM Symposium on Applied Computing
(SAC'08)
Available: PDF
© ACM Press, pages 368-375, 2008
-
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 4421, pages 157--172, 2007
-
Elvira Albert, Puri Arenas,
Samir Gernaim,
Germán Puebla,
Damiano Zanardini.
Experiments in Cost Analysis of Java Bytecode.
ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation ( BYTECODE 2007)
Available: PDF
© ENTCS Elservier, Volume 190, Issue 3, pp. 67--83, 16 pages, 2007
-
Elvira Albert,
P. Arenas and
Germán Puebla.
An Incremental Approach to Abstraction-Carrying Code.
13th International Conference for
Logic Programming Artificial Intelligence and Reasoning
(LPAR 2006) )
Available: PDF
© Springer LNCS 4246, pages
377-391, 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, pages
103-178, 2006
-
Puri Arenas,
F. Javier López-Fraguas,
Mario Rodríguez Artalejo-Artalejo.
Functional Plus Logic Programming with Built-in and Symbolic Constraints.
Proc. of the International Symposium on Principles and Practice of Declarative Programming, (PPDP'99)
© Springer LNCS 1702, pages 152-169, 1999
-
Puri Arenas, F. Javier López-Fraguas,
and Mario Rodríguez-Artalejo.
Embedding Multiset Constraints into a Lazy Functional Logic Language.
Proc. of the International Symposium on Principles
of Declarative Programming (PLILP/ALP'98)
© Springer LNCS 1490, pages 429-444, 1998
-
Puri Arenas and Mario Rodríguez Artalejo.
A Lazy Narrowing Calculus for Functional Logic Programming
with Algebraic Polymorphic Types.
Proc. of the International Symposium on Logic
Programming
(ILPS'97)
© The MIT Press, pages 53-67, 1997
-
Puri Arenas and Mario Rodríguez Artalejo.
A Semantic Framework for Lazy Functional Logic Programming with
Algebraic Polymorphic Types.
Theory and Practice of Software Development. 7th International
Joint Conference CAAP/FASE
(TAPSOFT'97)
© Springer LNCS 1214,pages 453-464, 1997
-
Puri Arenas and Agostino Dovier.
Minimal Set Unification.
Programming Languages: Implementations, Logics and Programs,
7th International Symposium
(PLILP'95).
© Springer
LNCS 982, pages 397-414, 1995
-
Puri Arenas and Ana Gil-Luezas.
A Debugging Model for Lazy Narrowing
Programming Languages: Implementations, Logics and Programs,
7th International Symposium (PLILP'95).
© Springer
LNCS 982, pages 453-454, 1995
-
Puri Arenas, Ana Gil-Luezas and
F. Javier López-Fraguas.
Combining Lazy Narrowing with Disequality Constraints
Programming Language Implementation and Logic Programing,
6th International Symposium
(PLILP'94)
© Springer LNCS 844, pages 385-399, 1994
Workshops
-
Elvira Albert, Puri Arenas,
Samir Genaim,
Miguel Gómez-Zamalloa,
Germán Puebla Diana Ramirez,Guillermo Román,
Damiano Zanardini
Termination and Cost Analysis with COSTA and its User Interfaces.
IX Jornadas de Programacion y Lenguajes ( PROLE
2009),
© ENTCS Elsevier, Vol. 258,
pages 109-121, 2009
Available: PDF
-
Elvira Albert, Puri Arenas,
Samir Genaim,
Germán Puebla,
D.~Ram\'{\i}rez,
Damiano Zanardini.
The COSTA Cost and Termination Analyzer for Java
Bytecode and its Web Interface (Tool Demo).
In Anna Philippou, editor,
22nd European Conference on Object-Oriented Programming
(ECOOP 2008)
-
Elvira Albert, Puri Arenas,
Samir Genaim,
Germán Puebla.
Dealing with numeric fields in termination analysis of java-like languages.
In Marieke Huisman, editor, 10th Workshop on Formal Techniques for Java-like Programs (FTfJP 2008)
-
Elvira Albert, Puri Arenas,
Samir Genaim,
Germán Puebla.
Cost Relation Systems: a Language-Independent Target Language for Cost Analysis.
VIII Jornadas de Programacion y Lenguajes ( PROLE
2008),
© ENTCS Elsevier, Vol. 17615, 2008
Available: PDF
-
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
Available: PDF
-
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
Available: PDF
-
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
Available: PDF
-
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
Available: PDF
-
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
-
Mercedes Abengózar,Puri Arenas, Ana Gil-Luezas
and Eva Ullán.
A Demand Driven Strategy for Lazy Narrowing with Multisets.
I Jornadas sobre Programación y Lenguajes (PROLE'01), pages 1-16, 2001
-
Puri Arenas, Teresa Hortalá-González, F. Javier López-Fraguas
and Eva Ullán.
Real Constraints within a Functional Logic Language.
1996 Joint Conf. on Declarative Programming (APPIA-GULP-PRODE'96), pages 451-464, 1996
-
Puri Arenas, Teresa Hortalá-González, F. Javier López-Fraguas
and Eva Ullán.
Functional Logic Programming with Real Numbers.
Proc. of Multi-Paradigm Logic Programming Post-Conference Workshops of the Joint International
Conference and Symposium on Logic Programming (JICSLP'96), pages 45-58, 1996
-
Puri Arenas and Agostino Dovier.
Minimal Set Unification.
1995 Joint Conference on Declarative Programming (GULP-PRODE'95), pages 447-458, 1995
-
Puri Arenas and Ana Gil-Luezas.
A Debugging Model for Lazy Functional Logic Languages.
1994 Joint Conference on Declarative Programming (GULP-PRODE'94), pages 117-131, 1994
Invited talks
PhD Thesis (In Spanish)
-
Puri Arenas
Programación Declarativa con Restricciones
sobre Tipos de Datos Algebraicos: El lenguaje SETA.
Ph.D.
Thesis, Departamento de Sistemas Informáticos y Programación,
Universidad Complutense de Madrid, Diciembre 1998.