| 2026 | ACL | SpecAgent: A Speculative Retrieval and Forecasting Agent for Code Completion. | George Ma, Anurag Koul, Qi Chen, Yawen Wu, Sachit Kuhar, Yu Yu, Aritra Sengupta, Varun Kumar, Murali Krishna Ramanathan |
| 2019 | USENIX | Transactuations: Where Transactions Meet the Physical World. | Aritra Sengupta, Tanakorn Leesatapornwongsa, Masoud Saeida Ardekani, Cesar A. Stuardo |
| 2017 | CGO | Legato: end-to-end bounded region serializability using commodity hardware transactional memory. | Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni |
| 2016 | PPoPP | Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences. | Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond |
| 2015 | ASPLOS | Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability. | Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni |
| 2015 | OOPSLA | Efficient support for strong semantics in transactional and non-transactional programs. | Aritra Sengupta |
| 2014 | PLDI | DoubleChecker: efficient sound and precise atomicity checking. | Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond |
| 2013 | OOPSLA | OCTET: capturing and controlling cross-thread dependences efficiently. | Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang |