| Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce International Conference on Principles and Practice of Constraint …, 2014 | 68 | 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 | 42 | 2017 |
| 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 | 42 | 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 | 33 | 2012 |
| Generalized Totalizer Encoding for Pseudo-Boolean Constraints S Joshi, R Martins, V Manquinho International Conference on Principles and Practice of Constraint …, 2015 | 29 | 2015 |
| Property-Driven Fence Insertion Using Reorder Bounded Model Checking S Joshi, D Kroening FM 2015: Formal Methods, 291-307, 2015 | 15 | 2015 |
| Approximation Strategies for Incomplete MaxSAT S Joshi, P Kumar, R Martins, S Rao International Conference on Principles and Practice of Constraint …, 2018 | 9 | 2018 |
| Reducing false alarms for static analysis of concurrent programs S Joshi, SK Lahiri, A Lal US Patent 8,793,664, 2014 | 7 | 2014 |
| Reducing false alarms for static analysis of concurrent programs S Joshi, SK Lahiri, A Lal US Patent 8,793,664, 2014 | 7 | 2014 |
| 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 |
| Pinaka: Symbolic Execution Meets Incremental Solving E Chaudhary, S Joshi International Conference on Tools and Algorithms for the Construction and …, 2019 | 5 | 2019 |
| 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 | 5 | 2012 |
| Distributed generalized dynamic barrier synchronization S Agarwal, S Joshi, RK Shyamasundar International Conference on Distributed Computing and Networking, 143-154, 2011 | 4 | 2011 |
| Phase Transition Behavior of Cardinality and XOR Constraints Y Pote, S Joshi, KS Meel International Joint Conferences on Artificial Intelligence, 2019 | 3 | 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, 59-81, 2015 | 3 | 2015 |
| 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 | |
| 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 | 2 | 2019 |
| 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 | 2 | 2018 |
| Automatically finding atomic regions for fixing bugs in Concurrent programs S Joshi, A Lal arXiv preprint arXiv:1403.1749, 2014 | 2 | 2014 |
Daniel KroeningProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
