default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElvira Albert
Person information
- affiliation: Complutense University of Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j42]Elvira Albert
, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey:
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. Proc. ACM Program. Lang. 8(PLDI): 1437-1462 (2024)- [c117]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT. ISSTA 2024: 1186-1197 - [d13]Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey:
Artifact for "SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-based, and SAT Techniques". Zenodo, 2024
- 2023
- [j41]Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey:
Optimal dynamic partial order reduction with context-sensitive independence and observers. J. Syst. Softw. 202: 111730 (2023) - [j40]Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv:
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks. IEEE Trans. Dependable Secur. Comput. 20(3): 2256-2273 (2023) - [c116]Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin:
Formally Verified EVM Block-Optimizations. CAV (3) 2023: 176-189 - [c115]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Inferring Needless Write Memory Accesses on Ethereum Bytecode. TACAS (1) 2023: 448-466 - [d12]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 1. Zenodo, 2023 [all versions] - [d11]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 2. Zenodo, 2023 [all versions] - [d10]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 3. Zenodo, 2023 [all versions] - [d9]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 4. Zenodo, 2023 [all versions] - [d8]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 5. Zenodo, 2023 [all versions] - [d7]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 6. Zenodo, 2023 [all versions] - [d6]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 7. Zenodo, 2023 [all versions] - [d5]Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin:
Artifact of the Paper "Formally Verified EVM Block-Optimizations". Version 0. Zenodo, 2023 [all versions] - [d4]Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin:
Artifact of the Paper "Formally Verified EVM Block-Optimizations". Version 1. Zenodo, 2023 [all versions] - [i18]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version). CoRR abs/2301.04757 (2023) - 2022
- [j39]Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio, Maria Anna Schett:
Super-optimization of Smart Contracts. ACM Trans. Softw. Eng. Methodol. 31(4): 70:1-70:29 (2022) - [c114]Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez:
When COSTA Met KeY: Verified Cost Bounds. The Logic of Software. A Tasting Menu of Formal Methods 2022: 19-37 - [c113]Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio:
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts. IJCAR 2022: 3-7 - [c112]Elvira Albert, Marta Bellés-Muñoz, Miguel Isabel, Clara Rodríguez-Núñez, Albert Rubio:
Distilling Constraints in Zero-Knowledge Protocols. CAV (1) 2022: 430-443 - [c111]Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio:
A Max-SMT Superoptimizer for EVM handling Memory and Storage. TACAS (1) 2022: 201-219 - [d3]Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin:
Artifact of the Paper "Formally Verified EVM Block-Optimizations". Zenodo, 2022 - 2021
- [j38]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva:
Actor-based model checking for Software-Defined Networks. J. Log. Algebraic Methods Program. 118: 100617 (2021) - [j37]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Don't run on fumes - Parametric gas bounds for smart contracts. J. Syst. Softw. 176: 110923 (2021) - [c110]Elvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio:
Lower-Bound Synthesis Using Loop Specialization and Max-SMT. CAV (2) 2021: 863-886 - [c109]Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel:
Certified Abstract Cost Analysis. FASE 2021: 24-45 - [d2]Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio:
Artifact for paper "A Max-SMT Superoptimizer for EVM handling Memory and Storage". Version 5. Zenodo, 2021 [all versions] - [d1]Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio:
Artifact for paper "A Max-SMT Superoptimizer for EVM handling Memory and Storage". Version 6. Zenodo, 2021 [all versions] - 2020
- [j36]Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin:
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell. Fundam. Informaticae 177(3-4): 203-234 (2020) - [j35]Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv:
Taming callbacks for smart contract modularity. Proc. ACM Program. Lang. 4(OOPSLA): 209:1-209:30 (2020) - [j34]Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin:
A Transformational Approach to Resource Analysis with Typed-norms Inference. Theory Pract. Log. Program. 20(3): 310-357 (2020) - [c108]Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett:
Synthesis of Super-Optimized Smart Contracts Using Max-SMT. CAV (1) 2020: 177-200 - [c107]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Smart, and also Reliable and Gas-Efficient, Contracts. ICST 2020: 2 - [c106]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. TACAS (2) 2020: 118-125 - [e8]Elvira Albert, Laura Kovács:
LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020. EPiC Series in Computing 73, EasyChair 2020 [contents] - [i17]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva:
Actor-Based Model Checking for SDN Networks. CoRR abs/2001.10022 (2020) - [i16]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph. CoRR abs/2004.14437 (2020)
2010 – 2019
- 2019
- [j33]Elvira Albert, Jesús Correas, Guillermo Román-Díez:
Peak resource analysis of concurrent distributed systems. J. Syst. Softw. 149: 35-62 (2019) - [j32]Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio:
Resource Analysis driven by (Conditional) Termination Proofs. Theory Pract. Log. Program. 19(5-6): 722-739 (2019) - [c105]Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey:
Optimal context-sensitive dynamic partial order reduction with observers. ISSTA 2019: 352-362 - [c104]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
SAFEVM: a safety verifier for Ethereum smart contracts. ISSTA 2019: 386-389 - [c103]Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey:
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis. VECoS 2019: 63-78 - [i15]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
SAFEVM: A Safety Verifier for Ethereum Smart Contracts. CoRR abs/1906.04984 (2019) - [i14]Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio:
Resource Analysis driven by (Conditional) Termination Proofs. CoRR abs/1907.10096 (2019) - [i13]Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin:
A Transformational Approach to Resource Analysis with Typed-norms Inference. CoRR abs/1908.02078 (2019) - [i12]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. CoRR abs/1912.11929 (2019) - 2018
- [j31]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Systematic testing of actor systems. Softw. Test. Verification Reliab. 28(3) (2018) - [j30]Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez:
Parallel Cost Analysis. ACM Trans. Comput. Log. 19(4): 31:1-31:37 (2018) - [c102]Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey:
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. ATVA 2018: 513-520 - [c101]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio:
Constrained Dynamic Partial Order Reduction. CAV (2) 2018: 392-410 - [c100]Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva:
SDN-Actors: Modeling and Verification of SDN Programs. FM 2018: 550-567 - [i11]Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey:
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. CoRR abs/1805.07208 (2018) - [i10]Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey:
GASTAP: A Gas Analyzer for Smart Contracts. CoRR abs/1811.10403 (2018) - 2017
- [j29]Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin:
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. J. Autom. Reason. 59(1): 47-85 (2017) - [j28]Elvira Albert:
Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15). Sci. Comput. Program. 147: 1-2 (2017) - [c99]Elvira Albert, Samir Genaim, Pablo Gordillo:
May-Happen-in-Parallel Analysis with Returned Futures. ATVA 2017: 42-58 - [c98]Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey:
Context-Sensitive Dynamic Partial Order Reduction. CAV (1) 2017: 526-543 - [c97]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel:
Generation of Initial Contexts for Effective Deadlock Detection. LOPSTR 2017: 3-19 - [c96]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:
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. STAF Workshops 2017: 367-374 - [i9]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel:
On the Generation of Initial Contexts for Effective Deadlock Detection. CoRR abs/1709.04255 (2017) - 2016
- [j27]Damiano Zanardini, Elvira Albert, Karina Villela:
Resource-usage-aware configuration in software product lines. J. Log. Algebraic Methods Program. 85(1): 173-199 (2016) - [j26]Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez:
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. 15(4): 987-1012 (2016) - [j25]Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin:
May-Happen-in-Parallel Analysis for Actor-Based Concurrency. ACM Trans. Comput. Log. 17(2): 11 (2016) - [c95]Elvira Albert, Jesús Correas, Guillermo Román-Díez:
Resource Analysis of Distributed Systems. Theory and Practice of Formal Methods 2016: 33-46 - [c94]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel:
SYCO: a systematic testing tool for concurrent objects. CC 2016: 269-270 - [c93]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel:
Combining Static Analysis and Testing for Deadlock Detection. IFM 2016: 409-424 - [c92]Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin:
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. LOPSTR 2016: 21-37 - [c91]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Testing of concurrent and imperative software using CLP. PPDP 2016: 1-8 - [e7]Elvira Albert, Ivan Lanese:
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. Lecture Notes in Computer Science 9688, Springer 2016, ISBN 978-3-319-39569-2 [contents] - [i8]Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin:
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. CoRR abs/1608.02896 (2016) - 2015
- [j24]Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez:
Quantified abstract configurations of distributed systems. Formal Aspects Comput. 27(4): 665-699 (2015) - [j23]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
A practical comparator of cost functions and its applications. Sci. Comput. Program. 111: 483-504 (2015) - [j22]Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez:
Object-sensitive cost analysis for concurrent objects. Softw. Test. Verification Reliab. 25(3): 218-271 (2015) - [j21]Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez:
A multi-domain incremental analysis engine and its application to incremental resource analysis. Theor. Comput. Sci. 585: 91-114 (2015) - [c90]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Test Case Generation of Actor Systems. ATVA 2015: 259-275 - [c89]Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez:
Resource Analysis: From Sequential to Concurrent and Distributed Programs. FM 2015: 3-17 - [c88]Elvira Albert, Antonio Flores-Montoya, Samir Genaim:
May-Happen-in-Parallel Analysis with Condition Synchronization. FOPARA 2015: 1-19 - [c87]Elvira Albert, Samir Genaim, Pablo Gordillo:
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. SAS 2015: 72-89 - [c86]Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez:
Parallel Cost Analysis of Distributed Systems. SAS 2015: 275-292 - [c85]Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez:
Non-cumulative Resource Analysis. TACAS 2015: 85-100 - [e6]Moreno Falaschi, Elvira Albert:
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. ACM 2015, ISBN 978-1-4503-3516-4 [contents] - 2014
- [j20]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez:
Conditional termination of loops over heap-allocated data. Sci. Comput. Program. 92: 2-24 (2014) - [j19]Elvira Albert, Shin-Cheng Mu:
Selected and extended papers from Partial Evaluation and Program Manipulation 2013. Sci. Comput. Program. 95: 147-148 (2014) - [j18]Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong:
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8(4): 323-339 (2014) - [c84]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. FORTE 2014: 49-65 - [c83]Elvira Albert, Jesús Correas Fernández, Enrique Martin-Martin, Guillermo Román-Díez:
Static Inference of Transmission Data Sizes in Distributed Systems. ISoLA (2) 2014: 104-119 - [c82]Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez:
Peak Cost Analysis of Distributed Systems. SAS 2014: 18-33 - [c81]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas:
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. SFM 2014: 263-309 - [c80]Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez:
SACO: Static Analyzer for Concurrent Objects. TACAS 2014: 562-567 - [e5]Elvira Albert, Emil Sekerinski:
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science 8739, Springer 2014, ISBN 978-3-319-10180-4 [contents] - 2013
- [j17]Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa:
Heap space analysis for garbage collected languages. Sci. Comput. Program. 78(9): 1427-1448 (2013) - [j16]Elvira Albert, Samir Genaim, Abu Naser Masud:
On the Inference of Resource Usage Upper and Lower Bounds. ACM Trans. Comput. Log. 14(3): 22:1-22:35 (2013) - [j15]Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey:
A CLP heap solver for test case generation. Theory Pract. Log. Program. 13(4-5): 721-735 (2013) - [c79]Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin:
Termination and Cost Analysis of Loops with Concurrent Interleavings. ATVA 2013: 349-364 - [c78]Antonio Flores-Montoya, Elvira Albert, Samir Genaim:
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. FMOODS/FORTE 2013: 273-288 - [c77]Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez:
Quantified Abstractions of Distributed Systems. IFM 2013: 285-300 - [c76]Elvira Albert, Samir Genaim, Raúl Gutiérrez:
A Transformational Approach to Resource Analysis with Typed-Norms. LOPSTR 2013: 38-53 - [c75]Elvira Albert, Samir Genaim, Enrique Martin-Martin:
May-Happen-in-Parallel Analysis for Priority-Based Scheduling. LPAR 2013: 18-34 - [c74]Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve:
Engineering virtualized services. NordiCloud 2013: 59-63 - [c73]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong:
aPET: a test case generation tool for concurrent objects. ESEC/SIGSOFT FSE 2013: 595-598 - [e4]Elvira Albert:
Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7844, Springer 2013, ISBN 978-3-642-38196-6 [contents] - [e3]Elvira Albert, Shin-Cheng Mu:
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013. ACM 2013, ISBN 978-1-4503-1842-6 [contents] - 2012
- [j14]Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte:
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Int. J. Softw. Tools Technol. Transf. 14(5): 567-588 (2012) - [j13]Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini:
Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. 413(1): 142-159 (2012) - [j12]Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo:
Certificate size reduction in abstraction-carrying code. Theory Pract. Log. Program. 12(3): 283-318 (2012) - [c72]Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez:
Verified Resource Guarantees for Heap Manipulating Programs. FASE 2012: 130-145 - [c71]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:
Automatic Inference of Bounds on Resource Consumption. FMCO 2012: 119-144 - [c70]Elvira Albert, Bjarte M. Østvold, José Miguel Rojas:
Automated Extraction of Abstract Behavioural Models from JMS Applications. FMICS 2012: 16-31 - [c69]Elvira Albert, Antonio Flores-Montoya, Samir Genaim:
Analysis of May-Happen-in-Parallel in Concurrent Objects. FMOODS/FORTE 2012: 35-51 - [c68]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Towards Testing Concurrent Objects in CLP. ICLP (Technical Communications) 2012: 98-108 - [c67]Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla:
Automatic Inference of Resource Consumption Bounds. LPAR 2012: 1-11 - [c66]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Symbolic Execution of Concurrent Objects in CLP. PADL 2012: 123-137 - [c65]Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez:
Incremental resource usage analysis. PEPM 2012: 25-34 - [c64]Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla:
COSTABS: a cost and termination analyzer for ABS. PEPM 2012: 151-154 - [c63]Elvira Albert, Antonio Flores-Montoya, Samir Genaim:
MayPar: a may-happen-in-parallel analyzer for concurrent objects. SIGSOFT FSE 2012: 14 - 2011
- [j11]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Closed-Form Upper Bounds in Static Cost Analysis. J. Autom. Reason. 46(2): 161-203 (2011) - [j10]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Efficient local unfolding with ancestor stacks. Theory Pract. Log. Program. 11(1): 1-32 (2011) - [c62]Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla:
Cost Analysis of Concurrent OO Programs. APLAS 2011: 238-254 - [c61]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: 353-368 - [c60]Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini:
Task-level analysis for a language with async/finish parallelism. LCTES 2011: 21-30 - [c59]Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas:
Resource-Driven CLP-Based Test Case Generation. LOPSTR 2011: 25-41 - [c58]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: 73-76 - [c57]Elvira Albert, Samir Genaim, Abu Naser Masud:
More Precise Yet Widely Applicable Cost Analysis. VMCAI 2011: 38-53 - [c56]Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez:
jPET: An Automatic Test-Case Generator for Java. WCRE 2011: 441-442 - 2010
- [j9]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
Test case generation for object-oriented imperative languages in CLP. Theory Pract. Log. Program. 10(4-6): 659-674 (2010) - [c55]Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa:
Parametric inference of memory requirements for garbage collected languages. ISMM 2010: 121-130 - [c54]Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla:
Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR 2010: 99-116 - [c53]Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla:
PET: a partial evaluation-based test case generation tool for Java bytecode. PEPM 2010: 25-28 - [c52]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: 100-116 - [i7]Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla:
Verification of Java Bytecode using Analysis and Transformation of Logic Programs. CoRR abs/1007.3250 (2010) - [i6]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
Test Case Generation for Object-Oriented Imperative Languages in CLP. CoRR abs/1007.5195 (2010) - [i5]Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo:
Certificate size reduction in Abstraction-Carrying Code. CoRR abs/1010.4533 (2010)
2000 – 2009
- 2009
- [j8]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
Decompilation of Java bytecode to Prolog by partial evaluation. Inf. Softw. Technol. 51(10): 1409-1427 (2009) - [j7]Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla:
Type-based homeomorphic embedding for online termination. Inf. Process. Lett. 109(15): 879-886 (2009) - [c51]Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla:
Asymptotic Resource Usage Bounds. APLAS 2009: 294-310 - [c50]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Field-Sensitive Value Analysis by Field-Insensitive Analysis. FM 2009: 370-386 - [c49]Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla:
Comparing Cost Functions in Resource Analysis. FOPARA 2009: 1-17 - [c48]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini:
Resource Usage Analysis and Its Application to Resource Certification. FOSAD 2009: 258-288 - [c47]Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa:
Live heap space analysis for languages with garbage collection. ISMM 2009: 129-138 - [c46]Elvira Albert, Samir Genaim:
Preface. BYTECODE@ETAPS 2009: 1-2 - [c45]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. PROLE 2009: 109-121 - [e2]Elvira Albert, Samir Genaim:
Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March 29, 2009. Electronic Notes in Theoretical Computer Science 253(5), Elsevier 2009 [contents] - [i4]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
On the Generation of Test Data for Prolog by Partial Evaluation. CoRR abs/0903.2199 (2009) - [i3]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Efficient Local Unfolding with Ancestor Stacks. CoRR abs/0911.4047 (2009) - 2008
- [j6]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
Abstraction-Carrying Code: a Model for Mobile Code Safety. New Gener. Comput. 26(2): 171-204 (2008) - [c44]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: 70-76 - [c43]Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini:
Termination Analysis of Java Bytecode. FMOODS 2008: 2-18 - [c42]Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla:
Test Data Generation of Bytecode by CLP Partial Evaluation. LOPSTR 2008: 4-23 - [c41]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini:
Removing useless variables in cost analysis of Java bytecode. SAC 2008: 368-375 - [c40]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS 2008: 221-237 - [c39]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
Modular Decompilation of Low-Level Code by Partial Evaluation. SCAM 2008: 239-248 - [c38]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. PROLE 2008: 31-46 - [e1]Sergio Antoy, Elvira Albert:
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain. ACM 2008, ISBN 978-1-60558-117-0 [contents] - 2007
- [c37]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini:
Cost Analysis of Java Bytecode. ESOP 2007: 157-172 - [c36]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: 113-132 - [c35]Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa:
Heap space analysis for java bytecode. ISMM 2007: 105-116 - [c34]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: 23-42 - [c33]Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla:
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL 2007: 124-139 - [c32]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini:
Experiments in Cost Analysis of Java Bytecode. Bytecode@ETAPS 2007: 67-83 - [c31]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. Bytecode@ETAPS 2007: 85-101 - [i2]Elvira Albert, Puri Arenas, Germán Puebla:
Some Issues on Incremental Abstraction-Carrying Code. CoRR abs/cs/0701111 (2007) - 2006
- [c30]Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo:
Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178 - [c29]Elvira Albert, Puri Arenas, Germán Puebla:
An Incremental Approach to Abstraction-Carrying Code. LPAR 2006: 377-391 - [c28]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Abstract Interpretation with Specialized Definitions. SAS 2006: 107-126 - 2005
- [j5]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1): 795-829 (2005) - [c27]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
A Generic Framework for the Analysis and Specialization of Logic Programs. ICLP 2005: 407-409 - [c26]Elvira Albert, Germán Puebla, John P. Gallagher:
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. LOPSTR 2005: 115-132 - [c25]John P. Gallagher, Germán Puebla, Elvira Albert:
Converting One Type-Based Abstract Domain to Another. LOPSTR 2005: 147-162 - [c24]Germán Puebla, Manuel V. Hermenegildo, Elvira Albert:
A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE 2005: 61-76 - [c23]Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla:
Abstraction carrying code and resource-awareness. PPDP 2005: 1-11 - [i1]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
A Generic Framework for the Analysis and Specialization of Logic Programs. CoRR abs/cs/0508111 (2005) - 2004
- [c22]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: 21-36 - [c21]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
Abstract Interpretation-Based Mobile Code Certification. ICLP 2004: 446-447 - [c20]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Efficient Local Unfolding with Ancestor Stacks for Full Prolog. LOPSTR 2004: 149-165 - [c19]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
Abstraction-Carrying Code. LPAR 2004: 380-397 - [c18]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
Experiments in abstract interpretation-based code certification for pervasive systems. SMC (2) 2004: 1125-1130 - [c17]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
An Abstract Interpretation-based Approach to Mobile Code Safety. COCV@ETAPS 2004: 113-129 - 2003
- [j4]Elvira Albert, Michael Hanus, Germán Vidal:
A residualizing semantics for the partial evaluation of functional logic programs. Inf. Process. Lett. 85(1): 19-25 (2003) - [c16]Elvira Albert, Josep Silva, Germán Vidal:
Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE 2003: 13-24 - 2002
- [j3]Elvira Albert, Michael Hanus, Germán Vidal:
A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages. J. Funct. Log. Program. 2002 (2002) - [c15]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
A Deterministic Operational Semantics for Functional Logic Programs. APPIA-GULP-PRODE 2002: 207- - [c14]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
Operational Semantics for Functional Logic Languages. WFLP 2002: 1-19 - [c13]Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
An Operational Semantics for Declarative Multi-Paradigm Languages. WRS 2002: 62-83 - 2001
- [j2]Elvira Albert:
Partial evaluation of multi-paradigm declarative languages. AI Commun. 14(4): 235-237 (2001) - [j1]Elvira Albert, Germán Vidal:
The Narrowing-driven Approach to Functional Logic Program Specialization. New Gener. Comput. 20(1): 3-26 (2001) - [c12]Elvira Albert, Michael Hanus, Germán Vidal:
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. FLOPS 2001: 326-342 - [c11]Elvira Albert, Germán Vidal:
Symbolic Profiling for Multi-paradigm Declarative Languages. LOPSTR 2001: 148-167 - 2000
- [c10]Elvira Albert, César Ferri, Frank Steiner, Germán Vidal:
Improving Functional Logic Programs by Difference-Lists. ASIAN 2000: 237-254 - [c9]Elvira Albert, Sergio Antoy, Germán Vidal:
Measuring the Effectiveness of Partial Evaluation. LOPSTR 2000 - [c8]Elvira Albert, Sergio Antoy, Germán Vidal:
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. LOPSTR (LNCS 2042: Selected Papers) 2000: 103-124 - [c7]Elvira Albert, Michael Hanus, Germán Vidal:
Using an Abstract Representation to Specialize Functional Logic Programs. LPAR 2000: 381-398 - [c6]Elvira Albert, Michael Hanus, Germán Vidal:
Realistic Program Specialization in a Multi-Paradigm Language. WFLP 2000: 104-119 - [c5]Elvira Albert, Sergio Antoy, Germán Vidal:
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. WFLP 2000: 120-127 - [c4]Elvira Albert, César Ferri, Frank Steiner, Germán Vidal:
List-Processing Optimizations in a Multi-Paradigm Declarative Language. WFLP 2000: 184-194
1990 – 1999
- 1999
- [c3]Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal:
A Partial Evaluation Framework for Curry Programs. LPAR 1999: 376-395 - 1998
- [c2]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: 151-164 - [c1]Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
Improving Control in Functional Logic Program Specialization. SAS 1998: 262-277
Coauthor Index
Puri Arenas
aka: Puri Arenas-Sánchez
aka: Puri Arenas-Sánchez
Jesús Correas Fernández
aka: Jesús Correas
aka: Jesús Correas
[c116] [d5] [d4] [c114] [d3] [c110] [j34] [i13] [j29] [c99] [j26] [j25] [j23] [j22] [c89] [c88] [c87] [j20] [c80] [j17] [j16] [c79] [c78] [c76] [c75] [j13] [c72] [c71] [c69] [c67] [c64] [c63] [j11] [c62] [c61] [c60] [c58] [c57] [c55] [c52] [c51] [c50] [c49] [c48] [c47] [c46] [c45] [e2] [c43] [c41] [c40] [c38] [c37] [c36] [c35] [c32]
Germán Puebla
aka: German Puebla
aka: German Puebla
[j26] [j24] [j23] [j22] [j21] [c89] [j20] [c80] [c77] [j13] [j12] [c71] [c67] [c65] [c64] [j11] [j10] [c62] [c58] [j9] [c54] [c53] [c52] [i7] [i6] [i5] [j8] [j7] [c51] [c50] [c49] [c48] [c45] [i4] [i3] [j6] [c43] [c42] [c41] [c40] [c39] [c38] [c37] [c36] [c34] [c33] [c32] [c31] [i2] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [i1] [c22] [c21] [c20] [c19] [c18] [c17]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 20:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
