Collaborated with:G.Martínez D.Ahman N.Giannarakis C.Hawblitzel C.Hritcu M.Narasimhamurthy Z.Paraskevopoulou C.Pit-Claudel J.Protzenko T.Ramananandro A.Rastogi N.Swamy
Talks about:metaprogram (1) tactic (1) proof (1) autom (1) meta (1) smt (1)
Person: Victor Dumitrescu
DBLP: Dumitrescu:Victor
Contributed to:
2019Wrote 1 papers:
- 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.