Talks
2018
"Machine-Verified Machine Learning", lightning talk at
DeepSpec @ PLDI,
Philadelphia, PA (6/19/2018).
2018
"Introduction to Formal Methods", guest lecture, Chang Liu's "Mining Data Repositories" graduate seminar, Ohio University, OH (4/19/18).
2018
"High-Assurance Machine Learning", Air Force Research Lab, Dayton, OH (4/6/2018).
2016
"Verified Learning Without Regret: A Mechanized Proof of the Multiplicative
Weights Update Algorithm,"
University of Toledo EECS, Toledo, OH (10/24/16).
2016
"How to Verify a Compiler,"
Ohio University EECS Graduate Student Seminar (10/13/2016) and
Ohio University Student ACM Chapter, Athens, OH (9/7/2016).
2016
"How to Prove a Program,"
Ohio University Math Club, Athens, OH (9/19/2016).
2016
"Software Verification and Security @ OHIO,"
AFRL/NASIC/NASA/Ohio Universities Networking Day, Dayton, OH (7/15/2016).
2016
"Operational Semantics of a Compositional Compiler,"
Mathematical Foundations of Programming Semantics XXXII, Pittsburgh, PA (5/24/2016).
2016
"Operational Semantics of a Compositional Compiler,"
Bowling Green State University, Bowling Green, OH (4/25/2016).
2015
"Compositional CompCert,"
POPL'15. Mumbai, India (1/16/2015).
2013
"Computational Verification of Network Programs in Coq,"
CPP'13: Certified Programs and Proofs. Melbourne, Australia (12/11/2013).
2013
"Dependent Types for Enforcement of Erasure Policies in Heterogeneous
Data Structures,"
PPDP'13: Principles and Practices of Declarative Programming. Madrid, Spain (9/17/2013).
2012
"Verified Heap Theorem Prover by Paramodulation,"
ICFP'12: International Conference on Functional Programming.
Copenhagen, Denmark (9/11/2012).
2012
"Local Actions for a Curry-style Operational Semantics,"
PLPV'12: Workshop on Programming Languages Meets Program Verification.
Austin, TX (1/29/2012).