@inproceedings{BaudartBurroniHirzelMandelShinnar-PLDI-2021,
author = {Baudart, Guillaume and Burroni, Javier and Hirzel, Martin and Mandel, Louis and Shinnar, Avraham},
title = {Compiling {Stan} to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming},
year = 2021,
month = jun,
doi = {10.1145/3453483.3454058},
url = {BaudartBurroniHirzelMandelShinnar-PLDI-2021.pdf},
url2 = {https://arxiv.org/pdf/1810.00873.pdf},
booktitle = {Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation ({PLDI'21})},
pages = {497-510},
location = {Virtual}
}
@inproceedings{ChaWitternBaudartDavisMandelLaredo-FSE-2020,
author = {Cha, Alan and Wittern, Erik and Baudart, Guillaume and Davis, James C. and Mandel, Louis and Laredo, Jim A.},
title = {A Principled Approach to GraphQL Query Cost Analysis},
year = 2020,
month = nov,
url = {ChaWitternBaudartDavisMandelLaredo-FSE-2020.pdf},
doi = {10.1145/3368089.3409670},
booktitle = {Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering},
pages = {257-268},
numpages = 12,
location = {Virtual Event, USA},
series = {ESEC/FSE 2020}
}
@inproceedings{BaudartColacoMandelMendlerPouzet-FDL-2020,
author = {Guillaume Baudart and Jean-Louis Cola{\c{c}}o and Louis Mandel and Michael Mendler and Marc Pouzet},
title = {WiP. A Co-Iterative Synchronous Interpreter},
year = 2020,
url = {BaudartColacoMandelMendlerPouzet-FDL-2020.pdf},
booktitle = {Forum on specification & Design Languages ({FDL'20})},
location = {Virtual Event, USA}
}
@inproceedings{BaudartMandelAtkinsonShermanPouzetCarbin-ProbProg-2020,
author = {Guillaume Baudart and Louis Mandel and Eric Atkinson and Benjamin Sherman and Marc Pouzet and Michael Carbin},
title = {Programming Reactive Probabilistic Applications},
booktitle = {2nd International Conference on Probabilistic Programming ({ProbProg'18})},
year = 2020,
month = oct,
address = {Virtual},
note = {poster},
url = {BaudartMandelAtkinsonShermanPouzetCarbin-ProbProg-2020.pdf}
}
@inproceedings{BaudartBurroniHirzelKateMandelShinnar-ProbProg-2020,
author = {Guillaume Baudart and Javier Burroni and Martin Hirzel and Kiran Kate and Louis Mandel and Avraham Shinnar},
title = {Compiling {Stan} to Generative Probabilistic Languages},
booktitle = {2nd International Conference on Probabilistic Programming ({ProbProg'18})},
year = 2020,
month = oct,
address = {Virtual},
note = {poster},
url = {BaudartBurroniHirzelKateMandelShinnar-ProbProg-2020.pdf}
}
@inproceedings{BaudartMandelAtkinsonShermanPouzetCarbin-PLDI-2020,
author = {Baudart, Guillaume and Mandel, Louis and Atkinson, Eric and Sherman, Benjamin and Pouzet, Marc and Carbin, Michael},
title = {Reactive Probabilistic Programming},
year = 2020,
month = jun,
url = {https://doi.org/10.1145/3385412.3386009},
url2 = {BaudartMandelAtkinsonShermanPouzetCarbin-PLDI-2020-extended.pdf},
booktitle = {Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ({PLDI'20})},
pages = {898-912},
location = {Virtual}
}
@inproceedings{BaudartMandelPouzetAtkinsonShermanCarbin-JFLA-2020,
author = {Guillaume Baudart and Louis Mandel and Marc Pouzet and Eric Atkinson and Benjamin Sherman and Michael Carbin},
title = {Programmation d'Applications R{\'e}actives Probabilistes},
booktitle = {Trente-et-uni{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA'20})},
year = 2020,
month = jan,
address = {Gruissan, France},
url = {BaudartMandelPouzetAtkinsonShermanCarbin-JFLA-2020.pdf}
}
@inproceedings{WitternChaDavisBaudartMandel-ICSOC-2019,
author = {Erik Wittern and
Alan Cha and
James C. Davis and
Guillaume Baudart and
Louis Mandel},
title = {An Empirical Study of GraphQL Schemas},
booktitle = {Proceedings of the 17th International Conference on Service-Oriented Computing ({ICSOC'19})},
month = oct,
year = 2019,
address = {Toulouse, France},
pages = {3--19},
url = {WitternChaDavisBaudartMandel-ICSOC-2019.pdf}
}
@inproceedings{BaudartHirzelKateMandelShinnar-MAPL-2019,
author = {Baudart, Guillaume and Hirzel, Martin and Kate, Kiran and Mandel, Louis and Shinnar, Avraham},
title = {Machine Learning in Python with No Strings Attached},
booktitle = {Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages ({MAPL'19})},
year = {2019},
address = {Phoenix, AZ, USA},
url = {https://doi.org/10.1145/3315508.3329972}
}
@inproceedings{BaudartMandelPouzet-JFLA-2019,
author = {Guillaume Baudart and Louis Mandel and Marc Pouzet},
title = {Programmation Synchrone aux {JFLA}},
booktitle = {Trenti{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA'19})},
year = 2019,
month = jan,
address = {Les Rousses, France},
url = {BaudartMandelPouzet-JFLA-2019.pdf}
}
@inproceedings{BaudartMandelTardieuVaziri-REBLS-2018,
author = {Guillaume Baudart and Louis Mandel and Olivier Tardieu and Mandana Vaziri},
title = {A Reactive Language for Analyzing Cloud Logs},
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 = {BaudartMandelTardieuVaziri-REBLS-2018.pdf}
}
@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{BaudartShinnarHirzelMandel-ProbProg-2018,
author = {Guillaume Baudart and Avraham Shinnar and Martin Hirzel and Louis Mandel},
title = {Watertight Probabilistic Abstractions in Python},
booktitle = {1st International Conference on Probabilistic Programming ({ProbProg'18})},
year = 2018,
month = oct,
address = {Boston, MA, USA},
note = {poster},
url = {BaudartShinnarHirzelMandel-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, MO, USA},
webpage = {http://reactiveml.org/icfp18}
}
@inproceedings{BaudartHirzelMandel-MAPL-2018,
author = {Guillaume Baudart and Martin Hirzel and Louis Mandel},
title = {Deep Probabilistic Programming Languages: A Qualitative Study},
booktitle = {Workshop on Machine Learning and Programming Languages ({MAPL'18}) },
year = 2018,
month = jun,
address = {Philadelphia, PA, USA},
note = {Poster, {PLDI} Workshop},
url = {BaudartHirzelMandel-MAPL-2018.pdf},
url2 = {BaudartHirzelMandel-MAPL-2018-extended.pdf}
}
@inproceedings{BaudartMandelSimeon-JFLA-2018,
author = {Guillaume Baudart and Louis Mandel and J{\'{e}}r{\^{o}}me Sim{\'{e}}on},
title = {Programmer des Chatbots en {OCaml} avec {Watson Conversation Service}},
booktitle = {Vingt-neuvi{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA'18})},
year = 2018,
month = jan,
address = {Banyuls-sur-Mer, France},
url = {BaudartMandelSimeon-JFLA-2018.pdf}
}
@inproceedings{VaziriMandelShinnarSimeonHirzel-Onward-2017,
author = {Vaziri, Mandana and Mandel, Louis and Shinnar, Avraham and Sim{\'e}on, J{\'e}r\^{o}me and Hirzel, Martin},
title = {Generating Chat Bots from Web API Specifications},
booktitle = {Proceedings of the ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software ({Onward!'17})},
series = {Onward! 2017},
year = 2017,
pages = {44--57},
numpages = 14,
address = {Vancouver, Canada},
url = {VaziriMandelShinnarSimeonHirzel-Onward-2017.pdf}
}
@article{AuerbachHirzelMandelShinnarSimeon-ICFP-2017,
author = {Auerbach, Joshua S. and Hirzel, Martin and Mandel, Louis and Shinnar, Avraham and Sim{\'e}on, J{\'e}r\^{o}me},
title = {Prototyping a Query Compiler Using {Coq} (Experience Report)},
journal = {Proceedings of the ACM on Programming Languages ({ICFP'17})},
issue_date = {September 2017},
volume = 1,
number = {ICFP},
month = aug,
year = 2017,
issn = {2475-1421},
pages = {9:1--9:15},
articleno = 9,
numpages = 15,
publisher = {ACM},
url = {AuerbachHirzelMandelShinnarSimeon-ICFP-2017.pdf},
webpage = {https://querycert.github.io/icfp17}
}
@inproceedings{AuerbachHirzelMandelShinnarSimeon-SIGMOD-demo-2017,
title = {Q*cert: A Platform for Implementing and Verifying Query Compilers},
author = {Auerbach, Joshua S and Hirzel, Martin and Mandel, Louis and Shinnar, Avraham and Sim{\'e}on, J{\'e}r{\^o}me},
booktitle = {Proceedings of the International Conference on Management of Data ({SIGMOD'17})},
pages = {1703--1706},
year = 2017,
organization = {ACM},
address = {Chicago, IL USA},
url = {AuerbachHirzelMandelShinnarSimeon-SIGMOD-demo-2017.pdf}
}
@inproceedings{AuerbachHirzelMandelShinnarSimeon-SIGMOD-2017,
author = {Joshua Auerbach and Martin Hirzel and Louis Mandel and Avi Shinnar and J{\'{e}}r{\^{o}}me Sim{\'{e}}on},
title = {Handling Environments in a Verified Query Compiler},
booktitle = {Proceedings of the International Conference on Management of Data ({SIGMOD'17})},
year = 2017,
address = {Chicago, IL USA},
url = {AuerbachHirzelMandelShinnarSimeon-SIGMOD-2017.pdf}
}
@inproceedings{HirzelMandelShinnarSimeon-SNAPL-2017,
title = {I Can Parse You: Grammars for Dialogs},
author = {Hirzel, Martin and Mandel, Louis and Shinnar, Avraham and Sim{\'e}on, J{\'e}r{\^o}me and Vaziri, Mandana},
booktitle = {Summit on Advances in Programming Languages ({SNAPL'17})},
year = {2017},
address = {Asilomar, California USA},
url = {HirzelMandelShinnarSimeon-SNAPL-2017.pdf}
}
@inproceedings{BaudartMandelTardieuVaziri-JFLA-2017,
author = {Guillaume Baudart and Louis Mandel and Olivier Tardieu and Mandan Vaziri},
title = {CloudLens, un langage de script pour l'analyse de donn{\'e}es semi-structur{\'e}es},
booktitle = {Vingt-huiti{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA'17})},
year = 2017,
month = jan,
address = {Gourette, France},
url = {BaudartMandelTardieuVaziri-JFLA-2017.pdf}
}
@inproceedings{AuerbachHirzelMandelShinnarSimeon-JFLA-2017,
author = {Joshua Auerbach and Martin Hirzel and Louis Mandel and Avi Shinnar and J{\'{e}}r{\^{o}}me Sim{\'{e}}on},
title = {Prototyper un compilateur de requ{\^e}tes avec Coq},
booktitle = {Vingt-huiti{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA'17})},
year = 2017,
month = jan,
address = {Gourette, France},
url = {AuerbachHirzelMandelShinnarSimeon-JFLA-2017.pdf}
}
@inproceedings{MandelMilthorpeTardieu-X10-2016,
author = {Mandel, Louis and Milthorpe, Josh and Tardieu, Olivier},
title = {Control Structure Overloading in {X10}},
booktitle = {Proceedings of the 6th ACM SIGPLAN Workshop on {X10} ({X10'16})},
year = 2016,
address = {Santa Barbara, USA},
note = {Workshop PLDI 2016},
url = {MandelMilthorpeTardieu-X10-2016.pdf}
}
@article{ArnoldGroveHertaHindHirzelIyengarMandelSaraswatSimeonTakeuchiTardieuZhang-IBMRD-2016,
author = {Matthew Arnold and
David Grove and
Benjamin Herta and
Michael Hind and
Martin Hirzel and
Arun Iyengar and
Louis Mandel and
Vijay A. Saraswat and
Avraham Shinnar and
J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Mikio Takeuchi and
Olivier Tardieu and
Wei Zhang},
title = {{META:} Middleware for Events, Transactions, and Analytics},
journal = {{IBM} Journal of Research and Development},
volume = 60,
number = {2-3},
year = 2016,
url = {ArnoldGroveHertaHindHirzelIyengarMandelSaraswatSimeonTakeuchiTardieuZhang-IBMRD-2016.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 ({SCP'15})},
url = {MandelPasteurPouzet-SCP-2015.pdf},
webpage = {http://reactiveml.org/scp15}
}
@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}
}
@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},
year = 2014,
month = jan,
address = {Fr{\'e}jus, France},
url = {MandelPasteur-JFLA-2014.pdf}
}
@inproceedings{GuattoMandel-JFLA-2014,
author = {Adrien Guatto and Louis Mandel},
title = {R{\'e}seaux de {Kahn} {\`a} rafales et horloges enti{\`e}res},
booktitle = {Vingt-cinqui{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs},
year = 2014,
month = jan,
address = {Fr{\'e}jus, France},
url = {GuattoMandel-JFLA-2014.pdf}
}
@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 2013)},
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 2013})},
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 2013})},
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 2013})},
year = 2013,
month = feb,
address = {Aussois, France},
url = {MandelPasteur-JFLA-2013.pdf},
webpage = {http://reactiveml.org/jfla13}
}
@inproceedings{SaraswatCunninghamHadareanMandelShinnarTardieu-CP-2012,
author = {Vijay Saraswat and David Cunningham and Liana Hadarean and Louis Mandel and Avraham Shinnar and Olivier Tardieu},
title = {Constrained Types - Future Directions},
booktitle = {18th International Conference on Principles and Practice of Constraint Programming},
year = 2012,
month = oct,
address = {Quebec City, Canada},
note = {Position Paper},
url = {SaraswatCunninghamHadareanMandelShinnarTardieu-CP-2012.pdf}
}
@inproceedings{MandelPlateau-MPC-2012,
author = {Louis Mandel and Florence Plateau},
title = {Scheduling and Buffer Sizing of n-Synchronous Systems:
Typing of Ultimately Periodic Clocks in {Lucy-n}},
booktitle = {Eleventh International Conference on Mathematics of Program Construction ({MPC 2012})},
year = 2012,
month = jun,
address = {Madrid, Spain},
url = {MandelPlateau-MPC-2012.pdf},
webpage = {http://www.lri.fr/~mandel/mpc12/}
}
@inproceedings{MandelPlateauPouzet-FMCAD-2011,
author = {Louis Mandel and Florence Plateau and Marc Pouzet},
title = {Static Scheduling of Latency Insensitive Designs with {Lucy-n}},
booktitle = {Formal Methods in Computer Aided Design ({FMCAD 2011})},
year = 2011,
month = oct,
address = {Austin, TX, USA},
url = {MandelPlateauPouzet-FMCAD-2011.pdf},
webpage = {http://www.lri.fr/~mandel/lucy-n/fmcad11/}
}
@techreport{AttarBoussinotMandelSusini-RR-2011,
title = {{Proposal for a Dynamic Synchronous Language}},
author = {Pejman Attar and Fr{\'e}d{\'e}ric Boussinot and Louis Mandel
and Jean-Ferdy Susini},
year = 2011,
month = may,
institution = {INRIA},
number = 590420,
url = {AttarBoussinotMandelSusini-RR-2011.pdf}
}
@inproceedings{MandelPlateau-JFLA-2011,
author = {Louis Mandel and Florence Plateau},
title = {Typage des horloges p{\'e}riodiques en {Lucy-n}},
booktitle = {Vingt deuxi{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA 2011})},
year = 2011,
month = jan,
address = {La Bresse, France},
url = {MandelPlateau-JFLA-2011.pdf},
webpage = {http://www.lri.fr/~mandel/lucy-n/jfla11/}
}
@unpublished{MandelPlateau-draft-2010-rmltop,
author = {Louis Mandel and Florence Plateau},
title = {Interactive Programming of Reactive Systems},
note = {Draft},
month = nov,
year = 2010,
url = {MandelPlateau-draft-2010-rmltop.pdf},
webpage = {http://reactiveml.org/rmltop}
}
@inproceedings{MandelPlateauPouzet-MPC-2010,
author = {Louis Mandel and Florence Plateau and Marc Pouzet},
title = {{Lucy-n}: a n-Synchronous Extension of {Lustre}},
booktitle = {Tenth International Conference on Mathematics of Program Construction ({MPC 2010})},
year = 2010,
month = jun,
address = {Qu{\'e}bec, Canada},
url = {MandelPlateauPouzet-MPC-2010.pdf},
webpage = {http://www.lri.fr/~mandel/lucy-n/mpc10/}
}
@inproceedings{MandelPlateauPouzet-DCC-10,
author = {Louis Mandel and Florence Plateau and Marc Pouzet},
title = {Clock Typing of n-Synchronous Programs},
booktitle = {Designing Correct Circuits ({DCC 2010})},
year = 2010,
month = mar,
address = {Paphos, Cyprus},
url = {MandelPlateauPouzet-DCC-10.pdf}
}
@inproceedings{MandelPlateauPouzet-GDR-LTP-2010,
title = {{Lucy-n~:} une extension n-synchrone de {Lustre}},
author = {Louis Mandel and Florence Plateau and Marc Pouzet},
booktitle = {Deuxi{\`e}mes Journ{\'e}es nationales du GDR G{\'e}nie de la Programmation et du Logiciel},
month = mar,
year = 2010,
address = {Pau, France},
url = {MandelPlateauPouzet-GDR-LTP-2010.pdf},
note = {Article invit{\'e}}
}
@inproceedings{Mandel-JFLA-2010,
author = {Louis Mandel},
title = {Cours de {ReactiveML}},
booktitle = {Vingt et uni{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA 2010})},
year = 2010,
month = jan,
address = {Vieux-Port La Ciotat, France},
url = {Mandel-JFLA-2010.pdf}
}
@inproceedings{MandelPlateau-JFLA-2010,
author = {Louis Mandel and Florence Plateau and Marc Pouzet},
title = {{Lucy-n} : une extension n-synchrone de {Lustre}},
booktitle = {Vingt et uni{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA 2010})},
year = 2010,
month = jan,
address = {Vieux-Port La Ciotat, France},
url = {MandelPlateau-JFLA-2010.pdf},
webpage = {http://www.lri.fr/~mandel/lucy-n/jfla10/}
}
@inproceedings{MandelPlateauPouzet-MLworkshop-2009,
author = {Louis Mandel and Florence Plateau and Marc Pouzet},
title = {The {ReactiveML} Toplevel (Tool Demonstration)},
booktitle = {ACM SIGPLAN Workshop on ML},
year = 2009,
month = aug,
address = {Edinburgh, UK},
note = {Workshop ICFP 2009},
url = {MandelPlateauPouzet-MLworkshop-2009.pdf}
}
@inproceedings{CohenMandelPlateauPouzet-HFL-09,
author = {Albert Cohen and Louis Mandel and Florence Plateau and Marc Pouzet},
title = {Relaxing Synchronous Composition with Clock Abstraction},
booktitle = {Hardware Design using Functional Languages ({HFL 2009})},
year = 2009,
month = mar,
address = {York, UK},
pages = {35-52},
url = {CohenMandelPlateauPouzet-HFL-09.pdf},
webpage = {http://www.lri.fr/~mandel/lucy-n/hfl09/}
}
@inproceedings{MandelPlateau-JFLA-2009,
author = {Louis Mandel and Florence Plateau},
title = {Abstraction d'horloges dans les syst{\`e}mes synchrones flot de donn{\'e}es},
booktitle = {Vingti{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA 2009})},
year = 2009,
month = jan,
address = {Saint-Quentin sur Is{\`e}re, France},
publisher = {INRIA},
url = {MandelPlateau-JFLA-2009.pdf},
webpage = {http://www.lri.fr/~mandel/lucy-n/jfla09/}
}
@inproceedings{CohenMandelPlateauPouzet-APLAS-2008,
author = {Albert Cohen and Louis Mandel and Florence Plateau and
Marc Pouzet},
title = {{Abstraction of Clocks in Synchronous Data-flow Systems}},
booktitle = {The Sixth ASIAN Symposium on Programming Languages and Systems
({APLAS 2008})},
year = 2008,
month = dec,
date = {9--11},
address = {Bangalore, India},
url = {CohenMandelPlateauPouzet-APLAS-2008.pdf},
webpage = {http://www.lri.fr/~mandel/lucy-n/aplas08/}
}
@inproceedings{MandelPlateau2008SLAP,
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 2008})},
year = 2008,
month = apr,
address = {Budapest, Hungary},
pages = {44--59},
series = {Electronic Notes in Computer Science},
publisher = {Elsevier Science Publishers},
url = {MandelPlateau-SLAP-2008.pdf},
webpage = {http://reactiveML.org/rmltop}
}
@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{MandelMaranget-ESOP-2008,
author = {Louis Mandel and Luc Maranget},
title = {Programming in {JoCaml} (Tool Demonstration)},
booktitle = {17th European Symposium on Programming ({ESOP 2008})},
year = 2008,
month = apr,
address = {Budapest, Hungary},
pages = {108--111},
url = {MandelMaranget-ESOP-2008.pdf}
}
@techreport{MandelMaranget-RR-2007,
author = {Louis Mandel and Luc Maranget},
title = {Programming in {JoCaml} -- extended version},
institution = {INRIA},
year = 2007,
number = 6261,
url = {MandelMaranget-RR-2007.pdf}
}
@manual{MandelMaranget-jocaml-2007,
author = {Louis Mandel and Luc Maranget},
title = {The {JoCaml} system},
institution = {Inria-Rocquencourt},
note = {Software and documentation available at
\url{http://jocaml.inria.fr/}},
year = 2007,
url = {MandelMaranget-jocaml-2007.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 2007})},
month = mar,
year = 2007,
url = {MorelMandel-FESCA-2007.pdf}
}
@techreport{4.3.2-2,
key = {D432-2},
author = {DVT Cluster},
title = {Prototype of {AADL} simulation in {SCADE}},
type = {{ASSERT} Deliverable 4.3.2-2},
institution = {ASSERT Project},
month = nov,
year = 2006
}
@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}
}
@techreport{4.3.2-1,
key = {D432-1},
author = {DVT Cluster},
title = {Report on modeling {GALS} in {SCADE}},
type = {{ASSERT} Deliverable 4.3.2-1},
institution = {ASSERT Project},
month = feb,
year = 2006
}
@inproceedings{HalbwachsMandel-ACSD-2006,
author = {Nicolas Halbwachs and Louis Mandel},
title = {Simulation and verification of asynchronous systems by means of a synchronous model},
booktitle = {Sixth International Conference on Application of Concurrency to System Design ({ACSD 2006})},
year = {2006},
address = {Turku, Finland},
month = jun,
url = {HalbwachsMandel-ACSD-2006.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 2006})},
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 conference on Principles and Practice of Declarative Programming ({PPDP 2005})},
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 2005})},
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 2005})},
year = 2005,
address = {Obernai, France},
month = mar,
publisher = {INRIA},
url = {MandelPouzet-JFLA-2005.ps}
}
@unpublished{BenbadisMandelPouzetSamper-simulation,
author = {Farid Benbadis and Louis Mandel and Marc Pouzet and Ludovic Samper},
title = {Simulation of Ad hoc Networks in {ReactiveML}},
note = {En pr{\'e}paration},
month = dec,
year = {2006},
url = {BenbadisMandelPouzetSamper-simulation.pdf}
}
@mastersthesis{Mandel-MIAIF,
author = {Louis Mandel},
title = {Factorisation de polyn{\^o}mes sur les corps finis},
school = {Universit{\'e} Paris 6},
month = {Septembre},
year = 2001,
type = {Rapport de magist{\`e}re},
url = {Mandel-MIAIF.ps.gz}
}
@mastersthesis{Mandel-DEA,
author = {Louis Mandel},
title = {Aspects dynamiques dans les langages synchrones :
la cas des {SugarCubes}},
school = {Universit{\'e} Paris 6},
month = {Septembre},
year = 2002,
type = {Rapport de {D}.{E}.{A}.},
url = {Mandel-DEA.ps.gz}
}
This file was generated by bibtex2html 1.99.