Jess Correas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
11
Active years
2003–2024
Best venue rank
A
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISSTA | Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2023 | TACAS | Inferring Needless Write Memory Accesses on Ethereum Bytecode. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2020 | ICST | Smart, and also Reliable and Gas-Efficient, Contracts. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2020 | TACAS | GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2019 | ISSTA | SAFEVM: a safety verifier for Ethereum smart contracts. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2015 | FM | Resource Analysis: From Sequential to Concurrent and Distributed Programs. | Elvira Albert, Puri Arenas, Jess Correas, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, Germn Puebla, Guillermo Romn-Dez |
| 2015 | SAS | Parallel Cost Analysis of Distributed Systems. | Elvira Albert, Jess Correas, Einar Broch Johnsen, Guillermo Romn-Dez |
| 2013 | IFM | Quantified Abstractions of Distributed Systems. | Elvira Albert, Jess Correas, Germn Puebla, Guillermo Romn-Dez |
| 2012 | PEPM | Incremental resource usage analysis. | Elvira Albert, Jess Correas, Germn Puebla, Guillermo Romn-Dez |
| 2008 | PEPM | A practical type analysis for verification of modular prolog programs. | Pawel Pietrzak, Jess Correas, Germn Puebla, Manuel V. Hermenegildo |
| 2006 | LPAR | Context-Sensitive Multivariant Assertion Checking in Modular Programs. | Pawel Pietrzak, Jess Correas, Germn Puebla, Manuel V. Hermenegildo |
| 2005 | LOPSTR | Experiments in Context-Sensitive Analysis of Modular Programs. | Jess Correas, Germn Puebla, Manuel V. Hermenegildo, Francisco Bueno |
| 2004 | PADL | A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). | Jess Correas, Jos M. Gmez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo |
| 2003 | ICLP | A Generic Persistence Model for (C)LP Systems. | Jess Correas, Jos M. Gmez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo |