|
Courses at École Polytechnique:
Since 2015:
A Programmer's Introduction to Computer Architectures and Operating
Systems (INF 559).
Lectures at MPRI:
2018: course
on
Weak memory concurrency
(also 2017, 2016,
2015 2014, 2013, 2012, 2011).
2010: course on Proof
Methods for Concurrent Programs (also 2009).
2008: course
on pi-calculus
(also CCS and
pi-calculus 2007,
and
pi-calculus 2006).
Lectures in Summer Schools:
Formal Methods for the Design of
Computer, Communication and Software Systems:
Multicore Programming, June 2015.
Semantics and tools for
low-level concurrent programming, January 2013. [Resources]
UPMARC Multicore Computing summer school, course on Shared memory: an elusive abstraction, June 2011.
BISS 2005,
course
on Strong
Static Typing and Advanced Functional Programming, 2005.
Organisation of CEA-EDF-INRIA Summer Schools:
Functional Programming for Parallel and Concurrent Applications, 11-22 June 2012, CEA Cadarache.
Modelling and Verifying Algorithms in COQ: an introduction, 14-18 November 2011, INRIA, Paris.
Deep into SmallTalk, 7-11 March 2011, IRCICA, Lille.
Modelling and Verifying Algorithms in COQ: an introduction, 7-11 June 2010, INRIA, Paris.
|