Saurabh Joshi


Research Scholar
Department of Computer Science and Engineering
Indian Institute of Technology Kanpur

| Home | Research | CV | IITB Home | Maths Blog | Linux Corner | Gujarati TypePad | My GPG Public Key


Research Interests

Program Analysis and Verification, Parallel Programs



With :

  1. R K Shyamasundar, 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 ( To appear )

  2. ACM DL Author-ize serviceUnderspecified harnesses and interleaved bugs
    Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal
    ACM SIGPLAN Notices - POPL '12,2012
  3. Shivali Agarwal, R K Shyamasundar, "Distributed Generalized Dynamic Barrier Synchronization", International Conference on Distributed Computing and Networking ( ICDCN ) 2011, Lecture Notes in Computer Science, Springer, Vol-6522,pp.143-154.

  4. Frederic Doucet, R.K. Shyamasundar, Ingolf H. Krueger and Rajesh K. Gupta, "Reactivity in SystemC Transaction-Level Models", Haifa Verification Conference ( HVC 2007 ), Lecture Notes in Computer science, Springer, Vol-4899,pp.34-50.

powered by Pandoc

Last Modified at : Wed May 9 19:31:45 IST 2012