CV

Education

• Doctor of Philosophy, Dept. of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, 2016
• Master of Science (Engg), Dept. of Computer Science and Automation, Indian Institute of Science, Bangalore, 2009
• Bachelor of Engg. (Computer Science), Manipal Institute of Technology, India, 2004

Work experience

• Research Software Engineer, Microsoft Corporation (2016 - Present)
• Research Assistant/PhD Student, University of Pennsylvania (2010 - 2016)
• Research Intern, Intel Corporation (Summer 2013)
• Research Intern, Microsoft Research India (Summer 2012)
• Research Assistant, Microsoft Research India (2009 - 2010)
• Assistant Systems Engineer, Tata Consultancy Services (2004 - 2006)

Research Skills/Areas

• Program Synthesis
• Applied Verification
• Model Checking

Publications

Scaling Enumerative Program Synthesis via Divide and Conquer.

Synthesis of Distributed Protocols from Scenarios and Specifications

Automatic Completion of Distributed Protocols with Symmetry.

Synthesizing Finite-State Protocols from Scenarios and Requirements.

Syntax-guided Synthesis.

TRANSIT: Specifying Protocols with Concolic Snippets.

Depth Bounded Explicit-State Model Checking.

ALTER: exploiting breakable dependences for parallelization.

Synergistic execution of stream programs on multicores with accelerators.

Software Pipelined Execution of Stream Programs on GPUs.

PDF Version

You can grab a (somewhat) more descriptive PDF version of my resume here.