I am a Researcher working with a private company. All the information/views expressed here are my own and do not represent views of any of my past or current employer.
PhD in Computer Science and Engineering, 2012
IIT Kanpur
MTech in Computer Science and Engineering, 2006
IIT Bombay
BE in Information Technology, 2003
Sardar Patel University, Vallabhvidyanagar
Scaleable, transparent and efficient Distributed Oracle Agreement
A static data-race checker for OpenMP programs.
An open-source solver for incomplete MaxSAT
A tool for automated repair of CUDA and OpenCL kernels
An open-source MaxSAT and Pseudo-Boolean solver
A symbolic execution engine