Guido Martínez

Orcid: 0009-0005-5831-9991

Affiliations:

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

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Securing Verified IO Programs Against Unverified Code in F.

[BibT_eX]

[DOI]

Cezar-Constantin Andrici

Proc. ACM Program. Lang., January, 2024

2023

Securely Compiling Verified F* Programs With IO.

[BibT_eX]

[DOI]

Cezar-Constantin Andrici

CoRR, 2023

2021

Steel: proof-oriented programming in a dependently typed concurrent separation logic.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

2020

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

2019

Dijkstra monads for all.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms.

[BibT_eX]

[DOI]

Monal Narasimhamurthy

Proceedings of the Programming Languages and Systems, 2019

2018

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

[BibT_eX]

[DOI]

Monal Narasimhamurthy

CoRR, 2018

Improving typeclass relations by being open.

[BibT_eX]

[DOI]

Guido Martínez

Mauro Jaskelioff

Guido De Luca

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2017

Confluence in Probabilistic Rewriting.

[BibT_eX]

[DOI]

Alejandro Díaz-Caro

Guido Martínez

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

Dijkstra monads for free.

[BibT_eX]

[DOI]

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Dijkstra Monads for Free.

[BibT_eX]

[DOI]

CoRR, 2016

Guido Martínez

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...