( en | de | ru )

 

Disambiguation of "Sengupta, Aritra"

Author of the publication

copydeleteadd this publication to your clipboard
Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization.

, , , and . PPPJ, page 65-75. ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Aritra Pal

Suprasanna Sengupta

Rahul Sengupta

Kaushik Sengupta

Indra Sengupta

 

Other publications of authors with the same name

Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support., , , , and . ACM Trans. Parallel Comput., 4 (2): 9:1-9:42 (2017)Legato: end-to-end bounded region serializability using commodity hardware transactional memory., , , and . CGO, page 1-13. ACM, (2017)Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization., , , and . PPPJ, page 65-75. ACM, (2015)Transactuations: Where Transactions Meet the Physical World., , , , and . ACM Trans. Comput. Syst., 36 (4): 13:1-13:31 (2018)Input splitting for cloud-based static application security testing platforms., , , , , , , , , and . ESEC/SIGSOFT FSE, page 1367-1378. ACM, (2022)Efficient support for strong semantics in transactional and non-transactional programs.. SPLASH (Companion Volume), page 67-68. ACM, (2015)RAPID: checking API usage for the cloud in the cloud., , , , , , , and . ESEC/SIGSOFT FSE, page 1416-1426. ACM, (2021)Compositional Taint Analysis for Enforcing Security Policies at Scale., , , , , , , , , and 2 other author(s). ESEC/SIGSOFT FSE, page 1985-1996. ACM, (2023)Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability., , , , and . ASPLOS, page 561-575. ACM, (2015)DoubleChecker: efficient sound and precise atomicity checking., , , and . PLDI, page 28-39. ACM, (2014)