Aritra Sengupta
Aritra Sengupta
Samsung Research America
Verified email at cse.ohio-state.edu - Homepage
TitleCited byYear
OCTET: capturing and controlling cross-thread dependences efficiently
MD Bond, M Kulkarni, M Cao, M Zhang, M Fathi Salmi, S Biswas, ...
ACM SIGPLAN Notices 48 (10), 693-712, 2013
432013
DoubleChecker: efficient sound and precise atomicity checking
S Biswas, J Huang, A Sengupta, MD Bond
ACM SIGPLAN Notices 49 (6), 28-39, 2014
402014
Hybrid static–dynamic analysis for statically bounded region serializability
A Sengupta, S Biswas, M Zhang, MD Bond, M Kulkarni
ACM SIGPLAN Notices 50 (4), 561-575, 2015
352015
Prescient memory: exposing weak memory model behavior by looking into the future
M Cao, J Roemer, A Sengupta, MD Bond
ACM SIGPLAN Notices 51 (11), 99-110, 2016
112016
Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences
M Cao, M Zhang, A Sengupta, MD Bond
ACM SIGPLAN Notices 51 (8), 20, 2016
112016
Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization
A Sengupta, M Cao, MD Bond, M Kulkarni
Proceedings of the Principles and Practices of Programming on The Java …, 2015
42015
Legato: End-to-end Bounded Region Serializability using Commodity Hardware Transactional Memory
A Sengupta, M Cao, MD Bond, M Kulkarni
Proceedings of the 2017 International Symposium on Code Generation and …, 2017
32017
Hybrid Static–Dynamic Analysis for Region Serializability
A Sengupta, S Biswas, M Zhang, MD Bond, M Kulkarni
Technical Report OSU-CISRC-11/12-TR18, Computer Science & Engineering, Ohio …, 2013
12013
EnforSCer: Hybrid Static–Dynamic Analysis for End-to-End Sequential Consistency in Software
A Sengupta, S Biswas, MD Bond, M Kulkarni
Technical Report OSU-CISRC-11/12-TR18, Computer Science & Engineering, Ohio …, 2012
12012
OCTET: Practical Concurrency Control for Dynamic Analyses and Systems
MD Bond, M Kulkarni, MF Salmi, M Zhang, S Biswas, J Huang, ...
Technical Report OSU-CISRC-7/12-TR13, Computer Science & Engineering, Ohio …, 2012
12012
Transactuations: where transactions meet the physical world
A Sengupta, T Leesatapornwongsa, MS Ardekani, CA Stuardo
2019 {USENIX} Annual Technical Conference ({USENIX}{ATC} 19), 91-106, 2019
2019
Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support
M Cao, M Zhang, A Sengupta, S Biswas, MD Bond
ACM Transactions on Parallel Computing (TOPC) 4 (2), 9, 2017
2017
Efficient Compiler and Runtime Support for Serializability and Strong Semantics on Commodity Hardware
A Sengupta
The Ohio State University, 2017
2017
Efficient support for strong semantics in transactional and non-transactional programs
A Sengupta
Companion Proceedings of the 2015 ACM SIGPLAN International Conference on …, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–14