Aritra Sengupta

Orcid: 0000-0003-0138-9858

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Compositional Taint Analysis for Enforcing Security Policies at Scale.
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.
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.
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.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

2018
Transactuations: Where Transactions Meet the Physical World.
ACM Trans. Comput. Syst., 2018

2017
Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support.
ACM Trans. Parallel Comput., 2017

Legato: end-to-end bounded region serializability using commodity hardware transactional memory.
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.
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.
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.
Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Efficient support for strong semantics in transactional and non-transactional programs.
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014
DoubleChecker: efficient sound and precise atomicity checking.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013
OCTET: capturing and controlling cross-thread dependences efficiently.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013


  Loading...