• The EverCrypt verified library, New England Systems Verification Days,
    1. PPTX
  • Building and deploying verified components in the HTTPS ecosystem. This is the latest and most updated version of a talk given at: the Cambridge Computer Lab, the MIT, the Celtique team (INRIA Rennes). PPTX

  • Verified Embedded Low-Level Programming in F*, ICFP’17. PDF

  • Secure compilation from F* to C using the KreMLin compiler, Models and Tools for Security Analysis and Proofs (MTP), 2017. PDF This is an improved version of talk previously given at the ML Workshop (2016) and the Secure Compilation Meeting (POPL’17 workshop).

  • Young Researcher Panel Session, Programming Languages Mentoring Workshop (PLMW), 2017. Website

  • GSP: a memory model for distributed systems (invited), Journées Francophones du Logiciel Applicatif (JFLA), 2016. PDF Talk also given at Gallium (INRIA Paris) and Celtique (INRIA Rennes).

  • The BBC micro:bit and TouchDevelop (keynote), Programming for Mobile and Touch (PROMOTO) 2015. PPTX Talk also given at the Workshop on Programming Languages Technology for Massive Open Online Courses (PLOOC), 2015.

  • Translating from TouchDevelop to C++11 (short presentation), cppcon (the c++ conference), 2015. PPTX

  • Mezzo, the language of the future PhD defense, September 2014. PDF

  • The design of Mezzo, a new programming language ICFP’13. PDF I gave variations of “the Mezzo talk” at: INRIA (Rocquencourt, 2011), the PPS lab (Paris, 2012), the Proval team (Saclay, 2012), Texas A&M university (Texas, USA, 2012), Google (New York, USA, 2012), the Computer Lab (Cambridge, UK, 2013), INRIA (Rennes, Celtique Team, 2014), Microsoft Research (Redmond, USA, 2014), Microsoft C++ team (Redmond, USA, 2015), as well as all the other locations mentioned above (IFL, ICFP, ML, FSFMA, and finally my PhD defense). Dr. Pottier also gave several more Mezzo talks!

  • Why design a new programming language? FSFMA’13. PDF

  • What is type-checking? INRIA Junior Seminar, June 2013. PDF, Video

  • An introduction to Mezzo (short). ML’12. PDF, YouTube