| Dijkstra monads for free D Ahman, C Hriţcu, K Maillard, G Martínez, G Plotkin, J Protzenko, ... Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 81 | 2017 |
| Dijkstra monads for all K Maillard, D Ahman, R Atkey, G Martínez, C Hriţcu, E Rivas, É Tanter Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019 | 68 | 2019 |
| Meta-F: Proof Automation with SMT, Tactics, and Metaprograms G Martínez, D Ahman, V Dumitrescu, N Giannarakis, C Hawblitzel, ... European Symposium on Programming, 30-59, 2019 | 52 | 2019 |
| SteelCore: an extensible concurrent separation logic for effectful dependently typed programs N Swamy, A Rastogi, A Fromherz, D Merigoux, D Ahman, G Martínez Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020 | 35 | 2020 |
| Steel: proof-oriented programming in a dependently typed concurrent separation logic A Fromherz, A Rastogi, N Swamy, S Gibson, G Martínez, D Merigoux, ... Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021 | 25 | 2021 |
| Confluence in probabilistic rewriting A Díaz-Caro, G Martinez Electronic Notes in Theoretical Computer Science 338, 115-131, 2018 | 12 | 2018 |
| Securing Verified IO Programs Against Unverified Code in F CC Andrici, Ș Ciobâcă, C Hriţcu, G Martínez, E Rivas, É Tanter, ... Proceedings of the ACM on Programming Languages 8 (POPL), 2226-2259, 2024 | 3 | 2024 |
| Proof-Oriented Programming in F* N Swamy, G Martinez, A Rastogi | 3 | 2023 |
| Partial dijkstra monads for all T Winterhalter, CC Andrici, C Hriţcu, K Maillard, G Martínez, E Rivas TYPES, 2022 | 2 | 2022 |
| Programming and Proving with Indexed Effects A Rastogi, G Martínez, A Fromherz, T Ramananandro, N Swamy Microsoft Research, 2020 | 2 | 2020 |
| Securely Compiling Verified F* Programs With IO. CC Andrici, C Hritcu, G Martínez, E Rivas, T Winterhalter CoRR, 2023 | | 2023 |
| Dijkstra Monads for All D AHMAN, R ATKEY, G MARTÍNEZ, H CĂTĂLIN, R EXEQUIEL, ... | | 2019 |
| Improving typeclass relations by being open G Martínez, M Jaskelioff, G De Luca ACM SIGPLAN Notices 53 (7), 68-80, 2018 | | 2018 |
| Layered Indexed Effects A RASTOGI, G MARTÍNEZ, A FROMHERZ, T RAMANANANDRO, ... | | |
| ML as a Tactic Language, Again G MARTÍNEZ, D AHMAN, V DUMITRESCU, N GIANNARAKIS, ... | | |
