CV
Education
- Ph.D. in Computer ScienceMay 2021 – Aug 2025Northeastern University, Khoury College of Computer Sciences
- M.S. in Computer ScienceMay 2019 – May 2023Northeastern University, Khoury College of Computer Sciences
- M.S. in CybersecuritySep 2019 – May 2021Northeastern University, Khoury College of Computer Sciences
- B.E. in Electronics & TelecommunicationsJun 2011 – May 2015University of Pune, Pune Institute of Computer Technology
Publications
- Remediating Superfluous Re-Rendering in React Applications202648th International Conference on Software Engineering (ICSE)Farideh Khalili, Satyajit Gokhale, Alexi Turcotte, Dale Xu, and Frank Tip.
- Optimizing Web Applications Using Declarative Software Rewriting2025Doctoral dissertation, Northeastern University, 161 pagesSatyajit Gokhale.
- The Effects of Computational Resources on Flaky Tests2024IEEE Transactions on Software Engineering (TSE), 50, 12, pp. 3104–3121Denini Silva, Martin Gruber, Satyajit Gokhale, Ellen Arteca, Alexi Turcotte, Marcelo d'Amorim, Wing Lam, Stefan Winter, and Jonathan Bell.
- Increasing the Responsiveness of Web Applications by Introducing Lazy Loading202338th IEEE/ACM International Conference on Automated Software Engineering (ASE), Kirchberg, LuxembourgAlexi Turcotte, Satyajit Gokhale, and Frank Tip.
- Automatic Migration from Synchronous to Asynchronous JavaScript APIs2021Proc. ACM Program. Lang. 5, OOPSLA, Article 160, 27 pagesSatyajit Gokhale, Alexi Turcotte, and Frank Tip.
Work Experience
- Applied ScientistSep 2025 – PresentAmazon Web Services (AWS), Santa Clara, CA
- Develop automated reasoning techniques that provide correctness guarantees for automated code migrations
- Previously worked in the Agentic AI organization, combining traditional program analysis with AI agents to perform code migrations
- Applied Scientist InternMay 2024 – Aug 2024Amazon Web Services (AWS), Santa Clara, CA
- Worked on guardrails for AI agents
- Applied Scientist Intern (CodeGuru team)May 2023 – Aug 2023Amazon Web Services (AWS), Santa Clara, CA
- Worked on Semantic Code Clustering
- Applied Scientist Intern (CodeGuru team)May 2022 – Aug 2022Amazon Web Services (AWS), Santa Clara, CA
- Worked on automated synthesis of static analysis rules
- Graduate Teaching AssistantFall 2020, Spring 2021, Fall 2023Khoury College, Northeastern University, Boston
- TA for Foundations of Software Engineering; delivered a few class lectures in addition to standard TA responsibilities
- Graduate Research AssistantMay 2020 – Aug 2020Khoury College, Northeastern University, Boston
- JavaScript performance optimization at the Programming Research Lab
- Graduate Teaching AssistantJan 2020 – Apr 2020Khoury College, Northeastern University, Boston
- TA for Foundations of Information Assurance
- Graduate Research AssistantJan 2020 – Apr 2020Khoury College, Northeastern University, Boston
- Developed dockerized security labs, cannedcyberlabs.org
- I.T. AnalystJan 2019 – Jun 2019Tata Consultancy Services Limited, Pune, India
- Worked as a full-stack developer on an Agile project, primarily in Angular/AngularJS with Spring Boot and HapiJS for microservices
- Performed unit testing with Jasmine/Mocha/Jest and configured Angular builds with webpack and gulp; also worked with the MEAN stack
- Volunteered as the Security Champion and created security guidelines that improved employee awareness of software security procedures
- System EngineerNov 2017 – Dec 2018Tata Consultancy Services Limited, Pune, India
- Designed a code quality dashboard for measuring compliance to code quality standards and monitoring changes over time
- Conducted design and code reviews for Angular/AngularJS code
- Established coding guidelines and configurations for Angular/AngularJS code
- Interviewed and mentored new recruits for Angular/AngularJS and JavaScript
- Implemented four NPM (Node Package Manager) packages
- Assistant System EngineerNov 2016 – Nov 2017Tata Consultancy Services Limited, Pune, India
- Planned incremental migration from AngularJS to Angular, leading a team of 4 to set up the foundation and develop a POC, facilitating a seamless migration
- Implemented business requirements using Angular with zero production defects
- Ensured 100% compliance to coding standards and 100% unit test coverage
- Assistant System Engineer TraineeNov 2015 – Nov 2016Tata Consultancy Services Limited, Pune, India
- Completed the initial learning program in C#, finishing among the top 3 performers of the batch
- Implemented POCs using the MEAN stack (MongoDB, ExpressJS, AngularJS, NodeJS) for client demos
Academic Projects
- Static Analysis for JavaScriptSep 2021 – PresentNortheastern University, Boston, MA
- Reasoning about asynchronous executions in JavaScript
- Improving the soundness of static analysis of JavaScript
- Concolic Execution of PLC ProgramsMay 2021 – May 2022Northeastern University, Boston, MA
- Implementing concolic execution of PLC structured-text programs to find vulnerabilities
- Desynchronizer (NodeJS performance optimization)Jan 2020 – Apr 2021Northeastern University, Boston, MA
- Developed an automated tool for migrating synchronous NodeJS APIs to their asynchronous equivalents, with related code transformations for performance optimization
- Used static analysis to generate callgraphs
- NVMe-oF Security (Capstone with Dell Technologies)Sep 2020 – Dec 2020Northeastern University, Boston, MA
- Developed a secure, multi-threaded, PSK-based DTLS channel for host-controller access verification to NVMe-oF storage and its associated functions, integrated with Redis in C
- Implemented a management interface for the Redis database using NodeJS and Angular
- Canned Cyber LabsJan 2020 – Apr 2020Northeastern University, Boston, MA
- Developed various security labs as Docker containers, including Linux basics, Buffer Overflows (stack-based and ROP), Password Cracking, and Secure Communication
Service
- Co-Chair, Artifact Evaluation CommitteeOOPSLA 2026
- Program Committee, Research TrackOOPSLA 2026
- Program Committee, Research TrackISSTA 2026
Skills
Programming Languages
- JavaScript/TypeScript
- Python
- Java
- C
- C++
- MATLAB
Frameworks/Technologies
- Angular/AngularJS
- ReactJS
- Redux
- Spring Boot
- NodeJS
- gulp
- webpack
- MongoDB
- Unit testing (Jasmine, Jest, Chai-Mocha-Sinon)
- Docker
Development Methodologies
- Agile (Scrum, Extreme Programming, Kanban)
Environment and Tools
- Git
- Rally
- Jira
- Jenkins
- Splunk
- Docker
- STS
- VS Code
- Postman
Security Tools
- SpiderFoot
- Burp
- nmap
- Metasploit
- Hydra
- Shodan
- Nikto
- Wireshark
- Suricata
Honors & Awards
- Khoury Graduate Research Fellowship, Northeastern UniversitySpring 2020 and Spring 2021 — one of 10 students selected
- Khoury Graduate Research Apprenticeship, Northeastern University2021
- Multiple "On the Spot" awards for creative problem-solvingTata Consultancy Services
Interests & Activities
- Participated in Capture the Flag tournaments
- Participated in various circuit-design competitions in undergrad