BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Saurabh Joshi
SearchCollections
Map detail
Saurabh Joshi12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSaurabh JoshiASaurabh JoshiResearcherGeneralized Totalizer Encoding for Pseudo-Boolean ConstraintsWGeneralized Totalizer E...preprint / 2015Automatically finding atomic regions for fixing bugs in Concurrent programsWAutomatically finding a...preprint / 2014Property-Driven Fence Insertion using Reorder Bounded Model CheckingWProperty-Driven Fence I...preprint / 2015Hardware/Software Co-verification Using Path-based Symbolic ExecutionWHardware/Software Co-ve...preprint / 2020Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution)WPinaka: Symbolic Execut...preprint / 2019On the Tractability of (k,i)-ColoringWOn the Tractability of ...preprint / 2018Incremental Cardinality Constraints for MaxSATWIncremental Cardinality...preprint / 2014Safety Verification and Refutation by k-invariants and k-induction (extended version)WSafety Verification and...preprint / 2015The Virtues of Conflict: Analyzing Modern ConcurrencyWThe Virtues of Conflict...preprint / 2016Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)WEquivalence Checking a ...preprint / 2016LLOV: A Fast Static Data-Race Checker for OpenMP ProgramsWLLOV: A Fast Static Dat...preprint / 2020
Person11 links

Saurabh Joshi

Researcher

PaperGeneralized Totalizer Encoding for Pseudo-Boolean ConstraintsAuthorship / preprint / 2015PaperAutomatically finding atomic regions for fixing bugs in Concurrent programsAuthorship / preprint / 2014PaperProperty-Driven Fence Insertion using Reorder Bounded Model CheckingAuthorship / preprint / 2015PaperHardware/Software Co-verification Using Path-based Symbolic ExecutionAuthorship / preprint / 2020PaperPinaka: Symbolic Execution meets Incremental Solving (Competition Contribution)Authorship / preprint / 2019PaperOn the Tractability of (k,i)-ColoringAuthorship / preprint / 2018PaperIncremental Cardinality Constraints for MaxSATAuthorship / preprint / 2014PaperSafety Verification and Refutation by k-invariants and k-induction (extended version)Authorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)