| Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce Principles and Practice of Constraint Programming: 20th International …, 2014 | 110 | 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 | 81 | 2017 |
| 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 | 75 | 2015 |
| Generalized totalizer encoding for pseudo-boolean constraints S Joshi, R Martins, V Manquinho Principles and Practice of Constraint Programming: 21st International …, 2015 | 51 | 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 | 42 | 2012 |
| 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 | 27 | 2020 |
| Approximation strategies for incomplete MaxSAT S Joshi, P Kumar, R Martins, S Rao Principles and Practice of Constraint Programming: 24th International …, 2018 | 24 | 2018 |
| 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 | 18 | 2015 |
| Pinaka: Symbolic Execution Meets Incremental Solving E Chaudhary, S Joshi International Conference on Tools and Algorithms for the Construction and …, 2019 | 16 | 2019 |
| Phase Transition Behavior of Cardinality and XOR Constraints Y Pote, S Joshi, KS Meel International Joint Conferences on Artificial Intelligence, 2019 | 14 | 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 | 13 | 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 | 13 | 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 | 10 | 2012 |
| Reducing false alarms for static analysis of concurrent programs S Joshi, SK Lahiri, A Lal US Patent 8,793,664, 2014 | 9 | 2014 |
| Reducing false alarms for static analysis of concurrent programs S Joshi, SK Lahiri, A Lal US Patent 8,793,664, 2014 | 9 | 2014 |
| 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 | 6 | 2020 |
| 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 | 6* | 2016 |
| Distributed generalized dynamic barrier synchronization S Agarwal, S Joshi, RK Shyamasundar Distributed Computing and Networking: 12th International Conference, ICDCN …, 2011 | 6 | 2011 |
| 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 | 6 | 2008 |
| 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* | |
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
