Jesús Correas Fernández

Orcid: 0000-0002-3219-0799

According to our database1, Jesús Correas Fernández authored at least 32 papers between 2002 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Inferring Needless Write Memory Accesses on Ethereum Bytecode.
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.
J. Syst. Softw., 2021

Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis.
IEEE Access, 2021

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

GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Smart, and also Reliable and Gas-Efficient, Contracts.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019
Peak resource analysis of concurrent distributed systems.
J. Syst. Softw., 2019

SAFEVM: a safety verifier for Ethereum smart contracts.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018
Parallel Cost Analysis.
ACM Trans. Comput. Log., 2018

Enhancing set constraint solvers with bound consistency.
Expert Syst. Appl., 2018

2016
Resource Analysis of Distributed Systems.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
A multi-domain incremental analysis engine and its application to incremental resource analysis.
Theor. Comput. Sci., 2015

Object-sensitive cost analysis for concurrent objects.
Softw. Test. Verification Reliab., 2015

Quantified abstract configurations of distributed systems.
Formal Aspects Comput., 2015

Non-cumulative Resource Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Parallel Cost Analysis of Distributed Systems.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Resource Analysis: From Sequential to Concurrent and Distributed Programs.
Proceedings of the FM 2015: Formal Methods, 2015

2014
Peak Cost Analysis of Distributed Systems.
Proceedings of the Static Analysis - 21st International Symposium, 2014

Static Inference of Transmission Data Sizes in Distributed Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013
Quantified Abstractions of Distributed Systems.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012
Incremental resource usage analysis.
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Automatic Inference of Bounds on Resource Consumption.
Proceedings of the Formal Methods for Components and Objects, 2012

Extending the TOY System with the ECLiPSe Solver over Sets of Integers.
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.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2008
A practical type analysis for verification of modular prolog programs.
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.
Proceedings of the Logic for Programming, 2006

2005
Experiments in Context-Sensitive Analysis of Modular Programs.
Proceedings of the Logic Based Program Synthesis and Transformation, 2005

2004
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

A Generic Framework for Context-Sensitive Analysis of Modular Programs.
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.
Proceedings of the Logic Programming, 19th International Conference, 2003

2002
A Configuration Framework for Distributed Logic Applications.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002


  Loading...