Sequential programming for replicated data stores NV Lewchenko, A Radhakrishna, A Gaonkar, P Černý Proceedings of the ACM on Programming Languages 3 (ICFP), 1-28, 2019 | 13 | 2019 |
Specialized accelerators and compiler flows: Replacing accelerator APIs with a formal software/hardware interface BY Huang, S Lyubomirsky, Y Li, M He, T Tambe, GH Smith, A Gaonkar, ... arXiv preprint arXiv:2203.00218, 2022 | 5 | 2022 |
Conflict-aware replicated data types NV Lewchenko, A Radhakrishna, A Gaonkar, P Černý arXiv preprint arXiv:1802.08733, 2018 | 2 | 2018 |
Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface BY Huang, S Lyubomirsky, Y Li, M He, GH Smith, T Tambe, A Gaonkar, ... ACM Transactions on Design Automation of Electronic Systems 29 (2), 1-25, 2024 | 1 | 2024 |
The Derby Game: An Ordering-based Colonel Blotto Game A Gaonkar, D Raghunathan, SM Weinberg Proceedings of the 23rd ACM Conference on Economics and Computation, 184-207, 2022 | | 2022 |