Elvira Albert - RankMe

191 papers A 8B 37C 33Misc 2Journal 63Unranked 47

Year	Rank	Type	Title / Venue / Authors
2026	B	`ed.`	Fundamental Approaches to Software Engineering - 29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings FASE Elvira Albert, Corina S. Pasareanu
2025	J	`jnl`	Certified Cost Bounds for Abstract Programs. ACM Trans. Softw. Eng. Methodol. Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel
2025	J	`jnl`	Harnessing heap analysis for the synthesis of superoptimized bytecode. J. Syst. Softw. Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2025	J	`jnl`	Neural-guided superoptimization in ethereum. Inf. Softw. Technol. Matheus Araújo Aguiar, Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Daniel Kirchner, Albert Rubio
2025	J	`jnl`	Secure Optimizations on Ethereum Bytecode Jump-Free Sequences. IEEE Trans. Dependable Secur. Comput. Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin
2025	B	`conf`	Securely Optimized (Ethereum) Smart Contracts Using Formal Methods. SEFM Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Enrique Martin-Martin, Albert Rubio
2025	C	`conf`	Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization. LOPSTR Elvira Albert, Emanuele De Angelis, Fabio Fioravanti, Alejandro Hernández-Cerezo, Giulia Matricardi
2024	J	`jnl`	SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. Proc. ACM Program. Lang. Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey
2024	A	`conf`	Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT. ISSTA Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2023	—	`conf`	Formally Verified EVM Block-Optimizations. CAV (3) Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin
2023	J	`jnl`	Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version). CoRR Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2023	—	`conf`	Inferring Needless Write Memory Accesses on Ethereum Bytecode. TACAS (1) Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2023	J	`jnl`	Optimal dynamic partial order reduction with context-sensitive independence and observers. J. Syst. Softw. Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
2023	J	`jnl`	Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks. IEEE Trans. Dependable Secur. Comput. Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv
2022	—	`conf`	A Max-SMT Superoptimizer for EVM handling Memory and Storage. TACAS (1) Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio
2022	—	`conf`	Distilling Constraints in Zero-Knowledge Protocols. CAV (1) Elvira Albert, Marta Bellés-Muñoz, Miguel Isabel, Clara Rodríguez-Núñez, Albert Rubio
2022	J	`jnl`	Super-optimization of Smart Contracts. ACM Trans. Softw. Eng. Methodol. Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio, Maria Anna Schett
2022	A	`conf`	Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts. IJCAR Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio
2022	—	`conf`	When COSTA Met KeY: Verified Cost Bounds. The Logic of Software. A Tasting Menu of Formal Methods Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez
2021	J	`jnl`	Actor-based model checking for Software-Defined Networks. J. Log. Algebraic Methods Program. Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
2021	B	`conf`	Certified Abstract Cost Analysis. FASE Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel
2021	—	`conf`	Lower-Bound Synthesis Using Loop Specialization and Max-SMT. CAV (2) Elvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio
2020	J	`jnl`	A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell. Fundam. Informaticae Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin
2020	J	`jnl`	A Transformational Approach to Resource Analysis with Typed-norms Inference. Theory Pract. Log. Program. Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin
2020	J	`jnl`	Actor-Based Model Checking for SDN Networks. CoRR Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
2020	J	`jnl`	Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph. CoRR Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2020	—	`conf`	GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. TACAS (2) Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2020	B	`ed.`	LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020. LPAR Elvira Albert, Laura Kovács
2020	A	`conf`	Smart, and also Reliable and Gas-Efficient, Contracts. ICST Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2020	—	`conf`	Synthesis of Super-Optimized Smart Contracts Using Max-SMT. CAV (1) Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett
2020	J	`jnl`	Taming callbacks for smart contract modularity. Proc. ACM Program. Lang. Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv
2019	J	`jnl`	A Transformational Approach to Resource Analysis with Typed-norms Inference. CoRR Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin
2019	J	`jnl`	GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. CoRR Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2019	A	`conf`	Optimal context-sensitive dynamic partial order reduction with observers. ISSTA Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
2019	J	`jnl`	Peak resource analysis of concurrent distributed systems. J. Syst. Softw. Elvira Albert, Jesús Correas, Guillermo Román-Díez
2019	J	`jnl`	Resource Analysis driven by (Conditional) Termination Proofs. CoRR Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio
2019	J	`jnl`	Resource Analysis driven by (Conditional) Termination Proofs. Theory Pract. Log. Program. Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio
2019	C	`conf`	Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis. VECoS Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey
2019	J	`jnl`	SAFEVM: A Safety Verifier for Ethereum Smart Contracts. CoRR Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2019	A	`conf`	SAFEVM: a safety verifier for Ethereum smart contracts. ISSTA Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2018	—	`conf`	Constrained Dynamic Partial Order Reduction. CAV (2) Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio
2018	B	`conf`	EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. ATVA Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey
2018	J	`jnl`	EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. CoRR Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey
2018	J	`jnl`	GASTAP: A Gas Analyzer for Smart Contracts. CoRR Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey
2018	J	`jnl`	Parallel Cost Analysis. ACM Trans. Comput. Log. Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez
2018	B	`conf`	SDN-Actors: Modeling and Verification of SDN Programs. FM Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva
2018	J	`jnl`	Systematic testing of actor systems. Softw. Test. Verification Reliab. Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2017	—	`conf`	Context-Sensitive Dynamic Partial Order Reduction. CAV (1) Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey
2017	C	`conf`	Generation of Initial Contexts for Effective Deadlock Detection. LOPSTR Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
2017	B	`conf`	May-Happen-in-Parallel Analysis with Returned Futures. ATVA Elvira Albert, Samir Genaim, Pablo Gordillo
2017	J	`jnl`	On the Generation of Initial Contexts for Effective Deadlock Detection. CoRR Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
2017	J	`jnl`	Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15). Sci. Comput. Program. Elvira Albert
2017	J	`jnl`	Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. J. Autom. Reason. Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2017	—	`conf`	SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. STAF Workshops Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez, Guillermo Román-Díez, Juan Manuel Vara, Damiano Zanardini
2016	C	`conf`	A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. LOPSTR Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin
2016	J	`jnl`	A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. CoRR Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin
2016	J	`jnl`	A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY. Softw. Syst. Model. Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
2016	B	`conf`	Combining Static Analysis and Testing for Deadlock Detection. IFM Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
2016	C	`ed.`	Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings FORTE Elvira Albert, Ivan Lanese
2016	J	`jnl`	May-Happen-in-Parallel Analysis for Actor-Based Concurrency. ACM Trans. Comput. Log. Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2016	—	`conf`	Resource Analysis of Distributed Systems. Theory and Practice of Formal Methods Elvira Albert, Jesús Correas, Guillermo Román-Díez
2016	J	`jnl`	Resource-usage-aware configuration in software product lines. J. Log. Algebraic Methods Program. Damiano Zanardini, Elvira Albert, Karina Villela
2016	B	`conf`	SYCO: a systematic testing tool for concurrent objects. CC Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
2016	C	`conf`	Testing of concurrent and imperative software using CLP. PPDP Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2015	J	`jnl`	A multi-domain incremental analysis engine and its application to incremental resource analysis. Theor. Comput. Sci. Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez
2015	J	`jnl`	A practical comparator of cost functions and its applications. Sci. Comput. Program. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2015	B	`conf`	May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. SAS Elvira Albert, Samir Genaim, Pablo Gordillo
2015	—	`conf`	May-Happen-in-Parallel Analysis with Condition Synchronization. FOPARA Elvira Albert, Antonio Flores-Montoya, Samir Genaim
2015	A	`conf`	Non-cumulative Resource Analysis. TACAS Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez
2015	J	`jnl`	Object-sensitive cost analysis for concurrent objects. Softw. Test. Verification Reliab. Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez
2015	B	`conf`	Parallel Cost Analysis of Distributed Systems. SAS Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez
2015	C	`ed.`	Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015 PPDP Moreno Falaschi, Elvira Albert
2015	J	`jnl`	Quantified abstract configurations of distributed systems. Formal Aspects Comput. Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez
2015	B	`conf`	Resource Analysis: From Sequential to Concurrent and Distributed Programs. FM Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez
2015	B	`conf`	Test Case Generation of Actor Systems. ATVA Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2014	C	`conf`	Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. FORTE Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2014	J	`jnl`	Conditional termination of loops over heap-allocated data. Sci. Comput. Program. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez
2014	J	`jnl`	Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong
2014	B	`ed.`	Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings IFM Elvira Albert, Emil Sekerinski
2014	B	`conf`	Peak Cost Analysis of Distributed Systems. SAS Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez
2014	A	`conf`	SACO: Static Analyzer for Concurrent Objects. TACAS Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez
2014	J	`jnl`	Selected and extended papers from Partial Evaluation and Program Manipulation 2013. Sci. Comput. Program. Elvira Albert, Shin-Cheng Mu
2014	—	`conf`	Static Inference of Transmission Data Sizes in Distributed Systems. ISoLA (2) Elvira Albert, Jesús Correas Fernández, Enrique Martin-Martin, Guillermo Román-Díez
2014	—	`conf`	Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. SFM Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas
2013	J	`jnl`	A CLP heap solver for test case generation. Theory Pract. Log. Program. Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey
2013	C	`conf`	A Transformational Approach to Resource Analysis with Typed-Norms. LOPSTR Elvira Albert, Samir Genaim, Raúl Gutiérrez
2013	—	`conf`	Engineering virtualized services. NordiCloud Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve
2013	J	`jnl`	Heap space analysis for garbage collected languages. Sci. Comput. Program. Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
2013	C	`ed.`	Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers LOPSTR Elvira Albert
2013	B	`conf`	May-Happen-in-Parallel Analysis for Priority-Based Scheduling. LPAR Elvira Albert, Samir Genaim, Enrique Martin-Martin
2013	—	`conf`	May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. FMOODS/FORTE Antonio Flores-Montoya, Elvira Albert, Samir Genaim
2013	J	`jnl`	On the Inference of Resource Usage Upper and Lower Bounds. ACM Trans. Comput. Log. Elvira Albert, Samir Genaim, Abu Naser Masud
2013	C	`ed.`	Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013 PEPM Elvira Albert, Shin-Cheng Mu
2013	B	`conf`	Quantified Abstractions of Distributed Systems. IFM Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
2013	B	`conf`	Termination and Cost Analysis of Loops with Concurrent Interleavings. ATVA Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2013	—	`conf`	aPET: a test case generation tool for concurrent objects. ESEC/SIGSOFT FSE Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong
2012	—	`conf`	Analysis of May-Happen-in-Parallel in Concurrent Objects. FMOODS/FORTE Elvira Albert, Antonio Flores-Montoya, Samir Genaim
2012	C	`conf`	Automated Extraction of Abstract Behavioural Models from JMS Applications. FMICS Elvira Albert, Bjarte M. Østvold, José Miguel Rojas
2012	—	`conf`	Automatic Inference of Bounds on Resource Consumption. FMCO Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini
2012	B	`conf`	Automatic Inference of Resource Consumption Bounds. LPAR Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
2012	C	`conf`	COSTABS: a cost and termination analyzer for ABS. PEPM Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
2012	J	`jnl`	Certificate size reduction in abstraction-carrying code. Theory Pract. Log. Program. Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
2012	J	`jnl`	Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
2012	C	`conf`	Incremental resource usage analysis. PEPM Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
2012	—	`conf`	MayPar: a may-happen-in-parallel analyzer for concurrent objects. SIGSOFT FSE Elvira Albert, Antonio Flores-Montoya, Samir Genaim
2012	C	`conf`	Symbolic Execution of Concurrent Objects in CLP. PADL Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2012	J	`jnl`	The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Int. J. Softw. Tools Technol. Transf. Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte
2012	—	`conf`	Towards Testing Concurrent Objects in CLP. ICLP (Technical Communications) Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2012	B	`conf`	Verified Resource Guarantees for Heap Manipulating Programs. FASE Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez
2011	J	`jnl`	Closed-Form Upper Bounds in Static Cost Analysis. J. Autom. Reason. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2011	B	`conf`	Cost Analysis of Concurrent OO Programs. APLAS Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla
2011	J	`jnl`	Efficient local unfolding with ancestor stacks. Theory Pract. Log. Program. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2011	B	`conf`	More Precise Yet Widely Applicable Cost Analysis. VMCAI Elvira Albert, Samir Genaim, Abu Naser Masud
2011	C	`conf`	Resource-Driven CLP-Based Test Case Generation. LOPSTR Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas
2011	B	`conf`	Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011	B	`conf`	Task-level analysis for a language with async/finish parallelism. LCTES Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini
2011	C	`conf`	Verified resource guarantees using COSTA and KeY. PEPM Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez
2011	—	`conf`	jPET: An Automatic Test-Case Generator for Java. WCRE Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez
2010	J	`jnl`	Certificate size reduction in Abstraction-Carrying Code CoRR Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
2010	C	`conf`	Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla
2010	B	`conf`	From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. SAS Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes
2010	C	`conf`	PET: a partial evaluation-based test case generation tool for Java bytecode. PEPM Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla
2010	C	`conf`	Parametric inference of memory requirements for garbage collected languages. ISMM Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
2010	J	`jnl`	Test Case Generation for Object-Oriented Imperative Languages in CLP CoRR Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2010	J	`jnl`	Test case generation for object-oriented imperative languages in CLP. Theory Pract. Log. Program. Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2010	J	`jnl`	Verification of Java Bytecode using Analysis and Transformation of Logic Programs CoRR Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla
2009	B	`conf`	Asymptotic Resource Usage Bounds. APLAS Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla
2009	—	`conf`	Comparing Cost Functions in Resource Analysis. FOPARA Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla
2009	J	`jnl`	Decompilation of Java bytecode to Prolog by partial evaluation. Inf. Softw. Technol. Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2009	J	`jnl`	Efficient Local Unfolding with Ancestor Stacks CoRR Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2009	B	`conf`	Field-Sensitive Value Analysis by Field-Insensitive Analysis. FM Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2009	C	`conf`	Live heap space analysis for languages with garbage collection. ISMM Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
2009	J	`jnl`	On the Generation of Test Data for Prolog by Partial Evaluation CoRR Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2009	—	`conf`	Preface. BYTECODE@ETAPS Elvira Albert, Samir Genaim
2009	—	`ed.`	Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009 BYTECODE@ETAPS Elvira Albert, Samir Genaim
2009	—	`conf`	Resource Usage Analysis and Its Application to Resource Certification. FOSAD Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2009	—	`conf`	Termination and Cost Analysis with COSTA and its User Interfaces. PROLE Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini
2009	J	`jnl`	Type-based homeomorphic embedding for online termination. Inf. Process. Lett. Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla
2008	J	`jnl`	Abstraction-Carrying Code: a Model for Mobile Code Safety. New Gener. Comput. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2008	B	`conf`	Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2008	—	`conf`	Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. PROLE Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2008	—	`conf`	Formal Techniques for Java-Like Programs. ECOOP Workshops Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad
2008	C	`conf`	Modular Decompilation of Low-Level Code by Partial Evaluation. SCAM Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2008	C	`ed.`	Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain PPDP Sergio Antoy, Elvira Albert
2008	Misc	`conf`	Removing useless variables in cost analysis of Java bytecode. SAC Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2008	—	`conf`	Termination Analysis of Java Bytecode. FMOODS Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini
2008	C	`conf`	Test Data Generation of Bytecode by CLP Partial Evaluation. LOPSTR Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla
2007	—	`conf`	COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. FMCO Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
2007	A	`conf`	Cost Analysis of Java Bytecode. ESOP Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2007	—	`conf`	Experiments in Cost Analysis of Java Bytecode. Bytecode@ETAPS Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2007	C	`conf`	Heap space analysis for java bytecode. ISMM Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
2007	—	`conf`	Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. Bytecode@ETAPS Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
2007	J	`jnl`	Some Issues on Incremental Abstraction-Carrying Code CoRR Elvira Albert, Puri Arenas, Germán Puebla
2007	C	`conf`	Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. LOPSTR Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla
2007	C	`conf`	Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla
2006	B	`conf`	Abstract Interpretation with Specialized Definitions. SAS Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2006	B	`conf`	An Incremental Approach to Abstraction-Carrying Code. LPAR Elvira Albert, Puri Arenas, Germán Puebla
2006	B	`conf`	Reduced Certificates for Abstraction-Carrying Code. ICLP Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo
2005	J	`jnl`	A Generic Framework for the Analysis and Specialization of Logic Programs CoRR Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2005	B	`conf`	A Generic Framework for the Analysis and Specialization of Logic Programs. ICLP Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2005	—	`conf`	A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE Germán Puebla, Manuel V. Hermenegildo, Elvira Albert
2005	C	`conf`	Abstraction carrying code and resource-awareness. PPDP Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
2005	C	`conf`	Converting One Type-Based Abstract Domain to Another. LOPSTR John P. Gallagher, Germán Puebla, Elvira Albert
2005	C	`conf`	Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. LOPSTR Elvira Albert, Germán Puebla, John P. Gallagher
2005	J	`jnl`	Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2004	B	`conf`	Abstract Interpretation-Based Mobile Code Certification. ICLP Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2004	B	`conf`	Abstraction-Carrying Code. LPAR Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2004	—	`conf`	An Abstract Interpretation-based Approach to Mobile Code Safety. COCV Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2004	C	`conf`	Efficient Local Unfolding with Ancestor Stacks for Full Prolog. LOPSTR Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
2004	—	`conf`	Experiments in abstract interpretation-based code certification for pervasive systems. SMC (2) Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
2004	—	`conf`	Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. Euro-Par Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
2003	J	`jnl`	A residualizing semantics for the partial evaluation of functional logic programs. Inf. Process. Lett. Elvira Albert, Michael Hanus, Germán Vidal
2003	—	`conf`	Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE Elvira Albert, Josep Silva, Germán Vidal
2002	—	`conf`	A Deterministic Operational Semantics for Functional Logic Programs. APPIA-GULP-PRODE Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2002	J	`jnl`	A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. J. Funct. Log. Program. Elvira Albert, Michael Hanus, Germán Vidal
2002	—	`conf`	An Operational Semantics for Declarative Multi-Paradigm Languages. WRS Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2002	—	`conf`	Operational Semantics for Functional Logic Languages. WFLP Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2001	Misc	`conf`	A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. FLOPS Elvira Albert, Michael Hanus, Germán Vidal
2001	J	`jnl`	Partial evaluation of multi-paradigm declarative languages. AI Commun. Elvira Albert
2001	C	`conf`	Symbolic Profiling for Multi-paradigm Declarative Languages. LOPSTR Elvira Albert, Germán Vidal
2001	J	`jnl`	The Narrowing-driven Approach to Functional Logic Program Specialization. New Gener. Comput. Elvira Albert, Germán Vidal
2000	—	`conf`	A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. WFLP Elvira Albert, Sergio Antoy, Germán Vidal
2000	—	`conf`	Improving Functional Logic Programs by Difference-Lists. ASIAN Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
2000	—	`conf`	List-Processing Optimizations in a Multi-Paradigm Declarative Language. WFLP Elvira Albert, César Ferri, Frank Steiner, Germán Vidal
2000	—	`conf`	Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR (LNCS 2042: Selected Papers) Elvira Albert, Sergio Antoy, Germán Vidal
2000	C	`conf`	Measuring the Effectiveness of Partial Evaluation. LOPSTR Elvira Albert, Sergio Antoy, Germán Vidal
2000	—	`conf`	Realistic Program Specialization in a Multi-Paradigm Language. WFLP Elvira Albert, Michael Hanus, Germán Vidal
2000	B	`conf`	Using an Abstract Representation to Specialize Functional Logic Programs. LPAR Elvira Albert, Michael Hanus, Germán Vidal
1999	B	`conf`	A Partial Evaluation Framework for Curry Programs. LPAR Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal
1998	B	`conf`	Improving Control in Functional Logic Program Specialization. SAS Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal
1998	—	`conf`	Polygenetic Partial Evaluation of Lazy Functional Logic Programs. APPIA-GULP-PRODE Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal