Collaborated with:L.Lampropoulos B.C.Pierce G.Martínez D.Ahman V.Dumitrescu N.Giannarakis C.Hawblitzel C.Hritcu M.Narasimhamurthy C.Pit-Claudel J.Protzenko T.Ramananandro A.Rastogi N.Swamy
Talks about:generat (2) metaprogram (1) tactic (1) induct (1) relat (1) proof (1) autom (1) meta (1) good (1) smt (1)
Person: Zoe Paraskevopoulou
DBLP: Paraskevopoulou:Zoe
Contributed to:
2019
2018Wrote 2 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.
- POPL-2018-LampropoulosPP #generative #induction
- Generating good generators for inductive relations (LL, ZP, BCP), p. 30.