default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSaurabh Joshi 0001
Person information
- affiliation: SupraOracles
- affiliation (former): Indian Institute of Technology Hyderabad (IIT Hyderabad)
- affiliation (former): Indian Institute of Technology Guwahati (IIT Guwahati)
- affiliation (former): University of Oxford, Department of Computer Science, UK
- affiliation (former): Indian Institute of Technology in Kanpur, India
Other persons with the same name
- Saurabh Joshi — disambiguation page
- Saurabh Joshi 0002 — Sandisk, Milpitas, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c18]Prasanth Chakka, Saurabh Joshi, Aniket Kate, Joshua Tobkin, David Yang:
Oracle Agreement: From an Honest Super Majority to Simple Majority. ICDCS 2023: 714-725- [i17]Prasanth Chakka, Saurabh Joshi, Aniket Kate, Joshua Tobkin, David Yang:
DORA: Distributed Oracle Agreement with Simple Majority. CoRR abs/2305.03903 (2023) - 2021
- [j5]Sriram Bhyravarapu
, Saurabh Joshi, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare:
On the tractability of (k, i)-coloring. Discret. Appl. Math. 305: 329-339 (2021) - [c17]Utpal Bora, Shraiysh Vaishay, Saurabh Joshi, Ramakrishna Upadrasta:
OpenMP aware MHP Analysis for Improved Static Data-Race Detection. LLVM-HPC@SC 2021: 1-11 - [c16]Archit Sanghi, Krishna P. Kadiyala, Praveen Tammana, Saurabh Joshi:
Anomaly Detection in Data Plane Systems using Packet Execution Paths. SPIN@SIGCOMM 2021: 9-15 - [c15]Saurabh Joshi, Gautam Muduganti:
GPURepair: Automated Repair of GPU Kernels. VMCAI 2021: 401-414 - [i16]Utpal Bora, Shraiysh Vaishay, Saurabh Joshi, Ramakrishna Upadrasta:
OpenMP aware MHP Analysis for Improved Static Data-Race Detection. CoRR abs/2111.04259 (2021) - 2020
- [j4]Utpal Bora, Santanu Das, Pankaj Kukreja, Saurabh Joshi, Ramakrishna Upadrasta, Sanjay V. Rajopadhye:
LLOV: A Fast Static Data-Race Checker for OpenMP Programs. ACM Trans. Archit. Code Optim. 17(4): 35:1-35:26 (2020) - [i15]Rajdeep Mukherjee, Saurabh Joshi, John O'Leary, Daniel Kroening, Tom Melham:
Hardware/Software Co-verification Using Path-based Symbolic Execution. CoRR abs/2001.01324 (2020) - [i14]Saurabh Joshi, Gautam Muduganti:
GPURepair: Automated Repair of GPU Kernels. CoRR abs/2011.08373 (2020)
2010 – 2019
- 2019
- [j3]Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins:
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. J. Satisf. Boolean Model. Comput. 11(1): 73-97 (2019) - [c14]Yash Pote, Saurabh Joshi, Kuldeep S. Meel:
Phase Transition Behavior of Cardinality and XOR Constraints. IJCAI 2019: 1162-1168 - [c13]Eti Chaudhary, Saurabh Joshi:
Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution). TACAS (3) 2019: 234-238 - [i13]Eti Chaudhary, Saurabh Joshi:
Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution). CoRR abs/1903.02309 (2019) - [i12]Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce:
Reflections on "Incremental Cardinality Constraints for MaxSAT". CoRR abs/1910.04643 (2019) - [i11]Yash Pote, Saurabh Joshi, Kuldeep S. Meel:
Phase Transition Behavior of Cardinality and XOR Constraints. CoRR abs/1910.09755 (2019) - [i10]Utpal Bora, Santanu Das, Pankaj Kukreja, Saurabh Joshi, Ramakrishna Upadrasta, Sanjay V. Rajopadhye:
LLOV: A Fast Static Data-Race Checker for OpenMP Programs. CoRR abs/1912.12189 (2019) - 2018
- [c12]Saurabh Joshi, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare, Sriram Bhyravarapu:
On the Tractability of (k, i)-Coloring. CALDAM 2018: 188-198 - [c11]Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao:
Approximation Strategies for Incomplete MaxSAT. CP 2018: 219-228 - [i9]Saurabh Joshi, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare, Sriram Bhyravarapu:
On the Tractability of (k, i)-Coloring. CoRR abs/1802.03634 (2018) - [i8]Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao:
Approximation Strategies for Incomplete MaxSAT. CoRR abs/1806.07164 (2018) - 2017
- [j2]Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma:
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. ACM Trans. Program. Lang. Syst. 39(4): 15:1-15:27 (2017) - 2016
- [c10]Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham:
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. FM 2016: 551-558 - [c9]Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening:
The virtues of conflict: analysing modern concurrency. PPoPP 2016: 25:1-25:12 - [i7]Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening:
The Virtues of Conflict: Analyzing Modern Concurrency. CoRR abs/1602.08321 (2016) - [i6]Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham:
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). CoRR abs/1609.00169 (2016) - 2015
- [c8]Saurabh Joshi, Ruben Martins, Vasco Manquinho:
Generalized Totalizer Encoding for Pseudo-Boolean Constraints. CP 2015: 200-209 - [c7]Saurabh Joshi, Daniel Kroening:
Property-Driven Fence Insertion Using Reorder Bounded Model Checking. FM 2015: 291-307 - [c6]Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel:
Safety Verification and Refutation by k-Invariants and k-Induction. SAS 2015: 145-161 - [i5]Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel:
Safety Verification and Refutation by k-invariants and k-induction (extended version). CoRR abs/1506.05671 (2015) - [i4]Saurabh Joshi, Ruben Martins, Vasco Manquinho:
Generalized Totalizer Encoding for Pseudo-Boolean Constraints. CoRR abs/1507.05920 (2015) - 2014
- [j1]Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce:
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. J. Satisf. Boolean Model. Comput. 9(1): 59-81 (2014) - [c5]Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce:
Incremental Cardinality Constraints for MaxSAT. CP 2014: 531-548 - [i3]Saurabh Joshi, Akash Lal:
Automatically finding atomic regions for fixing bugs in Concurrent programs. CoRR abs/1403.1749 (2014) - [i2]Saurabh Joshi, Daniel Kroening:
Property-Driven Fence Insertion using Reorder Bounded Model Checking. CoRR abs/1407.7443 (2014) - [i1]Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce:
Incremental Cardinality Constraints for MaxSAT. CoRR abs/1408.4628 (2014) - 2012
- [c4]Saurabh Joshi, R. K. Shyamasundar, Sanjeev K. Aggarwal:
A New Method of MHP Analysis for Languages with Dynamic Barriers. IPDPS Workshops 2012: 519-528 - [c3]Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal:
Underspecified harnesses and interleaved bugs. POPL 2012: 19-30 - 2011
- [c2]Shivali Agarwal, Saurabh Joshi, Rudrapatna K. Shyamasundar:
Distributed Generalized Dynamic Barrier Synchronization. ICDCN 2011: 143-154
2000 – 2009
- 2007
- [c1]Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta:
Reactivity in SystemC Transaction-Level Models. Haifa Verification Conference 2007: 34-50
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-19 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
