Follow
Aritra Sengupta
Aritra Sengupta
Automated Reasoning Group, AWS.
Verified email at cse.ohio-state.edu - Homepage
Title
Cited by
Cited by
Year
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
562013
Doublechecker: Efficient sound and precise atomicity checking
S Biswas, J Huang, A Sengupta, MD Bond
ACM SIGPLAN Notices 49 (6), 28-39, 2014
552014
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
442015
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
152019
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), 1-13, 2016
152016
RAPID: checking API usage for the cloud in the cloud
M Emmi, L Hadarean, R Jhala, L Pike, N Rosner, M Schäf, A Sengupta, ...
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
142021
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
142016
Control of eggplant shoot and fruit borer in South Asia
SN Alam, MI Hossain, FMA Rouf, RC Jhala, MG Patel, LK Nath, ...
Technical Bulletin 36, 2006
92006
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
72015
Input splitting for cloud-based static application security testing platforms
M Christakis, T Cottenier, A Filieri, L Luo, MN Mansur, L Pike, N Rosner, ...
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
52022
Transactuations: Where transactions meet the physical world
T Leesatapornwongsa, A Sengupta, MS Ardekani, G Petri, CA Stuardo
ACM Transactions on Computer Systems (TOCS) 36 (4), 1-31, 2020
52020
Bond, and Milind Kulkarni. 2017. Legato: End-to-end bounded region serializability using commodity hardware transactional memory
A Sengupta, M Cao, D Michael
Proceedings of the 2017 International Symposium on Code Generation and …, 0
5
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
Compositional taint analysis for enforcing security policies at scale
S Banerjee, S Cui, M Emmi, A Filieri, L Hadarean, P Li, L Luo, ...
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
22023
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), 1-42, 2017
22017
Visualizing dependent relationships in computer program analysis trace elements
A Sengupta, L Pike, M Schaef, NL Rosner, WC Visser
US Patent 11,675,584, 2023
12023
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
Transient Neonatal Hypocortisolism in Neonates with Hypoglycemia–Coexistence or Cause?
S Mondal, L Nagendra, AS Chowdhury, R Palui, S Biswas, D Mukherjee, ...
Indian Journal of Endocrinology and Metabolism 28 (2), 145-152, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20