Research
My research is about applying solver-aided programming languages to
problems in hardware design.
Conference and Journal
Publications
- Control Logic
Synthesis: Drawing the Rest of the OWL (ASPLOS 2024, to
appear)
Zachary D. Sisco, Andrew David Alex, Zechen Ma, Yeganeh
Aghamohammadi, Boming Kong, Benjamin Darnell, Timothy Sherwood, Ben
Hardekopf, Jonathan Balkind
(Source code repo)
- Loop Rerolling
for Hardware Decompilation (PLDI 2023)
Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood,
Ben Hardekopf
(Source code
repo)
- A
semantics-based approach to concept assignment in assembly code
(ICCWS 2017)
Zachary D. Sisco, Adam Bryant
- Modeling
information flow for an autonomous agent to support reverse engineering
work (JDMS 2017)
Zachary D. Sisco, Patrick Dudenhofer, Adam Bryant
Workshop Papers
- There and Back Again: A
Netlist’s Tale With Much Egraphin’ (LATTE 2024)
Gus Henry Smith, Zachary D. Sisco, Thanawat
Techaumnuaiwit, Jingtao Xia, Vishal Canumalla, Andrew Cheung, Zachary
Tatlock, Chandrakana Nandi, Jonathan Balkind
(Web
demo)
- Semi-Automated Translation of a Formal
ISA Specification to Hardware (PLARCH 2023)
Harlan Kringen, Zachary Sisco, Jonathan Balkind,
Timothy Sherwood, Ben Hardekopf
- On the Generality of Matrix Multiplication (PLARCH
2023)
Andrew Alex, Zachary D. Sisco, Jonathan Balkind
- A
Position on Program Synthesis for Processor Development (LATTE
2022)
Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood,
Ben Hardekopf
(Source code
repo)
Thesis
Little Projects