Guido Martínez

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 14

Top Topics

Oriented Programming

Top Venues

Proc. ACM Program. Lang.

Publications

Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
Securing Verified IO Programs Against Unverified Code in F. Proc. ACM Program. Lang. 8 (POPL) (2024)
Cezar-Constantin Andrici, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
Securely Compiling Verified F* Programs With IO. CoRR (2023)
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs. CoRR (2021)
Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro
Steel: proof-oriented programming in a dependently typed concurrent separation logic. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
Dijkstra monads for all. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
Dijkstra Monads for All. CoRR (2019)
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
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. ESOP (2019)
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
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier. CoRR (2018)
Guido Martínez, Mauro Jaskelioff, Guido De Luca
Improving typeclass relations by being open. Haskell@ICFP (2018)
Alejandro Díaz-Caro, Guido Martínez
Confluence in Probabilistic Rewriting. LSFA (2017)
Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
Dijkstra monads for free. POPL (2017)
Alejandro Díaz-Caro, Guido Martínez
Confluence in Probabilistic Rewriting. CoRR (2017)
Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
Dijkstra Monads for Free. CoRR (2016)