Aritra Sengupta

15 papers A* 2A 2B 1C 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
SpecAgent: A Speculative Retrieval and Forecasting Agent for Code Completion.
CoRR
George Ma, Anurag Koul, Qi Chen, Yawen Wu, Sachit Kuhar, Yu Yu, Aritra Sengupta, Varun Kumar, Murali Krishna Ramanathan
2023 — conf
Compositional Taint Analysis for Enforcing Security Policies at Scale.
ESEC/SIGSOFT FSE
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
2022 — conf
Input splitting for cloud-based static application security testing platforms.
ESEC/SIGSOFT FSE
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
2021 — conf
RAPID: checking API usage for the cloud in the cloud.
ESEC/SIGSOFT FSE
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
2019 — conf
Transactuations: Where Transactions Meet the Physical World.
USENIX ATC
Aritra Sengupta, Tanakorn Leesatapornwongsa, Masoud Saeida Ardekani, Cesar A. Stuardo
2018 J jnl
Transactuations: Where Transactions Meet the Physical World.
ACM Trans. Comput. Syst.
Tanakorn Leesatapornwongsa, Aritra Sengupta, Masoud Saeida Ardekani, Gustavo Petri, Cesar A. Stuardo
2017 J jnl
Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support.
ACM Trans. Parallel Comput.
Man Cao, Minjia Zhang, Aritra Sengupta, Swarnendu Biswas, Michael D. Bond
2017 A conf
Legato: end-to-end bounded region serializability using commodity hardware transactional memory.
CGO
Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni
2016 B conf
Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences.
PPoPP
Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond
2016 C conf
Prescient memory: exposing weak memory model behavior by looking into the future.
ISMM
Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond
2015 — conf
Efficient support for strong semantics in transactional and non-transactional programs.
SPLASH (Companion Volume)
Aritra Sengupta
2015 A* conf
Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability.
ASPLOS
Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni
2015 — conf
Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization.
PPPJ
Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni
2014 A* conf
DoubleChecker: efficient sound and precise atomicity checking.
PLDI
Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond
2013 A conf
OCTET: capturing and controlling cross-thread dependences efficiently.
OOPSLA
Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang