ELVIRA MARÍA
ALBERT ALBIOL
Catedrática de universidad
Publicacions (159) Publicacions de ELVIRA MARÍA ALBERT ALBIOL
2024
-
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
Proceedings of the ACM on Programming Languages, Vol. 8
-
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis
2023
-
Formally Verified EVM Block-Optimizations
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Inferring Needless Write Memory Accesses on Ethereum Bytecode
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Optimal dynamic partial order reduction with context-sensitive independence and observers
Journal of Systems and Software, Vol. 202
-
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks
IEEE Transactions on Dependable and Secure Computing, Vol. 20, Núm. 3, pp. 2256-2273
2022
-
A Max-SMT Superoptimizer for EVM handling Memory and Storage
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Distilling Constraints in Zero-Knowledge Protocols
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Super-optimization of Smart Contracts
ACM Transactions on Software Engineering and Methodology, Vol. 31, Núm. 4
-
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
When COSTA Met KeY: Verified Cost Bounds
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 19-37
2021
-
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming, Vol. 118
-
Don't run on fumes—Parametric gas bounds for smart contracts
Journal of Systems and Software, Vol. 176
-
Lower-Bound Synthesis Using Loop Specialization and Max-SMT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020
-
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell
Fundamenta Informaticae, Vol. 177, Núm. 3-4, pp. 203-234
-
A Transformational Approach to Resource Analysis with Typed-norms Inference
Theory and Practice of Logic Programming, Vol. 20, Núm. 3, pp. 310-357
-
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Smart, and also Reliable and Gas-Efficient, Contracts
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
-
Synthesis of Super-Optimized Smart Contracts Using Max-SMT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Taming callbacks for smart contract modularity
Proceedings of the ACM on Programming Languages, Vol. 4, Núm. OOPSLA