Saurabh Joshi
Title
Cited by
Cited by
Year
Incremental cardinality constraints for MaxSAT
R Martins, S Joshi, V Manquinho, I Lynce
International Conference on Principles and Practice of Constraint …, 2014
862014
Precise predictive analysis for discovering communication deadlocks in MPI programs
V Forejt, S Joshi, D Kroening, G Narayanaswamy, S Sharma
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (4), 15, 2017
652017
Safety Verification and Refutation by k-Invariants and k-Induction
M Brain, S Joshi, D Kroening, P Schrammel
International Static Analysis Symposium, 145-161, 2015
532015
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
S Joshi, R Martins, V Manquinho
International Conference on Principles and Practice of Constraint …, 2015
402015
Underspecified harnesses and interleaved bugs
S Joshi, SK Lahiri, A Lal
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
362012
Approximation Strategies for Incomplete MaxSAT
S Joshi, P Kumar, R Martins, S Rao
International Conference on Principles and Practice of Constraint …, 2018
182018
Property-driven fence insertion using reorder bounded model checking
S Joshi, D Kroening
International Symposium on Formal Methods, 291-307, 2015
152015
Llov: a fast static data-race checker for OpenMP programs
U Bora, S Das, P Kukreja, S Joshi, R Upadrasta, S Rajopadhye
ACM Transactions on Architecture and Code Optimization (TACO) 17 (4), 1-26, 2020
142020
Phase Transition Behavior of Cardinality and XOR Constraints
Y Pote, S Joshi, KS Meel
International Joint Conferences on Artificial Intelligence, 2019
112019
Pinaka: Symbolic Execution Meets Incremental Solving
E Chaudhary, S Joshi
International Conference on Tools and Algorithms for the Construction and …, 2019
92019
Reducing false alarms for static analysis of concurrent programs
S Joshi, SK Lahiri, A Lal
US Patent 8,793,664, 2014
92014
Reducing false alarms for static analysis of concurrent programs
S Joshi, SK Lahiri, A Lal
US Patent 8,793,664, 2014
92014
On using incremental encodings in unsatisfiability-based MaxSAT solving
R Martins, S Joshi, V Manquinho, I Lynce
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 59-81, 2014
92014
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT
S Joshi, P Kumar, S Rao, R Martins
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 73-97, 2019
82019
A New Method of MHP Analysis for Languages with Dynamic Barriers
S Joshi, RK Shyamasundar, SK Aggarwal
Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW …, 2012
82012
Equivalence checking of a floating-point unit against a high-level C model
R Mukherjee, S Joshi, A Griesmayer, D Kroening, T Melham
International Symposium on Formal Methods, 551-558, 2016
6*2016
Distributed generalized dynamic barrier synchronization
S Agarwal, S Joshi, RK Shyamasundar
International Conference on Distributed Computing and Networking, 143-154, 2011
62011
Reactivity in systemc transaction-level models
F Doucet, RK Shyamasundar, IH Krüger, S Joshi, RK Gupta
Haifa Verification Conference, 34-50, 2007
62007
Automatically finding atomic regions for fixing bugs in Concurrent programs
S Joshi, A Lal
arXiv preprint arXiv:1403.1749, 2014
42014
Hardware/Software Co-verification Using Path-based Symbolic Execution
R Mukherjee, S Joshi, J O'Leary, D Kroening, T Melham
arXiv preprint arXiv:2001.01324, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20