E-LIB Suche - Ergebnisse für: Albert, Elvira

1

SuperStack: Superoptimization of Stack-Bytecode via Greedy,..:

Albert, Elvira ; Garcia de la Banda, Maria ; Hernández-Cerezo, Alejandro...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1437-1462 , 2024

Link: https://doi.org/10.1145/..

2

Optimal dynamic partial order reduction with context-sensit..:

Albert, Elvira ; de la Banda, Maria Garcia ; Gómez-Zamalloa, Miguel..
Journal of Systems and Software. 202 (2023) - p. 111730 , 2023

Link: https://doi.org/10.1016/..

3

Super-optimization of Smart Contracts:

Albert, Elvira ; Gordillo, Pablo ; Hernández-Cerezo, Alejandro..
ACM Transactions on Software Engineering and Methodology. 31 (2022) 4 - p. 1-29 , 2022

Link: https://doi.org/10.1145/..

4

Don't run on fumes—Parametric gas bounds for smart contract:

Albert, Elvira ; Correas, Jesús ; Gordillo, Pablo..
Journal of Systems and Software. 176 (2021) - p. 110923 , 2021

Link: https://doi.org/10.1016/..

5

Actor-based model checking for Software-Defined Networks:

Albert, Elvira ; Gómez-Zamalloa, Miguel ; Isabel, Miguel...
Journal of Logical and Algebraic Methods in Programming. 118 (2021) - p. 100617 , 2021

Link: https://doi.org/10.1016/..

6

Smart, and also Reliable and Gas-Efficient, Contracts:

, In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),

Albert, Elvira ; Correas, Jesus ; Gordillo, Pablo.. - p. 2-2 , 2020

Link: https://doi.org/10.1109/..

7

Taming callbacks for smart contract modularity:

Albert, Elvira ; Grossman, Shelly ; Rinetzky, Noam...
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://doi.org/10.1145/..

8

Taming callbacks for smart contract modularity:

Albert, Elvira ; Grossman, Shelly ; Rinetzky, Noam...
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://dl.acm.org/doi/1..

9

SAFEVM: a safety verifier for Ethereum smart contracts:

, In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Albert, Elvira ; Correas, Jesús ; Gordillo, Pablo.. - p. 386-389 , 2019

Link: https://dl.acm.org/doi/1..

10

Optimal context-sensitive dynamic partial order reduction w..:

, In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Albert, Elvira ; de la Banda, Maria Garcia ; Gómez-Zamalloa, Miguel.. - p. 352-362 , 2019

Link: https://dl.acm.org/doi/1..

11

Resource Analysis driven by (Conditional) Termination Proof:

ALBERT, ELVIRA ; BOFILL, MIQUEL ; BORRALLERAS, CRISTINA..
Theory and Practice of Logic Programming. 19 (2019) 5-6 - p. 722-739 , 2019

Link: https://doi.org/10.1017/..

12

A Transformational Approach to Resource Analysis with Typed..:

ALBERT, ELVIRA ; GENAIM, SAMIR ; GUTIÉRREZ, RAÚL.
Theory and Practice of Logic Programming. 20 (2019) 3 - p. 310-357 , 2019

Link: https://doi.org/10.1017/..

13

Peak resource analysis of concurrent distributed systems:

Albert, Elvira ; Correas, Jesús ; Román-Díez, Guillermo
Journal of Systems and Software. 149 (2019) - p. 35-62 , 2019

Link: https://doi.org/10.1016/..

14

Parallel Cost Analysis:

Albert, Elvira ; Correas, Jesús ; Johnsen, Einar Broch..
ACM Transactions on Computational Logic (TOCL). 19 (2018) 4 - p. 1-37 , 2018

Link: https://dl.acm.org/doi/1..

15

Parallel Cost Analysis:

Albert, Elvira ; Correas, Jesús ; Johnsen, Einar Broch..
ACM Transactions on Computational Logic. 19 (2018) 4 - p. 1-37 , 2018

Link: https://doi.org/10.1145/..