Saurabh Joshi


Website:
http://www.iith.ac.in/~sbjoshi
Email
sbjoshi@iith.ac.in
Publications
2017
Vojt?ch Forejt, Saurabh Joshi , Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
ACM Transactions on Programming Languages and Systems (TOPLAS); (2017/8/17)
2016
Rajdeep Mukherjee, Saurabh Joshi , Andreas Griesmayer, Daniel Kroening, Tom Melham
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings 21; (2016)
Ganesh Narayanaswamy, Saurabh Joshi , Daniel Kroening
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming; (2016/2/27)
2015
Saurabh Joshi , Ruben Martins, Vasco Manquinho
International Conference on Principles and Practice of Constraint Programming; (2015/8/31)
Ruben Martins, Saurabh Joshi , Vasco Manquinho, InÍs Lynce
Journal on Satisfiability, Boolean Modeling and Computation; (2015/12/16)
Martin Brain, Saurabh Joshi , Daniel Kroening
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings; (2015/9/1)
2014
Ruben Martins, Saurabh Joshi , Vasco Manquinho, InÍs Lynce
International Conference on Principles and Practice of Constraint Programming; (2014/9/8)
2012
Saurabh Joshi , Shuvendu K Lahiri, Akash Lal
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages; (2012/1/25)
Saurabh Joshi , RK Shyamasundar, Sanjeev K Aggarwal
Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW), 2012 IEEE 26th International; (2012/5/21)
2011
Shivali Agarwal, Saurabh Joshi , Rudrapatna K Shyamasundar
International Conference on Distributed Computing and Networking; (2011/1/2)
2007
Frederic Doucet, RK Shyamasundar, Ingolf H KrŁger, Saurabh Joshi , Rajesh K Gupta
Haifa Verification Conference; (2007/10/23)