Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. - Pankaj Chauhan; Edmund M. Clarke; James H. Kukula; Samir Sapra; Helmut Veith; Dong Wang (FMCAD, 2002)

SAT-Based Algorithms for Logic Minimization. - Samir Sapra; Michael Theobald; Edmund M. Clarke (ICCD, 2003)

RFDump: an architecture for monitoring the wireless ether. - Kaushik Lakshminarayanan; Samir Sapra; Srinivasan Seshan; Peter Steenkiste (CoNEXT, 2009)

A Non-prenex, Non-clausal QBF Solver with Game-State Learning. - William Klieber; Samir Sapra; Sicun Gao; Edmund M. Clarke (SAT, 2010)

Efficient Predicate Abstraction of Program Summaries. - Arie Gurfinkel; Sagar Chaki; Samir Sapra (NASA Formal Methods, 2011)

Finding Errors in Python Programs Using Dynamic Symbolic Execution. - Samir Sapra; Marius Minea; Sagar Chaki; Arie Gurfinkel; Edmund M. Clarke (ICTSS, 2013)