Aritra Sengupta

According to our database, Aritra Sengupta authored at least 14 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

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

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

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

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2019

Transactuations: Where Transactions Meet the Physical World.

Aritra Sengupta, Tanakorn Leesatapornwongsa, Masoud Saeida Ardekani, Cesar A. Stuardo

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

2018

Transactuations: Where Transactions Meet the Physical World.

Tanakorn Leesatapornwongsa, Aritra Sengupta, Masoud Saeida Ardekani, Gustavo Petri, Cesar A. Stuardo

ACM Trans. Comput. Syst., 2018

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

Legato: end-to-end bounded region serializability using commodity hardware transactional memory.

Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni

Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

2016

Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences.

Man Cao, Minjia Zhang, Aritra Sengupta, Michael D. Bond

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Prescient memory: exposing weak memory model behavior by looking into the future.

Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond

Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14, 2016

2015

Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization.

Aritra Sengupta, Man Cao, Michael D. Bond, Milind Kulkarni

Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Efficient support for strong semantics in transactional and non-transactional programs.

Aritra Sengupta

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability.

Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Milind Kulkarni

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

DoubleChecker: efficient sound and precise atomicity checking.

Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

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

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013