Assistant Professor Department of CSE, Academic Block C, Cabin: 312/F, IIT Hyderabad Kandi, Sangareddy Telangana, India - 502285 Email : firstname.lastname@example.org
Prateek Kumar, Ruben Martins, and Sukrut Rao, "Approximation Strategies for Incomplete MaxSAT", (CP) 2018. (accepted)
Subramaniam Kalyanasundaram, Anjaneya Swami Kare, and Bhyravarapu Sriram, "On the Tractability of (k,i)-coloring", (CALDAM) 2018. [arXiv]
Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy and Subodh Sharma, "Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs", (TOPLAS) 2017. [pre-print]
Rajdeep Mukherjee, Andreas Griesmayer, Daniel Kroening and Tom Melham, "Equivalence Checking of a Floating-point Unit Against a High-level C Model" (FM) 2016. [arXiv]
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]
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]
Martin Brain, Daniel Kroening and Peter Schrammel, "Safety Verification and Refutation by k-invariants and k-induction", 22nd International Static Analysis Symposium (SAS) 2015. [arXiv]
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]
Daniel Kroening, "Property Driven Fence Insertion using Reorder Bounded Model Checking", 20th Inernational Symposium on Formal Methods (FM) 2015. [arXiv]
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]
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.
Shivali Agarwal and R K Shyamasundar, "Distributed Generalized Dynamic Barrier Synchronization", International Conference on Distributed Computing and Networking (ICDCN) 2011.
Frederic Doucet, R.K. Shyamasundar, Ingolf H. Krueger and Rajesh K. Gupta, "Reactivity in SystemC Transaction-Level Models", Haifa Verification Conference (HVC) 2007.