Southmountain Research

Southmountain Research, LLC is the (currently inactive) contracting vehicle of Gus Henry Smith, Ph.D., providing research and development services in electronic design automation (EDA), hardware compilation, and AI. So far, Southmountain Research has been involved in the following projects:

Open-source EDA contributions: Gus was a member of the YosysHQ team, working on open-source EDA tools for synthesis and verification of hardware designs.

Research collaborations: Through research collaborations with researchers at UC Santa Barbara and the University of Washington, Gus continued to advance the state of the art in AI and programming languages techniques for hardware compilation and EDA. This led to the following papers:

Improving Equality Saturation for EDA via Semantic E-Graphs. To appear at PLDI 2026. Sijie Kong, Jingtao Xia, Daniel Ruelas-Petrisko, Zachary D. Sisco, Jonathan Balkind, Gus Henry Smith.

Fungible Memories for Automated Technology Mapping and Retargeting. To appear at PLDI 2026. Zachary D. Sisco, Sijie Kong, Daniel Ruelas-Petrisko, Jingtao Xia, Julian Springer, Varun Rao, Spencer Wang, Gus Henry Smith, Ben Hardekopf, Jonathan Balkind.

Implementing Cache Coherence with Coroutines: A Case Study. LATTE 2026. Andrew David Alex, Jingtao Xia, Gus Henry Smith, Rachit Nigam, Jonathan Balkind, Gilbert Bernstein.

DUET: Agentic Design Understanding via Experimentation and Testing. DVCon 2026. Gus Henry Smith, Sandesh Adhikary, Vineet Thumuluri, Vivek Pandit, Kartik Hegde, Hamid Shojaei, Chandra Bhagavatula.

You can contact Gus at gus@southmountain.ai.