Subodh Sharma
Assistant Professor
computer science and engineering
The Indian Institutes of Technology, Delhi
India
Biography
Prior to joining Department of Computer Science and Engineering at IIT Delhi, I worked as a post-doctoral researcher in the Systems Verification group at University of Oxford. I obtained my PhD from University of Utah. My research interests lie in ensuring software reliability of concurrent and parallel software via static and dynamic program analysis, model checking, and advancements to programming languages. I am also interested in creation of scalable “push-button” formal verification technology by employing high performance computing hardware. .
Research Interest
Formal Methods, Program Analysis, Concurrent Systems
Publications
-
MCC: A runtime verification tool for MCAPI user applications. Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt. FMCAD 2009: 41-44
-
Efficient Verification Solutions for Message Passing Systems. Subodh Sharma, Ganesh Gopalakrishnan. IPDPS Workshops 2011: 2026-2029
-
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. Subodh Sharma, Sarvani Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kriby, Rajeev Thakur, William Gropp. Euro MPI 2008: 265-273
