Teaching

Courses

• Fall 2023 - Introduction to Compiler Design
• Spring 2023 - Practical Compiler Design

Tech Talks

• Qubit Recycling Revisited - Handout
• 30 Cycles or It's Free - Formal Timing of Binary Code
• Quarterly LangSec Review #1 - Dancing, Type Systems, and Quantum Computers
• The Good, The Bad, and The Binary: Formal Timing and Correctness of Binary Code
• Verifier of Lifted Pascal in Coq
• Secrets of the Universe: The Ultimate Formal Verification Talk
• BCKW Combinator Calculus - LaTeX Source - Talk examining Haskell Curry's Ph.D. Thesis
• Formal Program Verification - LaTeX Source - Video - Talk on formal program verification using Coq, given at the Dallas Cyberfest 2023
• Dr. BrickMachine, or: How I Learned to Stop Worrying and LoveHate The Apache HTTP Server Project
• Secure Quantum Information Transfer - Talk on basic quantum computing background and fundamental quantum communication
• Decompilation Schmecompilation - Talk on the practice of decompilation and its legal issues
• Prison Snake - Talk on the Object structure of Python and Pyjail solutions - Recording