← Back to main page
Legend: AO: Authorship in alphabetical order of last names. If nothing is specified, the author names are in the order of contribution.
SpecAgent: A Speculative Retrieval and Forecasting Agent for Code Completion [Under Submission]
George Ma, Anurag Koul, Qi Chen, Yawen Wu, Sachit Kuhar, Yu Yu, Aritra Sengupta, Varun Kumar, Murali Krishna Ramanathan
arXiv preprint 2025
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)
Input Splitting for Cloud-Based Static Application Security Testing Platforms
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
ESEC/FSE 2022 (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 (extended version)
Tanakorn Leesatapornwongsa, Aritra Sengupta, Masoud Saeida Ardekani, Gustavo Petri, and Cesar A. Stuardo
TOCS 2020
Transactuations: Where Transactions Meet the Physical World
Aritra Sengupta, Tanakorn Leesatapornwongsa, Masoud Saeida Ardekani, and Cesar Stuardo
USENIX ATC 2019
Best Paper Award
Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support
Man Cao, Minjia Zhang, Aritra Sengupta, Swarnendu Biswas, and Michael D. Bond
TOPC 2017
Legato: End-to-End Bounded Region Serializability Using Commodity Hardware Transactional Memory
Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni
CGO 2017
Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future
Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond
ISMM 2016
Drinking from Both Glasses: Combining Pessimistic and Optimistic Tracking of Cross-Thread Dependences
Man Cao, Minjia Zhang, Aritra Sengupta, and Michael D. Bond
PPoPP 2016
Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization
Aritra Sengupta, Man Cao, Michael D. Bond, and Milind Kulkarni
PPPJ 2015
Hybrid Static-Dynamic Analysis for Statically Bounded Region Serializability
Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond and Milind Kulkarni
ASPLOS 2015
DoubleChecker: Efficient Sound and Precise Atomicity Checking
Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond
PLDI 2014
Octet: Capturing and Controlling Cross-Thread Dependences Efficiently
Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta and Jipeng Huang
OOPSLA 2013