Zachary Sisco

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

• Verifying data-oriented gadgets in binary programs to build data-only exploits
  Master’s Thesis (Wright State University) 2018

Little Projects

• Synthesizing Concurrent Code using a Solver-aided DSL
• Investigations into a Separating-typed Language
• Scheme2Beam: A Source Compiler from Scheme to Erlang
• Formalizing a Consensus Protocol using Dependent Session Types

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.