Concepedia

Guido Martínez

GM

Statistics

Publications

4

Citations

102

H-Index

4

Active since

2016

Affiliations

Microsoft (United States)(Current)

Microsoft Research (India)

Consejo Nacional de Investigaciones Científicas y Técnicas

Centro Internacional Franco-Argentino de Ciencias de la Información y de Sistemas

State Key Laboratory of Cryptology

Guido Martínez is an author at Microsoft (United States) specializing in formal methods, formal verification, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationCompilersSoftware AnalysisFormal Specification

Publications per year

2016–2021

4

Publications

4

Dijkstra monads for free

Danel Ahman, Cătălin Hriţcu, Kenji Maillard et al. · 2016 · 44 citations · Full text

Mathematical Programming, Programming Language Theory, Engineering +14

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

Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz et al. · Proceedings of the ACM on Programming Languages · 2020 · 26 citations · Full text

Program Logics, Engineering, Extensible Csl +19

Confluence in Probabilistic Rewriting

Alejandro Díaz-Caro, Guido Martínez · Electronic Notes in Theoretical Computer Science · 2018 · 16 citations · Full text

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

Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy et al. · Proceedings of the ACM on Programming Languages · 2021 · 16 citations · Full text

Engineering, Verification, Automated Proof +19

1–4 of 4