C-to-Verilog translation validation. - Alan Leung; Dimitar Bounov; Sorin Lerner (MEMOCODE, 2015)

Protecting C++ Dynamic Dispatch Through VTable Interleaving. - Dimitar Bounov; Rami Gökhan Kici; Sorin Lerner (NDSS, 2016)

Inferring Loop Invariants through Gamification. - Dimitar Bounov; Anthony DeRossi; Massimiliano Menarini; William G. Griswold; Sorin Lerner (CHI, 2018)

Toward Gamification and Crowdsourcing of Software Verification. - Dimitar Bounov (2018)