Login / Signup
Samir Sapra
Publication Activity (10 Years)
Years Active: 2002-2013
Publications (10 Years): 0
Top Topics
Specification Language
Symbolic Execution
Data Flow
Relational Databases
Top Venues
ICTSS
</>
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)