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 001; Kevin M. Irick; Vijaykrishnan Narayanan (Computer, 2017)

A FeFET Based Processing-In-Memory Architecture for Solving Distributed Least-Square Optimizations. - Insik Yoon; Muya Chang; Kai Ni 004; Matthew Jerry; Samantak Gangopadhyay; Gus Henry Smith; Tomer Hamam; Vijayakrishan Narayanan; Justin Romberg; Shih-Lien Lu; Suman Datta; Arijit Raychowdhury (DRC, 2018)

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)

Enumerating Hardware-Software Splits with Program Rewriting. - Gus Henry Smith; Zachary Tatlock; Luis Ceze (CoRR, 2020)

Pure tensor program rewriting via access patterns (representation pearl). - Gus Henry Smith; Andrew Liu; Steven Lyubomirsky; Scott Davidson 004; Joseph McMahan; Michael B. Taylor; Luis Ceze; Zachary Tatlock (MAPS@PLDI, 2021)

Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface. - Bo-Yuan Huang 001; 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)

Fridge Compiler: Optimal Circuits from Molecular Inventories. - Lancelot Wathieu; Gus Henry Smith; Luis Ceze; Chris Thachuk (CMSB, 2023)

Generate Compilers from Hardware Models! - Gus Henry Smith; Benjamin Kushigian; Vishal Canumalla; Andrew Cheung; René Just; Zachary Tatlock (CoRR, 2023)

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 (ASPLOS (2), 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)

Generation of Compiler Backends from Formal Models of Hardware. - Gus Henry Smith (CoRR, 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 (2024)

Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface. - Bo-Yuan Huang 001; Steven Lyubomirsky; Yi Li; Mike He; Gus Henry Smith; Thierry Tambe; Akash Gaonkar; Vishal Canumalla; Andrew Cheung; Gu-Yeon Wei; Aarti Gupta; Zachary Tatlock; et al. (ACM Trans. Design Autom. Electr. Syst., 2024)