Seminars

2016
– Journée langages LIP (web) – “Synchronous Languages 101“, together with Laure Gonnord. pdf

2015
– Journée Calcul LIP (web) – “NUMA Profiling for Dynamic Dataflow Applications“.pdf

2014
– Compilation and Execution of Streaming Programs (web) – “Runtime Monitoring of Throughput-Constrained Dataflow Programs“. pdf
– Journées SEMBA (web) – “Runtime Monitoring of Throughput-Constrained Dataflow Programs“. pdf

2013
– Seminar at the Turku University Computer Science Departement – “Dataflow Models of Computations and Languages“. pdf
– Presentation to members of GRAME (web) – “Compilation and Execution of Dataflow Programs“, together with Kevin Marquet. pdf

2011
– Seminar at the Turku University Computer Science Departement – “Synchronous Languages“. pdf
– Seminar at the Turku University Computer Science Departement. “Building Ambient Systems“. pdf

2010
– Seminar at the CITI Lab. “Java et le temps-réel“. pdf
– Seminar at the CITI Lab. “Lustre – a synchronous life“. pdf
– Seminar at the CITI Lab. “Formal Modeling of Multi-Task Device Drivers for the Validation of Timing Properties“. pdf

2009
– Workshop Synchron. “Formal Modeling of Multi-Task Device Drivers for the Validation of Timing Properties“. pdf

2007
– Verimag Workshop – “Rialto: A language for heterogeneous computations“. pdf
– LIESP Lab Seminar (INSA) – “Executable Contracts for Incremental Prototypes of Embedded Systems“. pdf

2006
– ARTIST Workshop on Models of Computations and Concurrency – “Rialto: A language for heterogeneous computations“. pdf