Research
I am interested in applying programming language theory to problems
in computer architecture and hardware design and verification.
Conference and Workshop
Publications
- Loop Rerolling
for Hardware Decompilation (PLDI 2023)
Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, Ben Hardekopf
- 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)
- 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
Thesis
Little Projects
Photography
- Photo albums:
I’ve recently gotten into film photography. I shoot on an old Olympus Trip 35 —
mine was manufactured in Japan around October, 1973.