Samir Sapra

According to our database, Samir Sapra authored at least 6 papers between 2002 and 2013.

Collaborative distances:

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

2013

Finding Errors in Python Programs Using Dynamic Symbolic Execution.

Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke

Proceedings of the Testing Software and Systems, 2013

2011

Efficient Predicate Abstraction of Program Summaries.

Arie Gurfinkel, Sagar Chaki, Samir Sapra

Proceedings of the NASA Formal Methods, 2011

2010

A Non-prenex, Non-clausal QBF Solver with Game-State Learning.

William Klieber, Samir Sapra, Sicun Gao, Edmund M. Clarke

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2009

RFDump: an architecture for monitoring the wireless ether.

Kaushik Lakshminarayanan, Samir Sapra, Srinivasan Seshan, Peter Steenkiste

Proceedings of the 2009 ACM Conference on Emerging Networking Experiments and Technology, 2009

2003

SAT-Based Algorithms for Logic Minimization.

Samir Sapra, Michael Theobald, Edmund M. Clarke

Proceedings of the 21st International Conference on Computer Design (ICCD 2003), 2003

2002

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

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002