Gus Henry Smith

According to our database, Gus Henry Smith authored at least 15 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

DUET: Agentic Design Understanding via Experimentation and Testing.

Gus Henry Smith, Sandesh Adhikary, Vineet Thumuluri, Karthik Suresh, Vivek Pandit, Kartik Hegde, Hamid Shojaei, Chandra Bhagavatula

CoRR, December, 2025

2024

Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface.

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

ACM Trans. Design Autom. Electr. Syst., March, 2024

Generation of Compiler Backends from Formal Models of Hardware

Gus Henry Smith

PhD thesis, 2024

Scaling Program Synthesis Based Technology Mapping with Equality Saturation.

Gus Henry Smith, Colin Knizek, Daniel Petrisko, Zachary Tatlock, Jonathan Balkind, Gilbert Louis Bernstein, Haobin Ni, Chandrakana Nandi

CoRR, 2024

Generation of Compiler Backends from Formal Models of Hardware.

Gus Henry Smith

CoRR, 2024

There and Back Again: A Netlist's Tale with Much Egraphin'.

Gus Henry Smith, Zachary D. Sisco, Thanawat Techaumnuaiwit, Jingtao Xia, Vishal Canumalla, Andrew Cheung, Zachary Tatlock, Chandrakana Nandi, Jonathan Balkind

CoRR, 2024

FPGA Technology Mapping Using Sketch-Guided Program Synthesis.

Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Generate Compilers from Hardware Models!

Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, René Just, Zachary Tatlock

CoRR, 2023

Fridge Compiler: Optimal Circuits from Molecular Inventories.

Lancelot Wathieu, Gus Henry Smith, Luis Ceze, Chris Thachuk

Proceedings of the Computational Methods in Systems Biology, 2023

2022

Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface.

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

CoRR, 2022

2021

Pure tensor program rewriting via access patterns (representation pearl).

Gus Henry Smith, Andrew Liu, Steven Lyubomirsky, Scott Davidson, Joseph McMahan, Michael B. Taylor, Luis Ceze, Zachary Tatlock

Proceedings of the MAPS@PLDI 2021: Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming, 2021

2020

Enumerating Hardware-Software Splits with Program Rewriting.

Gus Henry Smith, Zachary Tatlock, Luis Ceze

CoRR, 2020

2019

Computing With Networks of Oscillatory Dynamical Systems.

Arijit Raychowdhury, Abhinav Parihar, Gus Henry Smith, Vijaykrishnan Narayanan, György Csaba, Matthew Jerry, Wolfgang Porod, Suman Datta

Proc. IEEE, 2019

2018

A FeFET Based Processing-In-Memory Architecture for Solving Distributed Least-Square Optimizations.

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

Proceedings of the 76th Device Research Conference, 2018

2017

Third Eye: A Shopping Assistant for the Visually Impaired.

Peter A. Zientara, Sooyeon Lee, Gus Henry Smith, Rorry Brenner, Laurent Itti, Mary Beth Rosson, John M. Carroll, Kevin M. Irick, Vijaykrishnan Narayanan

Computer, 2017