Gus Henry Smith

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 12

Top Topics

Intelligent Assistant

Fpga Technology

Rewriting Queries Using Views

Top Venues

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)
Lancelot Wathieu, Gus Henry Smith, Luis Ceze, Chris Thachuk
Fridge Compiler: Optimal Circuits from Molecular Inventories. CMSB (2023)
Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock
Generate Compilers from Hardware Models! CoRR (2023)
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)
Gus Henry Smith, Andrew Liu, Steven Lyubomirsky, Scott Davidson, Joseph McMahan, Michael B. Taylor, Luis Ceze, Zachary Tatlock
Pure tensor program rewriting via access patterns (representation pearl). MAPS@PLDI (2021)
Gus Henry Smith, Andrew Liu, Steven Lyubomirsky, Scott Davidson, Joseph McMahan, Michael B. Taylor, Luis Ceze, Zachary Tatlock
Pure Tensor Program Rewriting via Access Patterns (Representation Pearl). CoRR (2021)
Arijit Raychowdhury, Abhinav Parihar, Gus Henry Smith, Vijaykrishnan Narayanan, György Csaba, Matthew Jerry, Wolfgang Porod, Suman Datta
Computing With Networks of Oscillatory Dynamical Systems. Proc. IEEE 107 (1) (2019)
Insik Yoon, Muya Chang, Kai Ni, Matthew Jerry, Samantak Gangopadhyay, Gus Henry Smith, Tomer Hamam, Vijayakrishan Narayanan, Justin Romberg, Shih-Lien Lu, Suman Datta, Arijit Raychowdhury
A FeFET Based Processing-In-Memory Architecture for Solving Distributed Least-Square Optimizations. DRC (2018)
Peter A. Zientara, Sooyeon Lee, Gus Henry Smith, Rorry Brenner, Laurent Itti, Mary Beth Rosson, John M. Carroll, Kevin M. Irick, Vijaykrishnan Narayanan
Third Eye: A Shopping Assistant for the Visually Impaired. Computer 50 (2) (2017)