Enrique Martin-Martin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
13
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Towards Formally Verified Smart Contracts Compilation. | Elvira Albert, Samir Genaim, Enrique Martin-Martin |
| 2025 | SEFM | Securely Optimized (Ethereum) Smart Contracts Using Formal Methods. | Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernndez-Cerezo, Enrique Martin-Martin, Albert Rubio |
| 2023 | CAV | Formally Verified EVM Block-Optimizations. | Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin |
| 2022 | SEKE | Improving Database Learning with an Automatic Judge. | Enrique Martin-Martin, Manuel Montenegro, Adrin Riesco, Rubn Rubio |
| 2021 | CAV | Lower-Bound Synthesis Using Loop Specialization and Max-SMT. | Elvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio |
| 2016 | LOPSTR | A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. | Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin |
| 2016 | TAP | Debugging Meets Testing in Erlang. | Salvador Tamarit, Adrin Riesco, Enrique Martin-Martin, Rafael Caballero |
| 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 |
| 2014 | ISoLA | Static Inference of Transmission Data Sizes in Distributed Systems. | Elvira Albert, Jess Correas Fernndez, Enrique Martin-Martin, Guillermo Romn-Dez |
| 2014 | TACAS | SACO: Static Analyzer for Concurrent Objects. | Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Romn-Dez |
| 2014 | TACAS | EDD: A Declarative Debugger for Sequential Erlang Programs. | Rafael Caballero, Enrique Martin-Martin, Adrin Riesco, Salvador Tamarit |
| 2013 | ATVA | Termination and Cost Analysis of Loops with Concurrent Interleavings. | Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin |
| 2013 | LPAR | May-Happen-in-Parallel Analysis for Priority-Based Scheduling. | Elvira Albert, Samir Genaim, Enrique Martin-Martin |
| 2013 | PEPM | Typing as functional-logic evaluation. | Francisco Javier Lpez-Fraguas, Enrique Martin-Martin |
| 2013 | TAP | A Declarative Debugger for Sequential Erlang Programs. | Rafael Caballero, Enrique Martin-Martin, Adrin Riesco, Salvador Tamarit |
| 2012 | PEPM | Well-typed narrowing with extra variables in functional-logic programming. | Francisco Javier Lpez-Fraguas, Enrique Martin-Martin, Juan Rodrguez-Hortal |
| 2012 | PPDP | Transparent function types: clearing up opacity. | Enrique Martin-Martin, Juan Rodrguez-Hortal |
| 2011 | PEPM | Type classes in functional logic programming. | Enrique Martin-Martin |
| 2010 | APLAS | Liberal Typing for Functional Logic Programs. | Francisco Javier Lpez-Fraguas, Enrique Martin-Martin, Juan Rodrguez-Hortal |