Department of Computer Science
University of Oxford
|| Home||| Research||| CV||| Maths Blog||| Linux Corner|
Program Analysis and Verification, Parallel Programs, Concurrency
Daniel Kroening, "Property Driven Fence Insertion using Reorder Bounded Model Checking", 20th Inernational Symposium on Formal Methods (FM) 2015 (to appear)
Ruben Martins, Vasco Marquinho and Ines Lynce, "Incremental Cardinality Constraints for MaxSAT", 20th International Conference on Principles and Practice of Constraint Programming (CP) 2014
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
Shuvendu K. Lahiri and Akash Lal, "Underspecified Harness and Interleaved Bugs", Symposium on Principles of Programming Languages (POPL) 2012.
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.
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.
Last Modified at : Thu 26 Mar 13:51:20 GMT 2015