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
Little projects