Jesús Correas

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 13

Top Topics

Rates Of Convergence

Distributed Systems

Top Venues

J. Syst. Softw.

ACM Trans. Comput. Log.

Publications

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)
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 (2023)
Jesús Correas, Pablo Gordillo, Guillermo Román-Díez
Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis. IEEE Access 9 (2021)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
- Parametric gas bounds for smart contracts. J. Syst. Softw. 176 (2021)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
Smart, and also Reliable and Gas-Efficient, Contracts. ICST (2020)
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 (2020)
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)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
SAFEVM: a safety verifier for Ethereum smart contracts. ISSTA (2019)
Elvira Albert, Jesús Correas, Guillermo Román-Díez
Peak resource analysis of concurrent distributed systems. J. Syst. Softw. 149 (2019)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. CoRR (2019)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
SAFEVM: A Safety Verifier for Ethereum Smart Contracts. CoRR (2019)
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) (2018)
Elvira Albert, Jesús Correas, Guillermo Román-Díez
Resource Analysis of Distributed Systems. Theory and Practice of Formal Methods (2016)
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)
Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez
Parallel Cost Analysis of Distributed Systems. SAS (2015)
Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
Quantified Abstractions of Distributed Systems. IFM (2013)
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)
Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
Incremental resource usage analysis. PEPM (2012)
Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. FACS (2010)
Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
A practical type analysis for verification of modular prolog programs. PEPM (2008)
Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR (2006)
Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR (2005)
Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). PADL (2004)
Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo
A Generic Persistence Model for (C)LP Systems. ICLP (2003)