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.
Selected Publications
Legend: AO: Authorship in alphabetical order of last names.
Patents
Professional Service
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