| 2015 | CAV | The SeaHorn Verification Framework. | Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas |
| 2015 | FMCAD | Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays. | Anvesh Komuravelli, Nikolaj S. Bjrner, Arie Gurfinkel, Kenneth L. McMillan |
| 2014 | CAV | SMT-Based Model Checking for Recursive Programs. | Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki |
| 2013 | CAV | Automatic Abstraction in SMT-Based Unbounded Software Model Checking. | Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke |
| 2012 | CAV | Assume-Guarantee Abstraction Refinement for Probabilistic Systems. | Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke |
| 2012 | LICS | Learning Probabilistic Systems from Tree Samples. | Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke |
| 2011 | ASPDAC | Analog circuit verification by statistical model checking. | Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani, Edmund M. Clarke |
| 2009 | SSS | Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision. | Anvesh Komuravelli, Mats Mihalk |
| 2008 | IWCIA | Connectivity Preserving Voxel Transformation. | Anvesh Komuravelli, Arnab Sinha, Arijit Bishnu |