Login / Signup
Victor Dumitrescu
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Modulo Theories
Theorem Prover
Statistical Machine Translation
Meta Level
Top Venues
CoRR
ESOP
</>
Publications
</>
Guido Martínez
,
Danel Ahman
,
Victor Dumitrescu
,
Nick Giannarakis
,
Chris Hawblitzel
,
Catalin Hritcu
,
Monal Narasimhamurthy
,
Zoe Paraskevopoulou
,
Clément Pit-Claudel
,
Jonathan Protzenko
,
Tahina Ramananandro
,
Aseem Rastogi
,
Nikhil Swamy
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms.
ESOP
(2019)
Guido Martínez
,
Danel Ahman
,
Victor Dumitrescu
,
Nick Giannarakis
,
Chris Hawblitzel
,
Catalin Hritcu
,
Monal Narasimhamurthy
,
Zoe Paraskevopoulou
,
Clément Pit-Claudel
,
Jonathan Protzenko
,
Tahina Ramananandro
,
Aseem Rastogi
,
Nikhil Swamy
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier.
CoRR
(2018)