Guido Martínez

Orcid: 0009-0005-5831-9991

Affiliations:
  • CIFASIS-CONICET & Universidad Nacional de Rosario, Rosario, Santa Fe, Argentina


According to our database1, Guido Martínez authored at least 11 papers between 2016 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Securing Verified IO Programs Against Unverified Code in F.
Proc. ACM Program. Lang., January, 2024

2023
Securely Compiling Verified F* Programs With IO.
CoRR, 2023

2021
Steel: proof-oriented programming in a dependently typed concurrent separation logic.
Proc. ACM Program. Lang., 2021

2020
SteelCore: an extensible concurrent separation logic for effectful dependently typed programs.
Proc. ACM Program. Lang., 2020

2019
Dijkstra monads for all.
Proc. ACM Program. Lang., 2019

Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms.
Proceedings of the Programming Languages and Systems, 2019

2018
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier.
CoRR, 2018

Improving typeclass relations by being open.
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2017
Confluence in Probabilistic Rewriting.
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

Dijkstra monads for free.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
Dijkstra Monads for Free.
CoRR, 2016


  Loading...