I am currently on the academic job market! Please
see my CV and research statement.
I conduct research at the intersection of Programming
Languages and Computer Architecture. My
research integrates formal methods into open-source languages for chip
design based around increasing developer agility with correctness
guarantees.
I have published this work in top venues such as PLDI and ASPLOS
while mentoring more than 20 students in research, 11 of which are
co-authors on 4 published conference and workshop papers and 3
manuscripts that are currently under review.
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