Saurabh Joshi
TitleCited byYear
Incremental cardinality constraints for MaxSAT
R Martins, S Joshi, V Manquinho, I Lynce
International Conference on Principles and Practice of Constraint …, 2014
692014
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
392017
Safety Verification and Refutation by k-Invariants and k-Induction
M Brain, S Joshi, D Kroening
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015
382015
Underspecified harnesses and interleaved bugs
S Joshi, SK Lahiri, A Lal
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
342012
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
S Joshi, R Martins, V Manquinho
International Conference on Principles and Practice of Constraint …, 2015
282015
Property-Driven Fence Insertion Using Reorder Bounded Model Checking
S Joshi, D Kroening
FM 2015: Formal Methods, 291-307, 2015
132015
Reducing false alarms for static analysis of concurrent programs
S Joshi, SK Lahiri, A Lal
US Patent 8,793,664, 2014
102014
Reducing false alarms for static analysis of concurrent programs
S Joshi, SK Lahiri, A Lal
US Patent 8,793,664, 2014
102014
Approximation Strategies for Incomplete MaxSAT
S Joshi, P Kumar, R Martins, S Rao
International Conference on Principles and Practice of Constraint …, 2018
62018
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
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model
R Mukherjee, S Joshi, A Griesmayer, D Kroening, T Melham
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
5*2016
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
52012
Pinaka: Symbolic Execution Meets Incremental Solving
E Chaudhary, S Joshi
International Conference on Tools and Algorithms for the Construction and …, 2019
32019
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, 59-81, 2015
32015
Open-WBO-Inc in MaxSAT Evaluation 2018
S Joshi, P Kumar, V Manquinho, R Martins, A Nadel, S Rao
MaxSAT Evaluation 2018, 16, 0
3
On the Tractab il ity of (k, i)-Color ing
S Joshi, S Kalyanasundaram, AS Kare, S Bhyravarapu
Conference on Algorithms and Discrete Applied Mathematics, 188-198, 2018
22018
Automatically finding atomic regions for fixing bugs in Concurrent programs
S Joshi, A Lal
arXiv preprint arXiv:1403.1749, 2014
22014
Phase Transition Behavior of Cardinality and XOR Constraints
Y Pote, S Joshi, KS Meel
International Joint Conferences on Artificial Intelligence, 2019
12019
Open-WBO in MaxSAT Evaluation 2017
R Martins, M Terra-Neves, S Joshi, M Janota, V Manquinho, I Lynce
MaxSAT Evaluation 2017, 17, 0
1*
The system can't perform the operation now. Try again later.
Articles 1–20