| Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce International Conference on Principles and Practice of Constraint …, 2014 | 94 | 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 | 71 | 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 | 63 | 2015 |
| Generalized Totalizer Encoding for Pseudo-Boolean Constraints S Joshi, R Martins, V Manquinho International Conference on Principles and Practice of Constraint …, 2015 | 47 | 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 | 39 | 2012 |
| Approximation Strategies for Incomplete MaxSAT S Joshi, P Kumar, R Martins, S Rao International Conference on Principles and Practice of Constraint …, 2018 | 22 | 2018 |
| Property-driven fence insertion using reorder bounded model checking S Joshi, D Kroening International Symposium on Formal Methods, 291-307, 2015 | 16 | 2015 |
| 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 | 15 | 2020 |
| Pinaka: Symbolic Execution Meets Incremental Solving E Chaudhary, S Joshi International Conference on Tools and Algorithms for the Construction and …, 2019 | 14 | 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 | 11 | 2014 |
| Phase Transition Behavior of Cardinality and XOR Constraints Y Pote, S Joshi, KS Meel International Joint Conferences on Artificial Intelligence, 2019 | 10 | 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 | 9 | 2019 |
| 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 |
| 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 | 8 | 2012 |
| 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 | 6* | 2016 |
| 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 |
| Distributed generalized dynamic barrier synchronization S Agarwal, S Joshi, RK Shyamasundar International Conference on Distributed Computing and Networking, 143-154, 2011 | 5 | 2011 |
| 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 | 4 | 2020 |
| Automatically finding atomic regions for fixing bugs in Concurrent programs S Joshi, A Lal arXiv preprint arXiv:1403.1749, 2014 | 4 | 2014 |
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
