Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Albert, Elvira
856  Ergebnisse:
Personensuche X
?
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

Inferring Needless Write Memory Accesses on Ethereum Byteco..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Albert, Elvira ; Correas, Jesús ; Gordillo, Pablo.. - p. 448-466 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Formally Verified EVM Block-Optimizations:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Albert, Elvira ; Genaim, Samir ; Kirchner, Daniel. - p. 176-189 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Relaxed Effective Callback Freedom: A Parametric Correctnes..:

Albert, Elvira ; Grossman, Shelly ; Rinetzky, Noam...
IEEE Transactions on Dependable and Secure Computing.  20 (2023)  3 - p. 2256-2273 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Using Automated Reasoning Techniques for Enhancing the Effi..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Albert, Elvira ; Gordillo, Pablo ; Hernández-Cerezo, Alejandro.. - p. 3-7 , 2022
Link: https://doi.org/10.1007/..
 
?
7

A Max-SMT Superoptimizer for EVM handling Memory and Storag:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Albert, Elvira ; Gordillo, Pablo ; Hernández-Cerezo, Alejandro. - p. 201-219 , 2022
Link: https://doi.org/10.1007/..
 
?
8

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/..
 
?
9

When COSTA Met KeY: Verified Cost Bounds:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,
Albert, Elvira ; Genaim, Samir ; Merayo, Alicia. - p. 19-37 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Distilling Constraints in Zero-Knowledge Protocols:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Albert, Elvira ; Bellés-Muñoz, Marta ; Isabel, Miguel.. - p. 430-443 , 2022
Link: https://doi.org/10.1007/..
 
?
11

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/..
 
?
12

Certified Abstract Cost Analysis:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Albert, Elvira ; Hähnle, Reiner ; Merayo, Alicia. - p. 24-45 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Lower-Bound Synthesis Using Loop Specialization and Max-SMT:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Albert, Elvira ; Genaim, Samir ; Martin-Martin, Enrique.. - p. 863-886 , 2021
Link: https://doi.org/10.1007/..
 
?
14

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/..
 
?
15

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/..
 
1-15