Saurabh Joshi

Cited by

	All	Since 2016
Citations	376	304
h-index	9	8
i10-index	7	7

2010201120122013201420152016201720182019202020214 2 7 11 15 25 44 54 53 62 61 27

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Daniel KroeningAmazonVerified email at amazon.com
Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Ganesh NarayanaswamyUniversity of OxfordVerified email at cs.ox.ac.uk
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Vojtěch ForejtDifflblueVerified email at diffblue.com
Subodh SharmaIIT DelhiVerified email at cse.iitd.ac.in
Sukrut RaoMax Planck Institute for Informatics, Saarland Informatics CampusVerified email at mpi-inf.mpg.de
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at sussex.ac.uk
Martin BrainUniversity of OxfordVerified email at cs.ox.ac.uk
Shuvendu LahiriPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Rk ShyamasundarIIT BombayVerified email at cse.iitb.ac.in
RAJDEEP MUKHERJEEAmazonVerified email at amazon.com
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Andreas GriesmayerImperial College LondonVerified email at arm.com
Yash PoteNUSVerified email at comp.nus.edu.sg
Kuldeep S. MeelAssistant Professor, National University of SingaporeVerified email at comp.nus.edu.sg
Prateek KumarVerified email at iith.ac.in
Rajesh K. GuptaProfessor of Computer Science and Engineering, Halıcıoğlu Data Science Institute, UC San DiegoVerified email at ucsd.edu

Saurabh Joshi

IIT Hyderabad

Verified email at cse.iith.ac.in - Homepage

Formal Methods Constraint Programming Software Verification Maximum Satisfiability


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Incremental cardinality constraints for MaxSAT R Martins, S Joshi, V Manquinho, I Lynce International Conference on Principles and Practice of Constraint …, 2014	79	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	61	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	51	2015
Generalized Totalizer Encoding for Pseudo-Boolean Constraints S Joshi, R Martins, V Manquinho International Conference on Principles and Practice of Constraint …, 2015	36	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	35	2012
Approximation Strategies for Incomplete MaxSAT S Joshi, P Kumar, R Martins, S Rao International Conference on Principles and Practice of Constraint …, 2018	18	2018
Property-driven fence insertion using reorder bounded model checking S Joshi, D Kroening International Symposium on Formal Methods, 291-307, 2015	15	2015
Pinaka: Symbolic Execution Meets Incremental Solving E Chaudhary, S Joshi International Conference on Tools and Algorithms for the Construction and …, 2019	9	2019
Phase Transition Behavior of Cardinality and XOR Constraints Y Pote, S Joshi, KS Meel International Joint Conferences on Artificial Intelligence, 2019	9	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	8	2019
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
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
Distributed generalized dynamic barrier synchronization S Agarwal, S Joshi, RK Shyamasundar International Conference on Distributed Computing and Networking, 143-154, 2011	6	2011
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
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	5	2020
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
Automatically finding atomic regions for fixing bugs in Concurrent programs S Joshi, A Lal arXiv preprint arXiv:1403.1749, 2014	4	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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors