Seguir
Saurabh Joshi
Saurabh Joshi
SupraOracles
Dirección de correo verificada de cse.iith.ac.in - Página principal
Título
Citado por
Citado por
Año
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
822017
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
812015
Generalized totalizer encoding for pseudo-boolean constraints
S Joshi, R Martins, V Manquinho
Principles and Practice of Constraint Programming: 21st International …, 2015
552015
Underspecified harnesses and interleaved bugs
S Joshi, SK Lahiri, A Lal
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
452012
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
182019
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
152019
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
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
72020
Open-WBO-Inc in MaxSAT Evaluation 2018
S Joshi, P Kumar, V Manquinho, R Martins, A Nadel, S Rao
MaxSAT Evaluation 2018, 16, 0
7*
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20