Jesús Correas

26 papers A 3B 5C 4Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Harnessing heap analysis for the synthesis of superoptimized bytecode.
J. Syst. Softw.
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2024 A conf
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT.
ISSTA
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2023 J jnl
Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version).
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2023 — conf
Inferring Needless Write Memory Accesses on Ethereum Bytecode.
TACAS (1)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2021 J jnl
Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis.
IEEE Access
Jesús Correas, Pablo Gordillo, Guillermo Román-Díez
2020 J jnl
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph.
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2020 — conf
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts.
TACAS (2)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2020 A conf
Smart, and also Reliable and Gas-Efficient, Contracts.
ICST
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2019 J jnl
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts.
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2019 J jnl
Peak resource analysis of concurrent distributed systems.
J. Syst. Softw.
Elvira Albert, Jesús Correas, Guillermo Román-Díez
2019 J jnl
SAFEVM: A Safety Verifier for Ethereum Smart Contracts.
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2019 A conf
SAFEVM: a safety verifier for Ethereum smart contracts.
ISSTA
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2018 J jnl
Parallel Cost Analysis.
ACM Trans. Comput. Log.
Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez
2016 — conf
Resource Analysis of Distributed Systems.
Theory and Practice of Formal Methods
Elvira Albert, Jesús Correas, Guillermo Román-Díez
2015 B conf
Parallel Cost Analysis of Distributed Systems.
SAS
Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez
2015 B conf
Resource Analysis: From Sequential to Concurrent and Distributed Programs.
FM
Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez
2013 B conf
Quantified Abstractions of Distributed Systems.
IFM
Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
2012 — conf
Automatic Inference of Bounds on Resource Consumption.
FMCO
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
2012 C conf
Incremental resource usage analysis.
PEPM
Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
2010 — conf
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries.
FACS
Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla
2008 C conf
A practical type analysis for verification of modular prolog programs.
PEPM
Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
2006 B conf
Context-Sensitive Multivariant Assertion Checking in Modular Programs.
LPAR
Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
2005 C conf
Experiments in Context-Sensitive Analysis of Modular Programs.
LOPSTR
Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
2004 — ch.
A Generic Framework for Context-Sensitive Analysis of Modular Programs.
Program Development in Computational Logic
Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
2004 C conf
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).
PADL
Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo
2003 B conf
A Generic Persistence Model for (C)LP Systems.
ICLP
Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo