mandel.bib

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