Seminars

2018
– Journée sur l’Injection de fautes : attaques physiques, protections logicielles et mécanismes d’évaluation de la robustesse – “Towards Fault Analysis of Firmware Updaters“.
– Présentation à la conférence ADTC :  “New Security Threats Related to IoT Nodes and Mobile Applications.“.
– Séminaire au laboratoire CITI :  “Polen: a SW/HW approach to program and data confidentiality

2017
– SIESTE @ ENS Lyon (Séminaire d’Informatique pour les Étudiants, Scientifiques, et Tous ceux que l’Informatique intéresse à l’ÉNS Lyon) – “ Les langages synchrones dans tous leurs états“,

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