Saurabh Joshi saurabh.joshi[at]cs[dot]ox[dot]ac[dot]uk Research Assistant Department of Computer Science University of Oxford

Research

Research Interests

Program Analysis and Verification, Parallel Programs, Concurrency

Publications

With :

1. Daniel Kroening, "Property Driven Fence Insertion using Reorder Bounded Model Checking", 20th Inernational Symposium on Formal Methods (FM) 2015 (to appear)

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

3. 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

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

5. Shivali Agarwal and 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.

6. 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 : Thu 26 Mar 13:51:20 GMT 2015