Education

Master of Science in Computer Science

University of California, San Diego (2015 - 2017)
Thesis: Synthesizing Loop Invariants Through a Multiplayer Game [PDF]

Bachelor of Engineering in Computer Engineering

University of Mumbai (2009 - 2013)
Final Project: A Domain-Specific Language for Discrete Mathematics [PDF]

Experience

GoDaddy

GoDaddy

Software Development Engineer II (July 2017 - present)

Encinitas, California, USA


UCSD UCSD

University of California, San Diego

Graduate Student Researcher (Mar - Sept 2017)

San Diego, California, USA


Lytx

Lytx

Software Engineering Intern (June - Aug 2016)

San Diego, California, USA


Tata Consultancy Services

Tata Consultancy Services (TCS)

Software Developer (Nov 2013 - June 2015)

Mumbai, India

Projects

FloRead

A document/article viewer that enhances readers' on-screen reading experience. The tool uses an eye-tracker to enhance the content currently being viewed, automatically scrolling vertically and horizontally according to the position of the gaze, and adjusting the screen theme based on ambient lighting.
[GitHub] [Paper]

A Domain-Specific Language for Garbled Circuits

This is a high-level programming language in the form of an embedded domain specific language (DSL) in Haskell to both construct and reason about the security of garbled circuits. Our DSL provides an easy way to express circuits and perform provably secure garbling on them such that they can be used for applications such as secure multiparty computation, or oblivious cloud computation.
[Paper]

Automatic Translation of C Programs to CUDA C Programs

This tool takes a normal, sequential C program and generates the equivalent CUDA C program. The tool creates programs that can run on the host (CPU) and device (GPU). The NVIDIA C Compiler (NVCC) can then compile both these programs to a binary executable. Currently the tool supports integer arrays, with support for floating point arrays in the pipeline.
[GitHub]

Fitness Bands for Health Outcomes

This project tracks fitness band users' activities, heart rate, steps taken and calories burned to help doctors and medical researchers understand trends, determine which factors affect health and to what extent. The data is represented as visually intuitive graphs and can be exported to a spreadsheet to be analyzed using a statistical analysis tool. In addition, the tool also allows users to sign in and track their daily, weekly and monthly fitness information.
[GitHub]

Dataflow Analysis Framework for LLVM

This is an extensible dataflow analysis framework for analyzing and optimizing LLVM IR code. The framework runs forward optimistic iterative dataflow analyses such as Constant Propagation, Available Expressions, Range Analysis (variable and array) and Intra-procedural Pointer Analysis. Using these, checking for array access bounds, optimization such as Constant Folding, Branch Folding and Common Subexpression Elimination are easily implemented.
[GitHub]

Dimpl: A Domain-Specific Language for Discrete Mathematics

A domain-specific language (DSL) built over Haskell that provides a library of efficient functions and an accurate notation for working with set theory, graph theory, mathematical logic, number theory and combinatorics. In most cases Dimpl is more efficient and more expressive than languages such as C, Python, Fortran and Matlab, making it a good candidate for a mathematics learning tool.
[GitHub] [Paper]

Predicting Students' Performance Through Data Mining

This project analyzes demographic and past academic information of incoming freshmen to predict their future performance at college. Using the Naive Bayes Classifier, Iterative Dichotomizer 3 (ID3) and C4.5 classification algorithms an accurate prediction of students' results was generated and helped professors determine at-risk students.
[GitHub] [Paper]

Securing Login: Using QR Codes for Authentication

A secure and novel technique of signing in to online accounts, by using a cell phone instead of a keyboard (physical or virtual), thereby overcoming numerous threats and vulnerabilities found in traditional login systems. This two-factor authentication (2FA) method has since been used widely by multiple software application and websites such as WhatsApp.
[Paper]

Automated Library System

A library management system with RFID tags on all inventory, RFID readers at the entrance/exit doors and a database integrated with Google Books reduces human errors and the effort required in running a library.
[GitHub]

