OCTET: capturing and controlling cross-thread dependences efficiently. - Michael D. Bond; Milind Kulkarni 001; Man Cao; Minjia Zhang; Meisam Fathi Salmi; Swarnendu Biswas; Aritra Sengupta; Jipeng Huang (OOPSLA, 2013)

DoubleChecker: efficient sound and precise atomicity checking. - Swarnendu Biswas; Jipeng Huang; Aritra Sengupta; Michael D. Bond (PLDI, 2014)

Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability. - Aritra Sengupta; Swarnendu Biswas; Minjia Zhang; Michael D. Bond; Milind Kulkarni 001 (ASPLOS, 2015)

Efficient support for strong semantics in transactional and non-transactional programs. - Aritra Sengupta (SPLASH (Companion Volume), 2015)

Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization. - Aritra Sengupta; Man Cao; Michael D. Bond; Milind Kulkarni 001 (PPPJ, 2015)

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; Michael D. Bond (PPoPP, 2016)

Legato: end-to-end bounded region serializability using commodity hardware transactional memory. - Aritra Sengupta; Man Cao; Michael D. Bond; Milind Kulkarni 001 (CGO, 2017)

Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support. - Man Cao; Minjia Zhang; Aritra Sengupta; Swarnendu Biswas; Michael D. Bond (ACM Trans. Parallel Comput., 2017)

Transactuations: Where Transactions Meet the Physical World. - Tanakorn Leesatapornwongsa; Aritra Sengupta; Masoud Saeida Ardekani; Gustavo Petri; Cesar A. Stuardo (ACM Trans. Comput. Syst., 2018)

Transactuations: Where Transactions Meet the Physical World. - Aritra Sengupta; Tanakorn Leesatapornwongsa; Masoud Saeida Ardekani; Cesar A. Stuardo (USENIX ATC, 2019)

RAPID: checking API usage for the cloud in the cloud. - Michael Emmi; Liana Hadarean; Ranjit Jhala; Lee Pike; Nicolás Rosner; Martin Schäf; Aritra Sengupta; Willem Visser (ESEC/SIGSOFT FSE, 2021)

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/SIGSOFT FSE, 2022)

Compositional Taint Analysis for Enforcing Security Policies at Scale. - 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 006 (ESEC/SIGSOFT FSE, 2023)