Aritra Sengupta

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 9

Top Topics

Transaction Management

Dynamic Analysis

Top Venues

ESEC/SIGSOFT FSE

SPLASH (Companion Volume)

USENIX Annual Technical Conference

Publications

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
Compositional Taint Analysis for Enforcing Security Policies at Scale. ESEC/SIGSOFT FSE (2023)
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE (2022)
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
RAPID: checking API usage for the cloud in the cloud. ESEC/SIGSOFT FSE (2021)
Tanakorn Leesatapornwongsa, Aritra Sengupta, Masoud Saeida Ardekani, Gustavo Petri, Cesar A. Stuardo
Transactuations: Where Transactions Meet the Physical World. ACM Trans. Comput. Syst. 36 (4) (2020)
Aritra Sengupta, Tanakorn Leesatapornwongsa, Masoud Saeida Ardekani, Cesar A. Stuardo
Transactuations: Where Transactions Meet the Physical World. USENIX Annual Technical Conference (2019)
Man Cao, Minjia Zhang, Aritra Sengupta, Swarnendu Biswas, Michael D. Bond
Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support. ACM Trans. Parallel Comput. 4 (2) (2017)
Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni
Legato: end-to-end bounded region serializability using commodity hardware transactional memory. CGO (2017)
Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond
Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences. PPOPP (2016)
Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond
Prescient memory: exposing weak memory model behavior by looking into the future. ISMM (2016)
Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni
Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability. ASPLOS (2015)
Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni
Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization. PPPJ (2015)
Aritra Sengupta
Efficient support for strong semantics in transactional and non-transactional programs. SPLASH (Companion Volume) (2015)
Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond
DoubleChecker: efficient sound and precise atomicity checking. PLDI (2014)
Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang
OCTET: capturing and controlling cross-thread dependences efficiently. OOPSLA (2013)