Guido Martínez

19 papers A* 2A 1Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs.
Proc. ACM Program. Lang.
Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
2025 J jnl
SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F.
CoRR
Cezar-Constantin Andrici, Danel Ahman, Catalin Hritcu, Ruxandra Icleanu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
2025 J jnl
SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F.
Proc. ACM Program. Lang.
Cezar-Constantin Andrici, Danel Ahman, Catalin Hritcu, Ruxandra Icleanu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
2025 A* conf
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE.
CCS
Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy
2025 J jnl
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE.
CoRR
Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy
2024 J jnl
Securing Verified IO Programs Against Unverified Code in F.
Proc. ACM Program. Lang.
Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
2023 J jnl
Securely Compiling Verified F* Programs With IO.
CoRR
Cezar-Constantin Andrici, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
2021 J jnl
Steel: proof-oriented programming in a dependently typed concurrent separation logic.
Proc. ACM Program. Lang.
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro
2021 J jnl
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs.
CoRR
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
2020 J jnl
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs.
Proc. ACM Program. Lang.
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
2019 J jnl
Dijkstra Monads for All.
CoRR
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
2019 J jnl
Dijkstra monads for all.
Proc. ACM Program. Lang.
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
2019 A conf
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms.
ESOP
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
2018 — conf
Improving typeclass relations by being open.
Haskell@ICFP
Guido Martínez, Mauro Jaskelioff, Guido De Luca
2018 J jnl
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier.
CoRR
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
2017 J jnl
Confluence in Probabilistic Rewriting.
CoRR
Alejandro Díaz-Caro, Guido Martínez
2017 — conf
Confluence in Probabilistic Rewriting.
LSFA
Alejandro Díaz-Caro, Guido Martínez
2017 A* conf
Dijkstra monads for free.
POPL
Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
2016 J jnl
Dijkstra Monads for Free.
CoRR
Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy