Implementing Dependent Types in pi-forall. Oregon Programming Languages Summer School: Types, Logic, and Verification. Eugene OR, USA. June 2023
Implementing Dependent Types in pi-forall. Oregon Programming Languages Summer School: Types, Logic, and Verification. Eugene OR, USA. June 2022
Dependent Types. Programming Languages Mentoring Workshop. St. Louis, MO. September 2018
Formal Logic and Software Verification using Interactive Theorem Provers. ACM Philadelphia Region Celebration of Women in Computing, April 21, 2018
Language Specification and Variable Binding. The Science of Deep Specifications Summer School, July 2017
How to write a great research paper: Simon’s seven easy steps. Programming Languages Mentoring Workshop. Mumbai, India, 2015
How to give a good research talk. Programming Languages Mentoring Workshop. Mumbai, India, 2015
Designing Dependently-Typed Programming Languages. Oregon Programming Languages Summer School: Types, Logic, and Verification. Eugene OR, USA. June 2014
Designing Dependently-Typed Programming Languages. Oregon Programming Languages Summer School: Types, Logic, and Verification. Eugene OR, USA. July 2013
Computational Flags. Swarthmore CATALYST Conference for 7th/8th graders, April 2015, March 2012
Generic Programming with Dependent Types. Spring School on Generic and Indexed Programming. Oxford, England. March 2010
Coq for Programming Language Metatheory. Oregon Programming Languages Summer School on Logic and Theorem Proving in Programming Languages. University of Oregon, July 2008
Using Proof Assistants for Programming Language Research or, How to write your next POPL paper in Coq. POPL Tutorial, Jan 2008
Getting started in PL design research. CRA-W/CDC Programming Languages Summer School. UT Austin, May 2007
Career paths: How to get started in academia or industry. CRA-W/CDC Programming Languages Summer School. UT Austin, May 2007