Zachary Sisco

Research

I am interested in applying programming language theory to problems in computer architecture and hardware design & verification.

Publications

• Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, Ben Hardekopf. (2022). A Position on Program Synthesis for Processor Development. In LATTE '22: Workshop on Languages, Tools, and Techniques for Accelerator Design. Lausanne, Switzerland, 1 March 2022. (Source code repo)
• Sisco, Z. D. and Bryant, A. R. (2017). A semantics-based approach to concept assignment in assembly code. In Proceedings of the 12th International Conference on Cyber Warfare and Security, Dayton, Ohio, USA, 2–3 March 2017.
• Sisco, Z. D., Dudenhofer, P. P., and Bryant, A. R. (2017). Modeling information flow for an autonomous agent to support reverse engineering work. The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology, 14(3), pp.245–256.

Thesis

• Sisco, Z. D. (2018). Verifying data-oriented gadgets in binary programs to build data-only exploits. (Master's Thesis). Wright State University, Dayton, Ohio, USA.

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