Andrew Cheung

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Fpga Technology

Semantic Structures

Semantic Representation

Dedicated Hardware

Top Venues

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)
Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
FPGA Technology Mapping Using Sketch-Guided Program Synthesis. ASPLOS (2) (2024)
Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
FPGA Technology Mapping Using Sketch-Guided Program Synthesis. CoRR (2024)
Gus Henry Smith, Zachary D. Sisco, Thanawat Techaumnuaiwit, Jingtao Xia, Vishal Canumalla, Andrew Cheung, Zachary Tatlock, Chandrakana Nandi, Jonathan Balkind
There and Back Again: A Netlist's Tale with Much Egraphin'. CoRR (2024)
Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock
Generate Compilers from Hardware Models! CoRR (2023)
Adam Pease, Andrew Cheung
Toward a Semantic Concordancer. GWC (2018)