publications.src.html

<div class="row">
  <div class="col-md-12">

<h1>Selected publications</h1>
<hr>
<!-- <blockquote> -->
<ul>
   <li>
	<b>ReactiveML, Ten Years Later</b>.<br>
	Louis Mandel, C&eacute;dric Pasteur and Marc Pouzet <br>
        <i>Principles and Practice of Declarative Programming (PPDP 2015)</i> <br>
	<i>Most influential PPDP 2005 paper</i> <br>
        [ <a href="publications/rml_bib.html#MandelPasteurPouzet-PPDP-2015">bib</a> |
          <a href="publications/MandelPasteurPouzet-PPDP-2015.pdf">.pdf</a> ]
   </li>
   <li>
	<b>Time Refinement in a Functional Synchronous Language</b>.<br>
	Louis Mandel, C&eacute;dric Pasteur and Marc Pouzet <br>
        <i>Science of Computer Programming, 111, Part 1:190 -- 211, 2015</i> <br>
        [ <a href="publications/rml_bib.html#MandelPasteurPouzet-SCP-2015">bib</a> |
          <a href="publications/MandelPasteurPouzet-SCP-2015.pdf">.pdf</a> |
	  <a href="scp15">more details</a> ]
   </li>
   <li>
	<b>Reactivity of Cooperative Systems</b>.<br>
	Louis Mandel and C&eacute;dric Pasteur <br>
        <i>Static Analysis Symposium (SAS 2014)</i> <br>
        [ <a href="publications/rml_bib.html#MandelPasteur-SAS-2014">bib</a> |
          <a href="publications/MandelPasteur-SAS-2014.pdf">.pdf</a> |
	  <a href="sas14">more details</a> ]
   </li>
   <li>
        <b>Raffinement temporel et ex&eacute;cution parall&egrave;le dans un langage synchrone fonctionnel</b>.<br>
	C&eacute;dric Pasteur <br>
	<i>Th&egrave;se de doctorat de l'universit&eacute; Paris 6, 2013</i> <br>
        [ <a href="publications/rml_bib.html#Pasteur-These">bib</a> |
          <a href="publications/Pasteur-These.pdf">.pdf</a> |
	  <a href="these_pasteur">more details</a> ]
   </li>
   <!-- <li> -->
   <!--      <b>A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music</b>.<br> -->
   <!-- 	Guillaume Baudart, Florent Jacquemard, Louis Mandel and Marc Pouzet <br> -->
   <!-- 	<i>International Conference on Embedded Software (EMSOFT 2013)</i> <br> -->
   <!--      [ <a href="publications/rml_bib.html#BaudartJacquemardMandelPouzet-EMSOFT-2013">bib</a> | -->
   <!--        <a href="publications/BaudartJacquemardMandelPouzet-EMSOFT-2013.pdf">.pdf</a> | -->
   <!-- 	  <a href="emsoft13">more details</a> ] -->
   <!-- </li> -->
   <li>
        <b>Programming Mixed Music in ReactiveML</b>.<br>
	Guillaume Baudart, Louis Mandel and Marc Pouzet <br>
	<i>Functional Art, Music, Modeling and Design (FARM 2013)</i> <br>
        [ <a href="publications/rml_bib.html#BaudartMandelPouzet-FARM-2013">bib</a> |
          <a href="publications/BaudartMandelPouzet-FARM-2013.pdf">.pdf</a> |
	  <a href="farm13">more details</a> ]
   </li>
   <!-- <li> -->
   <!-- 	<b>Time Refinement in a Functional Synchronous Language</b>.<br> -->
   <!-- 	Louis Mandel, C&eacute;dric Pasteur and Marc Pouzet <br> -->
   <!--      <i>Principles and Practice of Declarative Programming (PPDP 2013)</i> <br> -->
   <!--      [ <a href="publications/rml_bib.html#MandelPasteurPouzet-PPDP-2013">bib</a> | -->
   <!--        <a href="publications/MandelPasteurPouzet-PPDP-2013.pdf">.pdf</a> | -->
   <!-- 	  <a href="ppdp13">more details</a> ] -->
   <!-- </li> -->
   <li>
	<b>Interactive Programming of Reactive Systems</b>.<br>
	Louis Mandel and Florence Plateau <br>
        <i>Model-driven High-level Programming of Embedded Systems (SLA++P 2008)</i> <br>
        [ <a href="publications/rml_bib.html#MandelPlateau-SLAP-2008">bib</a> |
          <a href="publications/MandelPlateau-SLAP-2008.pdf">.pdf</a> |
	  <a href="slap08">more details</a> ]
   </li>
   <!-- <li> -->
   <!--     <b>ReactiveML : un langage fonctionnel pour la programmation r&eacute;active</b>.<br> -->
   <!--     Louis Mandel and Marc Pouzet <br> -->
   <!--     <i>Technique et Science Informatiques (TSI 2008) </i> <br> -->
   <!-- 	[ <a href="publications/rml_bib.html#MandelPouzet-TSI-2008">bib</a> | -->
   <!-- 	  <a href="publications/MandelPouzet-TSI-2008.pdf">.pdf</a> ] -->
   <!-- </li> -->
   <li>
       <b>Conception, S&eacute;mantique et Implantation de ReactiveML : un langage &agrave; la ML pour la programmation r&eacute;active</b>.<br>
       Louis Mandel <br>
       <i>Th&egrave;se de doctorat de l'universit&eacute; Paris 6, 2006</i> <br>
	[ <a href="publications/rml_bib.html#Mandel-These">bib</a> |
          <a href="publications/Mandel-These.ps.gz">.ps.gz</a> |
          <a href="publications/Mandel-These.pdf">.pdf</a> ]
   </li>
   <li>
       <b>ReactiveML, a Reactive Extension to ML</b>.<br>
       Louis Mandel and Marc Pouzet <br>
       <i>Principles and Practice of Declarative Programming (PPDP 2005)</i><br>
       [ <a href="publications/rml_bib.html#MandelPouzet-PPDP-2005">bib</a> |
         <a href="publications/MandelPouzet-PPDP-2005.pdf">.pdf</a> |
	extended version <a href="publications/MandelPouzet-PPDPextended-2005.pdf">.pdf</a> ]
   </li>
   <li>
       <b>Simulation of Mobile Ad hoc Network Protocols in ReactiveML</b>.<br>
       Louis Mandel and Farid Benbadis <br>
       <i>Synchronous Languages, Applications, and Programming (SLAP 2005)</i><br>
       [ <a href="publications/rml_bib.html#MandelBenbadis-SLAP-2005">bib</a> |
         <a href="publications/MandelBenbadis-SLAP-2005.pdf">.pdf</a> |
         <a href="<#ROOTDIR>/slap">more details</a> ]
   </li>
</ul>
<!-- </blockquote> -->
<p>
<a href="publications/index.html">Full list of publications</a>
</p>

</div>
</div>