Papers

  1. A Domain-Specific Language for Constructing and Reasoning About the Security of Garbled Circuits [PDF]
    With Matthew Chan and Atyansh Jaiswal, December 2016
  2. FloRead: Enhancing reading experience with eye-tracking and IoT [PDF]
    With Abhinav Mishra, Yoshiki Vazquez-Baeza, Charles Cruz, Robert Kronebusch and Jeremy Leu, December 2016
  3. Dimpl: An Efficient and Expressive DSL for Discrete Mathematics [PDF]
    November 2015
  4. Predicting Students' Performance Using ID3 and C4.5 Classification Algorithms [PDF]
    With Kalpesh Adhatrao, Aditya Gaykar, Amiraj Dhawan and Vipul Honrao
    International Journal of Data Mining and Knowledge Management Process (IJDKP), Vol. 3, No. 5, September 2013
  5. A Domain-Specific Language for Discrete Mathematics [PDF]
    With Alfy Samuel and Ashmee Pawar
    International Journal of Computer Applications (IJCA), Vol. 70, No. 15, May 2013
  6. A Secure Method for Signing in Using Quick Response Codes with Mobile Authentication [PDF]
    With Kalpesh Adhatrao, Aditya Gaykar and Vipul Honrao
    International Journal of Student Research in Technology and Management (IJSRTM), Vol. 1, No. 1, March 2013
  7. Secure Login Through Mobile Authentication [PDF]
    With Kalpesh Adhatrao, Aditya Gaykar and Vipul Honrao
    Third Biennial National Conference on Nascent Technologies in Engineering (NCNTE 2012), 24-25th February 2012

Talks

  1. From the Industry: Software Engineering and Project Management [Slides]
    Fr. C. Rodrigues Institute of Technology, Navi Mumbai, February 2016
    Invited lecture for teaching undergraduate students agile software development and project management techniques.
  2. Higher Education and Career Choices
    Fr. C. Rodrigues Institute of Technology, Navi Mumbai, July 2014
    Guided undergraduate students to help them decide their career and education goals.
  3. Beginning Python Programming
    Fr. C. Rodrigues Institute of Technology, Navi Mumbai, April 2012
    Introduced undergraduate students to the Python programming language in this 4-day hands-on workshop.

Awards

  1. TCS On The Spot Award
    By Tata Consultancy Services, April 2015
    For rapidly setting up the entire infrastructure environment and deploying a critical web application while efficiently coordinating with multiple global teams.
  2. TCS On The Spot Award
    By Tata Consultancy Services, March 2015
    In appreciation for significant contributions towards a successful Dow Leadership client visit to Mumbai, India.
  3. Best Dow Reliability Success Story of the Quarter Award
    By The Dow Chemical Company, February 2015
    For automating several support and maintenance operations, thereby reducing application downtime and mainenance cost considerably for the October-December 2014 quarter.
  4. TMS Best CIP of the Quarter Award
    By Tata Consultancy Services, February 2015
    For efficient and reliable infrastructure resource management, leading to significant reductions in application outage and maintenance effort for the October-December 2014 quarter.
  5. Dow Reliability Ambassador
    By The Dow Chemical Company, October 2014
    For contribution towards the “Let’s Drive Reliability Culture” program through Process Improvement ideas and collaboration with several global teams from various companies.
  6. Best Dow Reliability Success Story of the Quarter Award
    By The Dow Chemical Company, October 2014
    For stabilizing critical financial and security applications, leading to improvement in customer satisfaction, application performance and reduction in outage for the July-September 2014 quarter.
  7. TCS On The Spot Award
    By Tata Consultancy Services, July 2014
    For outstanding contribution to the organization, independently supporting several mission-critical applications, being a quick learner and an inspiring role model for colleagues.
  8. TCS ILP-Kudos Award
    By Tata Consultancy Services, February 2014
    For top grades and consistent high performance during the Initial Learning Program (ILP) at Tata Consultancy Services.
  9. TCS LIREL Award
    By Tata Consultancy Services, February 2014
    For being a role model by following the values of Leading change, Integrity, Respect for individuals, Excellence and Learning & sharing (LIREL).