Gus Henry Smith

Identifiers

• name variant Gus Henry Smith 0.60 · backfill

Papers (7)

1. Scaling Program Synthesis Based Technology Mapping with Equality Saturation cs.PL · 2024 · author #1
2. Generation of Compiler Backends from Formal Models of Hardware cs.PL · 2024 · author #1
3. There and Back Again: A Netlist's Tale with Much Egraphin' cs.AR · 2024 · author #1
4. FPGA Technology Mapping Using Sketch-Guided Program Synthesis cs.AR · 2024 · author #1
5. Generate Compilers from Hardware Models! cs.PL · 2023 · author #1
6. Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface cs.AR · 2022 · author #5
7. Pure Tensor Program Rewriting via Access Patterns (Representation Pearl) cs.PL · 2021 · author #1

Mentions

• 2411.11036 #1 · arxiv_oai · confidence 0.70 Gus Henry Smith
• 2408.15429 #1 · arxiv_oai · confidence 0.70 Gus Henry Smith
• 2404.00786 #1 · arxiv_oai · confidence 0.70 Gus Henry Smith
• 2401.16526 #1 · arxiv_oai · confidence 0.70 Gus Henry Smith
• 2203.00218 #5 · arxiv_oai · confidence 0.70 Gus Henry Smith
• 2305.09580 #1 · arxiv_oai · confidence 0.70 Gus Henry Smith
• 2105.09377 #1 · arxiv_oai · confidence 0.70 Gus Henry Smith

Frequent Coauthors

• Zachary Tatlock 6 shared papers
• Andrew Cheung 4 shared papers
• Vishal Canumalla 4 shared papers
• Steven Lyubomirsky 3 shared papers
• Ben Kushigian 2 shared papers
• Chandrakana Nandi 2 shared papers
• Gilbert Louis Bernstein 2 shared papers
• Jonathan Balkind 2 shared papers
• Ren\'e Just 2 shared papers
• Aarti Gupta 1 shared papers
• Akash Gaonkar 1 shared papers
• Andrew Liu 1 shared papers
• Bo-Yuan Huang 1 shared papers
• Colin Knizek 1 shared papers
• Daniel Petrisko 1 shared papers
• Gu-Yeon Wei 1 shared papers
• Haobin Ni 1 shared papers
• Jingtao Xia 1 shared papers
• Joseph McMahan 1 shared papers
• Luis Ceze 1 shared papers