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


2018

Protecting Chatbots from Toxic Content
G. Baudart, J. Dolby, E. Duesterwald, M. Hirzel, A. Shinnar.
Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!18), 2018

A Reactive Language for Analyzing Cloud Logs
G. Baudart, L. Mandel, O. Tardieu, M. Vaziri
Workshop on Reactive and Event-based Languages and Systems (REBLS'18), 2018

Reactive Chatbot Programming
G. Baudart, M. Hirzel, L. Mandel, A. Shinnar, J. Siméon
Workshop on Reactive and Event-based Languages and Systems (REBLS'18), 2018

Probabilistic Reactive Programming
L. Mandel, G. Baudart, A. Shinnar, Kiran Kate, M. Hirzel
International Conference on Probabilistic Programming (PROBPROG'18), 2018

Watertight Probabilistic Abstractions in Python
G. Baudart, A. Shinnar, L. Mandel, M. Hirzel
International Conference on Probabilistic Programming (PROBPROG'18), 2018

Extending Stan for Deep Probabilistic Programming
J. Burroni, G. Baudart, L. Mandel, M. Hirzel, and A. Shinnar
Technical Report 1810.00873 , arXiv, 2018

Deep Probabilistic Programming Languages: A Qualitative Study
G. Baudart, M. Hirzel, L. Mandel
Technical Report 1804.06458, arXiv, 2018
Also a poster at the Workshop on Machine Learning and Programming Languages

Stream Processing Languages and Abstractions
M. Hirzel, G. Baudart
Encyclopedia of Big Data Technologies, Springer, 2018

Programmer des chatbots en OCaml avec Watson Conversation Service
G. Baudart, L. Mandel, J. Siméon
Journées Francophones des Langages Applicatifs (JFLA'18), 2018


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

A Synchronous Approach to Quasi-Periodic Systems
G. Baudart
Ph.D. Thesis, 2017

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

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.

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