Saurabh Joshi

Identifiers

• name variant Saurabh Joshi 0.60 · backfill

Papers (7)

1. Approximation Strategies for Incomplete MaxSAT cs.LO · 2018 · author #1
2. Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version) cs.SE · 2016 · author #2
3. The Virtues of Conflict: Analyzing Modern Concurrency cs.SE · 2016 · author #2
4. Safety Verification and Refutation by k-invariants and k-induction (extended version) cs.LO · 2015 · author #2
5. Incremental Cardinality Constraints for MaxSAT cs.LO · 2014 · author #2
6. Property-Driven Fence Insertion using Reorder Bounded Model Checking cs.SE · 2014 · author #1
7. Automatically finding atomic regions for fixing bugs in Concurrent programs cs.SE · 2014 · author #1

Mentions

• 1506.05671 #2 · backfill · confidence 0.70 Saurabh Joshi
• 1408.4628 #2 · backfill · confidence 0.70 Saurabh Joshi
• 1407.7443 #1 · backfill · confidence 0.70 Saurabh Joshi
• 1403.1749 #1 · backfill · confidence 0.70 Saurabh Joshi

Frequent Coauthors

• Daniel Kroening 4 shared papers
• Ruben Martins 2 shared papers
• Akash Lal 1 shared papers
• Andreas Griesmayer 1 shared papers
• Ganesh Narayanaswamy 1 shared papers
• Ines Lynce 1 shared papers
• Martin Brain 1 shared papers
• Peter Schrammel 1 shared papers
• Prateek Kumar 1 shared papers
• Rajdeep Mukherjee 1 shared papers
• Sukrut Rao 1 shared papers
• Tom Melham 1 shared papers
• Vasco Manquinho 1 shared papers