Author

Aritra Sengupta

Observed name: Sengupta, Aritra

Observed institutions: Amazon (United States), Samsung (South Korea), The Ohio State University

ORCID: 0000-0003-0138-9858

Observed ORCID: 0000-0003-0138-9858

OpenAlex ID: A5107243687

RAPID: checking API usage for the cloud in the cloud

2021 · Michael Emmi, Liana Hadarean, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 14

Compositional Taint Analysis for Enforcing Security Policies at Scale

2023 · Subarno Banerjee, Siwei Cui, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 6

PDF

Transactuations

2018 · Tanakorn Leesatapornwongsa, Aritra Sengupta, et al. · ACM Transactions on Computer Systems · 6

Input splitting for cloud-based static application security testing platforms

2022 · Maria Christakis, Thomas Cottenier, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 4

PDF

Legato: End-to-end bounded region serializability using commodity hardware transactional memory

2017 · Aritra Sengupta, Man Cao, et al. · Proceedings of the CGO/Proceedings of the ... CGO · 4

Agentic Interpretation: Harness-Governed Evidence Construction for Software Agents

2026 · He, Yifeng, Wang, Yanjun, et al. · arXiv (Cornell University)

PDF

ANTE: Anticipate, Then Execute -- Learning Internal World Models for Coding Agents from Verified Beliefs

2026 · Ge, Yi, Ruan, Kangrui, et al. · arXiv (Cornell University)

PDF

AECP: Artifact-Exclusive Communication Protocol for Multi-Agent Code Generation

2026 · Xue, Jiaqi, Wang, Yanjun, et al. · arXiv (Cornell University)

PDF