Scholar
Guido Martínez
Google Scholar ID: XRPb1ecAAAAJ
Microsoft Research
Citations & Impact
Citations
323
H-index
6
i10-index
6
Publications
19
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Published numerous papers covering topics such as securely sharing mutable references, verified GPU programming, concurrent separation logic, and more. Participated in conferences like ICFP, CCS, ARRAY, PLDI, POPL, ESOP, etc.
Research Experience
- Has played key roles in multiple research projects, including SecRef*, Kuiper, PulseCore, etc.
Background
- Research Engineer at Microsoft Research, mainly working on the F* programming language / proof assistant.
Co-authors