Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Static scheduling of latency insensitive designs with Lucy-n., , and . FMCAD, page 171-175. FMCAD Inc., (2011)Deep Probabilistic Programming Languages: A Qualitative Study., , and . CoRR, (2018)Abstraction of Clocks in Synchronous Data-Flow Systems., , , and . APLAS, volume 5356 of Lecture Notes in Computer Science, page 237-254. Springer, (2008)Lucy-n: a n-Synchronous Extension of Lustre., , and . MPC, volume 6120 of Lecture Notes in Computer Science, page 288-309. Springer, (2010)Reactive chatbot programming., , , , and . REBLS@SPLASH, page 21-30. ACM, (2018)Reactivity of Cooperative Systems - Application to ReactiveML., and . SAS, volume 8723 of Lecture Notes in Computer Science, page 219-236. Springer, (2014)A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music., , , and . EMSOFT, page 1:1-1:12. IEEE, (2013)Translating canonical SQL to imperative code in Coq., , , , , , and . Proc. ACM Program. Lang., 6 (OOPSLA): 1-27 (2022)Simulation and Verification of Asynchronous Systems by means of a Synchronous Model., and . ACSD, page 3-14. IEEE Computer Society, (2006)Réseaux de Kahn à rafales et horloges entières., and . JFLA, page 93-108. (2014)