@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.