Dimitar Bounov

According to our database, Dimitar Bounov authored at least 4 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Toward Gamification and Crowdsourcing of Software Verification.

Dimitar Bounov

PhD thesis, 2018

Inferring Loop Invariants through Gamification.

Dimitar Bounov, Anthony DeRossi, Massimiliano Menarini, William G. Griswold, Sorin Lerner

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2016

Protecting C++ Dynamic Dispatch Through VTable Interleaving.

Dimitar Bounov, Rami Gökhan Kici, Sorin Lerner

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

2015

C-to-Verilog translation validation.

Alan Leung, Dimitar Bounov, Sorin Lerner

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015