About
Aritra is interested in work related to Neurosymbolic techniques for LLM based developer productivity, Agentic AI, program analysis (static and dynamic analysis), parallel and distributed system software, and compilers.
Aritra is currently a Senior Applied Scientist and Tech Lead in the Agentic AI org in AWS. He is working on LLM based developer productivity for Kiro and Amazon Q - using ML, reasoning, and program analysis to build developer tools.
In the past, he has worked extensively on production-scale static analysis of code that runs on every code review at Amazon and part of several scalable Amazon services. Aritra developed these tools as part of AWS Automated Reasoning Group. He has a PL and Systems background with a PhD in compiler and runtime system techniques used to enforce strong semantics in concurrent programs.
Previously, Aritra was a Research Scientist at Samsung Research, in SRA's Artificial Intelligence Center, where he worked on building systems targeting reliability, performance, and explainability.
Aritra was an intern at Microsoft Research. He is a recipient of USENIX ATC Best Paper Award and Graduate University Fellowship at The Ohio State University. Aritra has published in top conferences such as ASPLOS, OOPSLA, USENIX ATC, PLDI, FSE, CGO and continues to serve in program and review committees.
He earned his PhD under the guidance of Prof. Michael D. Bond. The research group at OSU: PLaSS.
→ View my complete CV
Selected Publications
Legend: AO: Authorship in alphabetical order of last names.
SpecAgent: A Speculative Retrieval and Forecasting Agent for Code Completion NEW
George Ma, Anurag Koul, Qi Chen, Yawen Wu, Sachit Kuhar, Yu Yu, Aritra Sengupta, Varun Kumar, Murali Krishna Ramanathan
ACL 2026
Compositional Taint Analysis for Large-Scale Policy Enforcement
Subarno Banerjee, Siwei Cui, Michael Emmi, Antonio Filieri, Liana Hadarean, Peixuan Li, Linghui Luo, Goran Piskachev, Nicolás Rosner, Aritra Sengupta, Omer Tripp, Jingbo Wang
ESEC/FSE 2023 (AO)
RAPID: API Checking for the Cloud in the Cloud
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nico Rosner, Martin Schaef, Aritra Sengupta, Willem Visser
ESEC/FSE 2021 (AO)
Transactuations: Where Transactions Meet the Physical World
Aritra Sengupta, Tanakorn Leesatapornwongsa, Masoud Saeida Ardekani, and Cesar Stuardo
USENIX ATC 2019
Best Paper Award
Hybrid Static-Dynamic Analysis for Statically Bounded Region Serializability
Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond and Milind Kulkarni
ASPLOS 2015
→ See all publications
Patents
Data flow analysis of cloud-based software applications
Ankit Kumar, Andrew Thomas Walter, Jared Curran Davis, Andrew Jude Gacek, Vaibhav Bhushan Sharma, Richard Drews Dean, Harsh Raju Chamarthi, Jingmei Hu, Liana Sorina Hadarean, Aritra Sengupta
US Patent 12,530,177
Method for checking finite state properties using modular and compositional static code analysis
Aritra Sengupta, Michael Emmi, Liana Hadarean, Martin Schaef, Nico Rosner, Lee Pike, Willem Visser, Peixuan Li
P78737-US01
On-demand input partitioning for SAST platforms
Martin Schaef, Linghui Luo, Nico Rosner, Aritra Sengupta, Antonio Filieri, Thomas Cottenier, Lee Pike
US Patent 12,314,712
Method to find and visualize semantic relationships in static program analysis trace elements
Aritra Sengupta, Martin Schaef, Lee Pike, Willem Visser, Nico Rosner
US Patent 11,675,584
Professional Service
Program committee: HiPC 2024, ASPLOS 2024, ASPLOS 2023
Program committee: OOPSLA 2021, OOPSLA 2020
Program committee: IPDPS 2019
External review committee: ASPLOS 2019
Journal reviewer: IEEE TSE, ACM TACO, IEEE TPDS, LMCS
Artifact evaluation: PPoPP/CGO 2016, 2017
Mentorship
George Ma
Summer 2025 research intern · PhD student at UC Berkeley
Siwei Cui
Summer 2022 research intern at AWS CodeGuru · PhD student at Texas A&M · Now at AWS
Ali Nowraiz Khan
Summer 2021 & 2020 research intern at AWS CodeGuru · PhD student at UC Riverside · Now at eBay
Cesar S. Stuardo
Summer 2018 research intern at Samsung Research · PhD student at UChicago · Now at ByteDance
Education
Ph.D. in Computer Science
The Ohio State University
Advisor: Prof. Michael D. Bond
Dissertation: "Efficient Compiler and Runtime Support for Strong Semantics on Commodity Hardware" [pdf]
Bachelor of Technology in Computer Science and Engineering
Vellore Institute of Technology, India
