Остановите войну!
for scientists:
default search action
Albert Rubio
- > Home > Persons > Albert Rubio
Publications
- 2023
- [j21]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) - [c53]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 - [i13]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
- [j19]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) - [c52]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 - [c51]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 - [c50]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 - 2021
- [j18]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) - [j17]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) - [c49]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 - 2020
- [j16]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) - [c48]Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett:
Synthesis of Super-Optimized Smart Contracts Using Max-SMT. CAV (1) 2020: 177-200 - [c47]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 - [c46]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 - [i12]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) - [i11]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) - 2019
- [j14]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) - [c45]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 - [c43]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 - [i9]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) - [i8]Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio:
Resource Analysis driven by (Conditional) Termination Proofs. CoRR abs/1907.10096 (2019) - [i7]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
- [c42]Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey:
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. ATVA 2018: 513-520 - [c41]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio:
Constrained Dynamic Partial Order Reduction. CAV (2) 2018: 392-410 - [c40]Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva:
SDN-Actors: Modeling and Verification of SDN Programs. FM 2018: 550-567 - [i6]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) - [i5]Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey:
GASTAP: A Gas Analyzer for Smart Contracts. CoRR abs/1811.10403 (2018)
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-04-25 01:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint