Guillaume Baudart  Guillaume Baudart photo       

contact information

Research Staff Member
Thomas J. Watson Research Center, Yorktown Heights, NY USA

links


more information

More information:  Personal webpage


2017

Symbolic Simulation of Dataflow Synchronous Programs with Timers
G. Baudart, T. Bourke, M. Pouzet
Forum on specification \& Design Languages (FDL'17), 2017
Best paper award.

CloudLens, Un langage de script pour l'analyse de données semi-structurées
G. Baudart, L. Mandel, O. Tardieu, M. Vaziri
Journées Francophones des Langages Applicatifs (JFLA'17), 2017


2016

Soundness of the Quasi-Synchronous Abstraction
G. Baudart, T. Bourke, M. Pouzet
FMCAD'16, 2016

Loosely Time-Triggered Architectures: Improvements and Comparison
G. Baudart, A. Benveniste, T. Bourke
Transactions on Embedded Computing Systems (TECS) 15(4), 71:1--71:26, 2016


2015

Loosely Time-Triggered Architectures: Improvements and Comparisons
G. Baudart, A. Benveniste, T. Bourke
EMSOFT'15, 2015
Best paper nominee.


2014

A Unifying View of Loosely Time-Triggered Architectures
G. Baudart, A. Benveniste, A. Bouillard, P. Caspi
Technical Report RR-8494, INRIA, 2014
Corrected version of a paper which appeared at \textitEMSOFT'10.


2013

Programming Mixed Music in ReactiveML
G. Baudart, L. Mandel, M. Pouzet
FARM'13, 2013
Workshop ICFP 2013

A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music
G. Baudart, F. Jacquemard, L. Mandel, M. Pouzet
EMSOFT'13, 2013
Best paper nominee.