Dimitar Bounov

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 3

Top Topics

Geometric Invariants

Query Translation

Top Venues

University of California San Diego, USA (PHD)

Education History

University of California San Diego, USA

PHD

Publications

Dimitar Bounov, Anthony DeRossi, Massimiliano Menarini, William G. Griswold, Sorin Lerner
Inferring Loop Invariants through Gamification. CHI (2018)
Dimitar Bounov, Rami Gökhan Kici, Sorin Lerner
Protecting C++ Dynamic Dispatch Through VTable Interleaving. NDSS (2016)
Alan Leung, Dimitar Bounov, Sorin Lerner
C-to-Verilog translation validation. MEMOCODE (2015)