Formal Methods for Aviation Software Design and Certification (short course)
with Maarten Uijt de Haag at
COUNT 2017, Dayton, OH (5/25/2017).

Certified Multiplicative Weights Update, or Verified Learning Without Regret
HCSS'17: The 17th Annual High Confidence Software and Systems Conference,
Annapolis, MD (5/10/17).

"Verified Learning Without Regret: A Mechanized Proof of the Multiplicative
Weights Update Algorithm,"
University of Toledo EECS, Toledo, OH (10/24/16).

"How to Verify a Compiler,"
Ohio University EECS Graduate Student Seminar (10/13/2016) and
Ohio University Student ACM Chapter (9/7/2016).

"How to Prove a Program,"
Ohio University Math Club (9/19/2016).

"Software Verification and Security @ OHIO,"
AFRL/NASIC/NASA/Ohio Universities Networking Day (7/15/2016).

"Operational Semantics of a Compositional Compiler,"
Mathematical Foundations of Programming Semantics XXXII (5/24/2016) and
Bowling Green State University (4/25/2016).

"Compositional CompCert,"
POPL'15. Mumbai, India (1/16/2015).

"Computational Verification of Network Programs in Coq,"
CPP'13: Certified Programs and Proofs. Melbourne, Australia (12/11/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).

"Verified Heap Theorem Prover by Paramodulation,"
ICFP'12: International Conference on Functional Programming.
Copenhagen, Denmark (9/11/2012).

"Local Actions for a Curry-style Operational Semantics,"
PLPV'12: Workshop on Programming Languages Meets Program Verification.
Austin, TX (1/29/2012).