Jesús Correas Fernández

According to our database, Jesús Correas Fernández authored at least 41 papers between 2002 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Harnessing heap analysis for the synthesis of superoptimized bytecode.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

J. Syst. Softw., 2025

2024

Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version).

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

CoRR, 2023

Inferring Needless Write Memory Accesses on Ethereum Bytecode.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2021

<i>Don't run on fumes</i> - Parametric gas bounds for smart contracts.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

J. Syst. Softw., 2021

Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis.

Jesús Correas, Pablo Gordillo, Guillermo Román-Díez

IEEE Access, 2021

2020

Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

CoRR, 2020

GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Smart, and also Reliable and Gas-Efficient, Contracts.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Peak resource analysis of concurrent distributed systems.

Elvira Albert, Jesús Correas, Guillermo Román-Díez

J. Syst. Softw., 2019

SAFEVM: a safety verifier for Ethereum smart contracts.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

Parallel Cost Analysis.

Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez

ACM Trans. Comput. Log., 2018

Enhancing set constraint solvers with bound consistency.

Jesús Correas Fernández, Sonia Estévez Martín, Fernando Sáenz-Pérez

Expert Syst. Appl., 2018

2016

Resource Analysis of Distributed Systems.

Elvira Albert, Jesús Correas, Guillermo Román-Díez

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

A multi-domain incremental analysis engine and its application to incremental resource analysis.

Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez

Theor. Comput. Sci., 2015

Object-sensitive cost analysis for concurrent objects.

Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez

Softw. Test. Verification Reliab., 2015

Quantified abstract configurations of distributed systems.

Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez

Formal Aspects Comput., 2015

Non-cumulative Resource Analysis.

Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Parallel Cost Analysis of Distributed Systems.

Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Resource Analysis: From Sequential to Concurrent and Distributed Programs.

Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez

Proceedings of the FM 2015: Formal Methods, 2015

2014

Peak Cost Analysis of Distributed Systems.

Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez

Proceedings of the Static Analysis - 21st International Symposium, 2014

Static Inference of Transmission Data Sizes in Distributed Systems.

Elvira Albert, Jesús Correas Fernández, Enrique Martin-Martin, Guillermo Román-Díez

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

Quantified Abstractions of Distributed Systems.

Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Incremental resource usage analysis.

Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Automatic Inference of Bounds on Resource Consumption.

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

Proceedings of the Formal Methods for Components and Objects, 2012

Extending the TOY System with the ECLiPSe Solver over Sets of Integers.

Sonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2010

Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries.

Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2008

A practical type analysis for verification of modular prolog programs.

Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2006

Context-Sensitive Multivariant Assertion Checking in Modular Programs.

Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic for Programming, 2006

2005

Experiments in Context-Sensitive Analysis of Modular Programs.

Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

2004

A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).

Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

A Generic Framework for Context-Sensitive Analysis of Modular Programs.

Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

2003

A Generic Persistence Model for (C)LP Systems.

Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

A Configuration Framework for Distributed Logic Applications.

Jesús Correas Fernández, Francisco Bueno Carrillo

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002