rml.bib
@inproceedings{BaudartHirzelMandelShinnarSimeon-REBLS-2018,
author = {Guillaume Baudart and Martin Hirzel and Louis Mandel and Avraham Shinnar and Jerome Simeon},
title = {Reactive Chatbot Programming},
booktitle = {Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems ({REBLS'18})},
month = nov,
year = 2018,
address = {Boston, MA, USA},
note = {{SPLASH} Workshop},
url = {BaudartHirzelMandelShinnarSimeon-REBLS-2018.pdf}
}
@inproceedings{MandelBaudartShinnarKateHirzel-ProbProg-2018,
author = {Louis Mandel and Guillaume Baudart and Avraham Shinnar and Kiran Kate and Martin Hirzel},
title = {Probabilistic Reactive Programming},
booktitle = {1st International Conference on Probabilistic Programming ({ProbProg'18})},
year = 2018,
month = oct,
address = {Boston, MA, USA},
note = {poster},
url = {MandelBaudartShinnarKateHirzel-ProbProg-2018.pdf}
}
@inproceedings{BaudartMandelPasteurPouzet-ICFP-2018,
author = {Guillaume Baudart and Louis Mandel and C{\'e}dric Pasteur and Marc Pouzet},
title = {Implement your own ReactiveML},
booktitle = {Tutorial at the 23rd ACM SIGPLAN International Conference on Functional Programming ({ICFP'18})},
year = 2018,
month = sep,
address = {St. Louis, USA},
webpage = {http://reactiveml.org/icfp18}
}
@inproceedings{MandelPasteurPouzet-PPDP-2015,
author = {Louis Mandel and C{\'e}dric Pasteur and Marc Pouzet},
title = {{ReactiveML}, Ten Years Later},
booktitle = {Proceedings of 17th {ACM SIGPLAN} International Symposium on Principles and Practice of Declarative Programming ({PPDP'15})},
year = 2015,
month = jul,
address = {Siena, Italy},
url = {MandelPasteurPouzet-PPDP-2015.pdf}
}
@article{MandelPasteurPouzet-SCP-2015,
author = {Louis Mandel and C{\'e}dric Pasteur and Marc Pouzet},
title = {Time refinement in a functional synchronous language},
journal = {Science of Computer Programming},
volume = {111, Part 1},
pages = {190 - 211},
year = 2015,
note = {Special Issue on Principles and Practice of Declarative Programming ({PPDP 2013})},
url = {MandelPasteurPouzet-SCP-2015.pdf},
webpage = {http://reactiveml.org/scp15}
}
@inproceedings{MandelPasteur-SAS-2014,
author = {Louis Mandel and C{\'e}dric Pasteur},
title = {Reactivity of Cooperative Systems},
booktitle = {Proceedings of 21st International Static Analysis Symposium (SAS'14)},
year = 2014,
month = sep,
address = {Munich, Germany},
url = {MandelPasteur-SAS-2014.pdf},
webpage = {http://reactiveml.org/sas14}
}
@techreport{MandelPasteur-SAS-extended-2014,
author = {Louis Mandel and C{\'e}dric Pasteur},
title = {Reactivity of Cooperative Systems -- extended version},
institution = {INRIA},
number = 8549,
year = 2014,
note = {Available at: \url{http://reactiveml.org/sas14}},
type = {Research Report},
url = {MandelPasteur-SAS-extended-2014.pdf}
}
@inproceedings{MandelPasteur-JFLA-2014,
author = {Louis Mandel and C{\'e}dric Pasteur},
title = {Ex{\'e}cution efficace de programmes {ReactiveML}},
booktitle = {Vingt-cinqui{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs (JFLA'14)},
year = 2014,
month = jan,
address = {Fr{\'e}jus, France},
url = {MandelPasteur-JFLA-2014.pdf}
}
@phdthesis{Pasteur-These,
author = {C{\'e}dric Pasteur},
title = {Raffinement temporel et ex{\'e}cution parall{\`e}le dans un langage synchrone fonctionnel},
school = {Universit{\'e} Paris 6},
year = {2013},
url = {Pasteur-These.pdf},
webpage = {http://reactiveml.org/these_pasteur}
}
@inproceedings{BaudartJacquemardMandelPouzet-EMSOFT-2013,
author = {Guillaume Baudart and Florent Jacquemard and Louis Mandel and Marc Pouzet},
title = {A Synchronous Embedding of {Antescofo}, a Domain-Specific Language for Interactive Mixed Music},
booktitle = {Thirteen International Conference on Embedded Software (EMSOFT'13)},
year = 2013,
month = sep,
address = {Montreal, Canada},
url = {BaudartJacquemardMandelPouzet-EMSOFT-2013.pdf},
webpage = {http://reactiveml.org/emsoft13}
}
@inproceedings{BaudartMandelPouzet-FARM-2013,
author = {Guillaume Baudart and Louis Mandel and Marc Pouzet},
title = {Programming Mixed Music in {ReactiveML}},
booktitle = {ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design ({FARM'13})},
year = 2013,
month = sep,
address = {Boston, USA},
note = {Workshop ICFP 2013},
url = {BaudartMandelPouzet-FARM-2013.pdf},
webpage = {http://reactiveml.org/farm13}
}
@inproceedings{MandelPasteurPouzet-PPDP-2013,
author = {Louis Mandel and C{\'e}dric Pasteur and Marc Pouzet},
title = {Time Refinement in a Functional Synchronous Language},
booktitle = {Proceedings of 15th {ACM SIGPLAN} International Symposium on Principles and Practice of Declarative Programming ({PPDP'13})},
year = 2013,
address = {Madrid, Spain},
month = sep,
url = {MandelPasteurPouzet-PPDP-2013.pdf},
webpage = {http://reactiveml.org/ppdp13}
}
@inproceedings{MandelPasteur-JFLA-2013,
author = {Louis Mandel and C{\'e}dric Pasteur},
title = {R{\'e}activit{\'e} des syst{\`e}mes coop{\'e}ratifs : le cas de {ReactiveML}},
booktitle = {Vingt-quatri{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA'13})},
year = 2013,
month = feb,
address = {Aussois, France},
url = {MandelPasteur-JFLA-2013.pdf},
webpage = {http://reactiveml.org/jfla13}
}
@inproceedings{MandelPlateau-SLAP-2008,
author = {Louis Mandel and Florence Plateau},
title = {Interactive Programming of Reactive Systems},
booktitle = {Proceedings of Model-driven High-level Programming of Embedded Systems ({SLA++P'08})},
year = 2008,
month = apr,
address = {Budapest, Hungary},
url = {MandelPlateau-SLAP-2008.pdf}
}
@article{MandelPouzet-TSI-2008,
author = {Louis Mandel and Marc Pouzet},
title = {{ReactiveML} : un langage fonctionnel pour la programmation r{\'e}active},
journal = {Technique et Science Informatiques ({TSI})},
year = 2008,
volume = 27,
number = {9--10/2008},
pages = {1097--1128},
url = {MandelPouzet-TSI-2008.pdf}
}
@inproceedings{MorelMandel-FESCA-2007,
author = {Lionel Morel and Louis Mandel},
title = {Executable Contracts for Incremental Prototypes of Embedded Systems},
booktitle = {Formal Foundations of Embedded Software
and Component-Based Software Architectures ({FESCA'07})},
month = mar,
year = 2007,
url = {MorelMandel-FESCA-2007.pdf}
}
@phdthesis{Mandel-These,
author = {Louis Mandel},
title = {Conception, S{\'e}mantique et Implantation de {ReactiveML} : un langage {\`a} la {ML} pour la programmation r{\'e}active},
school = {Universit{\'e} Paris 6},
year = {2006},
url = {Mandel-These.pdf}
}
@inproceedings{SamperMaraninchiMounierMandel-InterSense-2006,
author = {Ludovic Samper and Florence Maraninchi and Laurent Mounier
and Louis Mandel},
title = {{GLONEMO}: Global and Accurate Formal Models for the Analysis of Ad hoc Sensor Networks},
booktitle = {Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks ({InterSense'06})},
year = {2006},
address = {Nice, France},
month = may,
url = {SamperMaraninchiMounierMandel-InterSense-2006.pdf}
}
@inproceedings{MandelPouzet-PPDP-2005,
author = {Louis Mandel and Marc Pouzet},
title = {{ReactiveML}, a Reactive Extension to {ML}},
booktitle = {Proceedings of 7th {ACM SIGPLAN} International Symposium on Principles and Practice of Declarative Programming ({PPDP'05})},
year = 2005,
address = {Lisbon, Portugal},
month = jul,
url = {MandelPouzet-PPDP-2005.pdf},
url2 = {MandelPouzet-PPDPextended-2005.pdf}
}
@inproceedings{MandelBenbadis-SLAP-2005,
author = {Louis Mandel and Farid Benbadis},
title = {Simulation of Mobile Ad hoc Network Protocols in {ReactiveML}},
booktitle = {Proceedings of Synchronous Languages, Applications, and Programming ({SLAP'05})},
publisher = {Electronic Notes in Theoretical Computer Science},
year = 2005,
month = apr,
address = {Edinburgh, Scotland},
url = {MandelBenbadis-SLAP-2005.pdf}
}
@inproceedings{MandelPouzet-JFLA-2005,
author = {Louis Mandel and Marc Pouzet},
title = {{ReactiveML}, un langage pour la programmation r{\'e}active en {ML}},
booktitle = {Journ{\'e}es Francophones des Langages Applicatifs ({JFLA'05})},
year = 2005,
address = {Obernai, France},
month = mar,
publisher = {INRIA},
url = {MandelPouzet-JFLA-2005.ps}
}