Travelled to:1 × Czech Republic
1 × Japan
1 × The Netherlands
1 × USA
Collaborated with:F.Pottier ∅ T.Balabonski S.Burckhardt D.Leijen M.Fähndrich G.Martínez D.Ahman C.Hritcu A.Rastogi N.Swamy K.Maillard G.D.Plotkin V.Dumitrescu N.Giannarakis C.Hawblitzel M.Narasimhamurthy Z.Paraskevopoulou C.Pit-Claudel T.Ramananandro
Talks about:mezzo (3) type (2) metaprogram (1) implement (1) protocol (1) dijkstra (1) abstract (1) sequenc (1) program (1) permiss (1)
Person: Jonathan Protzenko
DBLP: Protzenko:Jonathan
Contributed to:
2015
2014
2013
2013
2019
2017Wrote 6 papers:
- ECOOP-2015-BurckhardtLPF #abstraction #protocol #robust #sequence
- Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (SB, DL, JP, MF), pp. 568–590.
- FLOPS-2014-BalabonskiPP
- Type Soundness and Race Freedom for Mezzo (TB, FP, JP), pp. 253–269.
- ICFP-2013-PottierP #programming
- Programming with permissions in Mezzo (FP, JP), pp. 173–184.
- IFL-2013-Protzenko #implementation
- The implementation of the Mezzo type-checker (JP), p. 129.
- ESOP-2019-MartinezADGHHNP #automation #metaprogramming #proving #smt
- Meta-F* : Proof Automation with SMT, Tactics, and Metaprograms (GM, DA, VD, NG, CH, CH, MN, ZP, CPC, JP, TR, AR, NS), pp. 30–59.
- POPL-2017-AhmanHMMPPRS #for free #monad
- Dijkstra monads for free (DA, CH, KM, GM, GDP, JP, AR, NS), pp. 515–529.