| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini |
Cost analysis of object-oriented bytecode programs.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
Symbolic Execution of Concurrent Objects in CLP. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla |
Automatic Inference of Resource Consumption Bounds. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez |
Incremental resource usage analysis. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla |
COSTABS: a cost and termination analyzer for ABS. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez |
Verified Resource Guarantees for Heap Manipulating Programs. |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Closed-Form Upper Bounds in Static Cost Analysis. |
J. Autom. Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient local unfolding with ancestor stacks. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez |
Verified resource guarantees using COSTA and KeY. |
PEPM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez |
jPET: An Automatic Test-Case Generator for Java. |
WCRE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla |
Cost Analysis of Concurrent OO Programs. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Samir Genaim, Abu Naser Masud |
More Precise Yet Widely Applicable Cost Analysis. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini |
Task-level analysis for a language with async/finish parallelism. |
LCTES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla |
Verification of Java Bytecode using Analysis and Transformation of Logic Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo |
Certificate size reduction in Abstraction-Carrying Code |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Test Case Generation for Object-Oriented Imperative Languages in CLP |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Test case generation for object-oriented imperative languages in CLP. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
PET: a partial evaluation-based test case generation tool for Java bytecode. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation |
| 1 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa |
Parametric inference of memory requirements for garbage collected languages. |
ISMM |
2010 |
DBLP DOI BibTeX RDF |
live heap space analysis, peak memory consumption, garbage collection, java bytecode, low-level languages |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes |
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla |
Compositional CLP-Based Test Data Generation for Imperative Languages. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |
Type-based homeomorphic embedding for online termination. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini |
Termination and Cost Analysis with COSTA and its User Interfaces. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Samir Genaim |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
On the Generation of Test Data for Prolog by Partial Evaluation |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient Local Unfolding with Ancestor Stacks |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Decompilation of Java bytecode to Prolog by partial evaluation. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa |
Live heap space analysis for languages with garbage collection. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
live heap space analysis, peak memory consumption, java bytecode, low-level languages |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Resource Usage Analysis and Its Application to Resource Certification. |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Field-Sensitive Value Analysis by Field-Insensitive Analysis. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Diego Alonso, Puri Arenas, Samir Genaim, German Puebla |
Asymptotic Resource Usage Bounds. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla |
Comparing Cost Functions in Resource Analysis. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code: a Model for Mobile Code Safety. |
New Generation Comput. |
2008 |
DBLP DOI BibTeX RDF |
Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification |
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Modular Decompilation of Low-Level Code by Partial Evaluation. |
SCAM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini |
Termination Analysis of Java Bytecode. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad |
Formal Techniques for Java-Like Programs. |
ECOOP Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Removing useless variables in cost analysis of Java bytecode. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode |
| 1 | Sergio Antoy, Elvira Albert (eds.) |
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain |
PPDP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
Test Data Generation of Bytecode by CLP Partial Evaluation. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Experiments in Cost Analysis of Java Bytecode. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Germán Puebla |
Some Issues on Incremental Abstraction-Carrying Code |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla |
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa |
Heap space analysis for java bytecode. |
ISMM |
2007 |
DBLP DOI BibTeX RDF |
heap consumption, heap space analysis, Java bytecode, low-level languages |
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini |
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Cost Analysis of Java Bytecode. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Germán Puebla |
An Incremental Approach to Abstraction-Carrying Code. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo |
Reduced Certificates for Abstraction-Carrying Code. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Abstract Interpretation with Specialized Definitions. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal |
Operational semantics for declarative multi-paradigm languages. |
J. Symb. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
An Abstract Interpretation-based Approach to Mobile Code Safety. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
A Generic Framework for the Analysis and Specialization of Logic Programs |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Manuel V. Hermenegildo, Elvira Albert |
A Generic Framework for the Analysis and Specialization of Logic Programs. |
WLPE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
A Generic Framework for the Analysis and Specialization of Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla |
Abstraction carrying code and resource-awareness. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness |
| 1 | Elvira Albert, Germán Puebla, John P. Gallagher |
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Gallagher, Germán Puebla, Elvira Albert |
Converting One Type-Based Abstract Domain to Another. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Experiments in abstract interpretation-based code certification for pervasive systems. |
SMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla |
Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. |
Euro-Par |
2004 |
DBLP DOI BibTeX RDF |
granularity control, mobile code certification, GRIDs, resource awareness, distributed execution |
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstraction-Carrying Code. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstract Interpretation-Based Mobile Code Certification. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
Efficient Local Unfolding with Ancestor Stacks for Full Prolog. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
A residualizing semantics for the partial evaluation of functional logic programs. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Josep Silva, Germán Vidal |
Time Equations for Lazy Functional (Logic) Languages. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. |
Journal of Functional and Logic Programming |
2002 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal |
An Operational Semantics for Declarative Multi-Paradigm Languages. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal |
Operational Semantics for Functional Logic Languages. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert |
Partial evaluation of multi-paradigm declarative languages. |
AI Commun. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Germán Vidal |
The Narrowing-driven Approach to Functional Logic Program Specialization. |
New Generation Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Germán Vidal |
Symbolic Profiling for Multi-paradigm Declarative Languages. |
LOPSTR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
Using an Abstract Representation to Specialize Functional Logic Programs. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, César Ferri, Frank Steiner, Germán Vidal |
Improving Functional Logic Programs by Difference-Lists. |
ASIAN |
2000 |
DBLP DOI BibTeX RDF |
program transformation, compiler optimization, functional logic programming |
| 1 | Elvira Albert, Sergio Antoy, Germán Vidal |
Measuring the Effectiveness of Partial Evaluation. |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Sergio Antoy, Germán Vidal |
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. |
LOPSTR (LNCS 2042: Selected Papers) |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, César Ferri, Frank Steiner, Germán Vidal |
List-Processing Optimizations in a Multi-Paradigm Declarative Language. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Sergio Antoy, Germán Vidal |
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Michael Hanus, Germán Vidal |
Realistic Program Specialization in a Multi-Paradigm Language. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal |
A Partial Evaluation Framework for Curry Programs. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Polygenetic Partial Evaluation of Lazy Functional Logic Programs. |
APPIA-GULP-PRODE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Improving Control in Functional Logic Program Specialization. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")