Samir Sapra

Publication Activity (10 Years)

Years Active: 2002-2013
Publications (10 Years): 0

Top Topics

Specification Language

Symbolic Execution

Relational Databases

Top Venues

Publications

Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke
Finding Errors in Python Programs Using Dynamic Symbolic Execution. ICTSS (2013)
Arie Gurfinkel, Sagar Chaki, Samir Sapra
Efficient Predicate Abstraction of Program Summaries. NASA Formal Methods (2011)
William Klieber, Samir Sapra, Sicun Gao, Edmund M. Clarke
A Non-prenex, Non-clausal QBF Solver with Game-State Learning. SAT (2010)
Kaushik Lakshminarayanan, Samir Sapra, Srinivasan Seshan, Peter Steenkiste
RFDump: an architecture for monitoring the wireless ether. CoNEXT (2009)
Samir Sapra, Michael Theobald, Edmund M. Clarke
SAT-Based Algorithms for Logic Minimization. ICCD (2003)
Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. FMCAD (2002)