Saurabh Joshi

sbjoshi[at]iitg[dot]ernet[dot]in
+91 361 258 3257
Assistant Professor
Department of Computer Science and Engineering
IIT Guwahati
| Home | About Me | Research | Publications | Teaching | Student's Corner |

Publications

Peer-reviewed research articles

With :

  1. Ganesh Narayanaswamy and Daniel Kroening, "The Virtues of Conflict: Analysing Modern Concurrency", 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) 2016. [arXiv]

  2. Ruben Martins, Vasco Manquinho and Ines Lynce,"On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving", Journal of Satisfiability, Boolean Modelling and Computation (JSAT), Vol.9, pp.59-81, 2015. [paper]

  3. Marin Brain, Daniel Kroening and Peter Schrammel, "Safety Verification and Refutation by k-invariants and k-induction", 22nd International Static Analysis Symposium (SAS) 2015. [arXiv]

  4. Ruben Martins and Vasco Manquinho, "Generalized Totalizer Encoding for Pseudo-Boolean Constraints", 21st International Conference on Principles and Practice of Constraint Programming (CP) 2015. [arXiv]

  5. Daniel Kroening, "Property Driven Fence Insertion using Reorder Bounded Model Checking", 20th Inernational Symposium on Formal Methods (FM) 2015. [arXiv]

  6. Ruben Martins, Vasco Marquinho and Ines Lynce, "Incremental Cardinality Constraints for MaxSAT", 20th International Conference on Principles and Practice of Constraint Programming (CP) 2014. [arXiv]

  7. R K Shyamasundar and Sanjeev Aggarwal,"A New Method of MHP Analysis for Languages with Dynamic Barriers", 17th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS) 2012.

  8. Shuvendu K. Lahiri and Akash Lal, "Underspecified Harness and Interleaved Bugs", Symposium on Principles of Programming Languages (POPL) 2012.

  9. Shivali Agarwal and R K Shyamasundar, "Distributed Generalized Dynamic Barrier Synchronization", International Conference on Distributed Computing and Networking (ICDCN) 2011.

  10. Frederic Doucet, R.K. Shyamasundar, Ingolf H. Krueger and Rajesh K. Gupta, "Reactivity in SystemC Transaction-Level Models", Haifa Verification Conference (HVC) 2007.

With :
  1. Akash Lal, "Automatically finding atomic regions for fixing bugs in Concurrent programs", 2014. [arXiv]
powered by Pandoc

Last Modified at : Sat Mar 5 18:09:53 IST 2016