Sotabase

Career

· Researcher in Software Systems, Software Systems Laboratory, Columbia University

Publications (17)

Computing With Networks of Oscillatory Dynamical Systems
Proceedings of the IEEE · 2019
76
cited
The Third Eye: A Shopping Assistant for the Visually Impaired
CHI Extended Abstracts · 2017
47
cited
Pure tensor program rewriting via access patterns (representation pearl)
MAPS@PLDI · 2021
36
cited
Third Eye: A Shopping Assistant for the Visually Impaired
Computer · 2017
10
cited
A FerroFET-Based In-Memory Processor for Solving Distributed and Iterative Optimizations via Least-Squares Method
IEEE Journal on Exploratory Solid-State Computational Devices and Circuits · 2019
8
cited
Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
ACM Trans. Design Autom. Electr. Syst. · 2022
7
cited
A FeFET Based Processing-In-Memory Architecture for Solving Distributed Least-Square Optimizations
Device Research Conference · 2018
5
cited
FPGA Technology Mapping Using Sketch-Guided Program Synthesis
International Conference on Architectural Support for Programming Languages and Operating Systems · 2024
5
cited
Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface
arXiv.org · 2022
4
cited
From DSLs to Accelerator-Rich Platform Implementations: Addressing the Mapping Gap
2021
1
cited
Scaling Program Synthesis Based Technology Mapping with Equality Saturation
arXiv.org · 2024
1
cited
DUET: Agentic Design Understanding via Experimentation and Testing
arXiv.org · 2025
Energy Generation and Sound Abatement Modifications in a Sub-scale Turbojet Test Cell
2025 Regional Student Conferences · 2025
Enumerating Hardware-Software Splits with Program Rewriting
arXiv.org · 2020
Fridge Compiler: Optimal Circuits from Molecular Inventories
Computational Methods in Systems Biology · 2023
Generate Compilers from Hardware Models!
arXiv.org · 2023
Generation of Compiler Backends from Formal Models of Hardware
arXiv.org · 2024
Sotabase
Gus Smith | Researcher Profile | Sotabase | Sotabase