| Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce International Conference on Principles and Practice of Constraint …, 2014 | 76 | 2014 |
| 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 | 57 | 2017 |
| 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 | 45 | 2015 |
| Generalized Totalizer Encoding for Pseudo-Boolean Constraints S Joshi, R Martins, V Manquinho International Conference on Principles and Practice of Constraint …, 2015 | 34 | 2015 |
| Underspecified harnesses and interleaved bugs S Joshi, SK Lahiri, A Lal Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 34 | 2012 |
| Approximation Strategies for Incomplete MaxSAT S Joshi, P Kumar, R Martins, S Rao International Conference on Principles and Practice of Constraint …, 2018 | 17 | 2018 |
| Property-driven fence insertion using reorder bounded model checking S Joshi, D Kroening International Symposium on Formal Methods, 291-307, 2015 | 16 | 2015 |
| Reducing false alarms for static analysis of concurrent programs S Joshi, SK Lahiri, A Lal US Patent 8,793,664, 2014 | 8 | 2014 |
| Reducing false alarms for static analysis of concurrent programs S Joshi, SK Lahiri, A Lal US Patent 8,793,664, 2014 | 8 | 2014 |
| Pinaka: Symbolic Execution Meets Incremental Solving E Chaudhary, S Joshi International Conference on Tools and Algorithms for the Construction and …, 2019 | 7 | 2019 |
| 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 | 7 | 2019 |
| Phase Transition Behavior of Cardinality and XOR Constraints Y Pote, S Joshi, KS Meel International Joint Conferences on Artificial Intelligence, 2019 | 7 | 2019 |
| 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 | 7 | 2014 |
| 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 | 6 | 2012 |
| Reactivity in systemc transaction-level models F Doucet, RK Shyamasundar, IH Krüger, S Joshi, RK Gupta Haifa Verification Conference, 34-50, 2007 | 6 | 2007 |
| 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 | 5* | 2016 |
| Distributed generalized dynamic barrier synchronization S Agarwal, S Joshi, RK Shyamasundar International Conference on Distributed Computing and Networking, 143-154, 2011 | 4 | 2011 |
| 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 | 3 | 2020 |
| Automatically finding atomic regions for fixing bugs in Concurrent programs S Joshi, A Lal arXiv preprint arXiv:1403.1749, 2014 | 3 | 2014 |
| 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 | |
Daniel KroeningAmazonVerified email at cs.ox.ac.uk
