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
652014
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
382017
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
352015
Underspecified harnesses and interleaved bugs
S Joshi, SK Lahiri, A Lal
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
332012
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
S Joshi, R Martins, V Manquinho
International Conference on Principles and Practice of Constraint …, 2015
242015
Property-Driven Fence Insertion Using Reorder Bounded Model Checking
S Joshi, D Kroening
FM 2015: Formal Methods, 291-307, 2015
122015
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
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
Approximation Strategies for Incomplete MaxSAT
S Joshi, P Kumar, R Martins, S Rao
International Conference on Principles and Practice of Constraint …, 2018
32018
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
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
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*
Phase Transition Behavior of Cardinality and XOR Constraints
Y Pote, S Joshi, KS Meel
International Joint Conferences on Artificial Intelligence, 2019
2019
The virtues of conflict: analysing modern concurrency
G Narayanaswamy, S Joshi, D Kroening
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20