Follow
Saurabh Joshi
Saurabh Joshi
SupraOracles
Verified email at cse.iith.ac.in - Homepage
Title
Cited by
Cited by
Year
Incremental cardinality constraints for MaxSAT
R Martins, S Joshi, V Manquinho, I Lynce
Principles and Practice of Constraint Programming: 20th International …, 2014
1132014
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
812017
Safety Verification and Refutation by k-Invariants and k-Induction
M Brain, S Joshi, D Kroening, P Schrammel
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015
782015
Generalized totalizer encoding for pseudo-boolean constraints
S Joshi, R Martins, V Manquinho
Principles and Practice of Constraint Programming: 21st International …, 2015
542015
Underspecified harnesses and interleaved bugs
S Joshi, SK Lahiri, A Lal
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
442012
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
302020
Approximation strategies for incomplete MaxSAT
S Joshi, P Kumar, R Martins, S Rao
Principles and Practice of Constraint Programming: 24th International …, 2018
252018
Property-driven fence insertion using reorder bounded model checking
S Joshi, D Kroening
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
192015
Pinaka: Symbolic Execution Meets Incremental Solving
E Chaudhary, S Joshi
International Conference on Tools and Algorithms for the Construction and …, 2019
172019
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
142019
Phase Transition Behavior of Cardinality and XOR Constraints
Y Pote, S Joshi, KS Meel
International Joint Conferences on Artificial Intelligence, 2019
142019
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
132014
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
102012
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
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
8*2016
Reactivity in systemc transaction-level models
F Doucet, RK Shyamasundar, IH Krüger, S Joshi, RK Gupta
Hardware and Software: Verification and Testing: Third International Haifa …, 2008
82008
Anomaly Detection in Data Plane Systems using Packet Execution Paths
A Sanghi, KP Kadiyala, P Tammana, S Joshi
Proceedings of the ACM SIGCOMM 2021 Workshop on Secure Programmable network …, 2021
62021
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
62020
Open-WBO-Inc in MaxSAT Evaluation 2018
S Joshi, P Kumar, V Manquinho, R Martins, A Nadel, S Rao
MaxSAT Evaluation 2018, 16, 0
6*
The system can't perform the operation now. Try again later.
Articles 1–20