mandel.bib

@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 = {USA},
  url = {AuerbachHirzelMandelShinnarSimeon-SIGMOD-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-septi{\`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-septi{\`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.98.