Registered user since Thu 29 Jun 2017
Affiliation:École normale supérieure
Research interests:Programming languages; synchronous languages and systems; reactive systems; embedded software; compilation; static analyses.
|REBLS 2021||Committee Member in Program Committee within the REBLS 2021-track|
|SPLASH 2021||Reactive Probabilistic Programming|
|Show activities from other conferences|
Using general profile