Akash Gaonkar

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Abstraction Layer

Hardware Designs

Application Programmer

Pursuit Evasion

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Design Autom. Electr. Syst.

Publications

Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Gus Henry Smith, Thierry Tambe, Akash Gaonkar, Vishal Canumalla, Andrew Cheung, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik
Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface. ACM Trans. Design Autom. Electr. Syst. 29 (2) (2024)
Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Thierry Tambe, Gus Henry Smith, Akash Gaonkar, Vishal Canumalla, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik
Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface. CoRR (2022)
Akash Gaonkar, Divya Raghunathan, S. Matthew Weinberg
The Derby Game: An Ordering-based Colonel Blotto Game. EC (2022)
Nicholas V. Lewchenko, Arjun Radhakrishna, Akash Gaonkar, Pavol Cerný
Sequential programming for replicated data stores. Proc. ACM Program. Lang. 3 (ICFP) (2019)