| DoubleChecker: efficient sound and precise atomicity checking S Biswas, J Huang, A Sengupta, MD Bond ACM SIGPLAN Notices 49 (6), 28-39, 2014 | 57 | 2014 |
| 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 | 55 | 2013 |
| 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 | 43 | 2015 |
| 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 | 15 | 2021 |
| 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 | 15 | 2019 |
| 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 | 15 | 2016 |
| 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 | 12 | 2016 |
| Statistical modeling of MODIS cloud data using the Spatial Random Effects model A Sengupta, N Cressie, R Frey, B Kahn University of Wollongong, 2012 | 9 | 2012 |
| 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 | 9 | 2006 |
| 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 | 7 | 2015 |
| 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 | 6 | 2022 |
| 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 | 6 | 2020 |
| 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 | 3 | 2017 |
| 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 | 2 | 2023 |
| 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 | 2 | 2023 |
| 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 | 2 | 2017 |
| 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 | 1 | 2013 |
| 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 | 1 | 2012 |
| 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 | 1 | 2012 |
Michael D. BondOhio State UniversityEmail yang diverifikasi di cse.ohio-state.edu