The Computer Architecture stack in today’s systems is becoming more heterogenous than ever. Today’s systems cater to safety-critical or real-time applications more often making high throughput, increased system utilization, reliability and security a necessity rather than a feature. Asynchronous interfaces in form of asynchronous system services or micro-services help achieve the goal of increased system utilization and throughput. Formalizing the non-intuitive asynchronous model makes it achievable for safety-critical applications as well as eases programming complexity in any application. Hence, I am looking at formalizing the asynchronous programming interface to make it easy to reason about in terms of programmability, safety and correctness.
- Ph.D in Computer Science, Yale University, USA,
- B.E. in Computer Engineering, University of Pune, India ,
2011 - 2015
- GCC Resource Center, Indian Institute of Technology, Advised by: Prof. Uday Khedker,
May 2014 - June 2015
- Worked on adding Inter procedural support from scratch in OptGen - a custom compiler optimization gen-erator for GCC - to create machine-independent optimizations based on simply the high level specificationsof the analyses.
- Optimized the existing generator’s CFG node traversal to improve performance.
- Indian Institute of Tropical Meteorology, Advised by: Dr. Narendra Karmarkar,
February 2014 - June 2014
- Built a scalable N-SAT solver for data extracted from meteorological visualizations to aid in improving theaccuracy of predictions.
- National Center for RadiAstrophysics / University of Pune , Advised by: Prof. Shubhangi Tikhe,
August 2013 - December 2013
- Presented a comparative study seminar on usage of different heterogeneous systems for pulsar de-dispersion.
- NVIDIA Graphics Pvt. Ltd. ,
January 2017- August 2019
- Improve utilization of the newly introduced ’Uniform Register File’ in the then upcoming GPU architecture-’Turing’.
- Added compiler backend support for the newly introduced deep learning features for Turing architecture. Exposed in CUDA 10.0 and CUDA 10.1. (MMA etc.) -Recognized as second Subject Matter Expert.
- Added most of the encoding support for Turing solely-Recognized as Subject Matter Expert.
- Redesigned the framework that creates encodable form of new instructions in the compiler backend as they getreleased by architecture. -Recognized as Subject Matter Expert
- Shoreline IoT,
September 2016 - January 2017
- Worked on the organization’s first IoT product which was supposed to monitor boiler temperatures.
- NVIDIA Graphics Pvt. Ltd
June 2015 - August 2016
- Developed a novel objective algorithm for Fixed Reference Image Analysis for images rendered across GPU architectures Filed ISF for patent under NVIDIA.
- Vitrual panel member for Yale CS Incoming PhD students forum , Yale University, USA
- Board member - Women in Sciences at Yale , Yale University, USA
September 2020 - present
- Mentor to undergrad (sophomore) Computer Science student , Yale University, USA
October 2020 - present
- Core steering committee member for Nvidia-Women in Technology, PDC Chapter,
January 2017 - August 2019
- Student chair, ACM-W student chapter,
June 2014 - June 2015
- Editor- Computer Engineering Department and College Newsletter,
June 2012 - June 2015
Awards and Recognition
- Received 2020 ACM Computing Research Association (CRA-WP) Conference Travel Grant (postponed due to COVID-19).
- Received MICRO 2020 Conference Grant
- Received recognition as a ’Strong Contributor’ and Subject Matter Expert in the development of the Turing compiler.
- University rank holder in junior and senior years of computer engineering from over 9000 students.
- Cummins College of Engineering Certificate of Excellence for being Department topper at graduation.
- Persistent Systems Gold Medal for being Department topper in junior year.
C, C++, Python, MATLAB/Octave, OpenCV, NVPTX
gdb, MS Visual Studio debugger, Valgrind
Formal Verification tools
Z3, Daphny, Coq
Relevant Graduate Courses
Yale CPSC 522: Operating Systems - Design and Implementation, Yale CPSC 554: Software Analysis and Verification, Yale CPSC 528 : Language Based Security, Yale CPSC 568 : Computational Complexity, Yale CPSC 577 : Natural Language Processing, Yale CPSC 572 : Intelligent Robotics, Yale CPSC 626 : Human Factors in Computer Systems: Design, Evaluation, and Presentation
Talks and Seminars
- [TALK] Compiler Optimizer Generator” ACM-Women’s Student Chapter-Cummins College of Engineering forWomen, University of Pune.
- [SEMINAR] De-dispersion of Pulsars using Heterogeneous Parallel Computing”, University of Pune
- HiPEAC ACACES summer school on Computer Architecture and Compilation.
- Oil Pastel painting