-
Notifications
You must be signed in to change notification settings - Fork 0
/
program.html
4 lines (4 loc) · 20 KB
/
program.html
1
2
3
4
<!DOCTYPE html>
<html lang="en"><head><meta charset="utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"/><meta http-equiv="x-ua-compatible" content="ie=edge"/><link href="css/synchron.css" rel="stylesheet"/><title>Synchron 2020: Program</title><meta name="description" content="Schedule of talks at Synchron 2020"/><link href="apple-touch-icon.png" type="image/png" rel="apple-touch-icon" sizes="180x180"/><link href="favicon-32x32.png" type="image/png" rel="icon" sizes="32x32"/><link href="favicon-16x16.png" type="image/png" rel="icon" sizes="16x16"/><link href="site.webmanifest" rel="manifest"/><meta name="msapplication-TileColor" content="#ffffff"/><meta name="msapplication-TileImage" content="/icons/ms-icon-144x144.png"/><meta name="theme-color" content="#ffffff"/></head><body data-spy="scroll" data-target=""><div class="synchron-all"><div class="navbar navbar-expand-md navbar-light synchron-navbar" id="synchron-navbar"><a class="navbar-brand" href="index.html">Synchron 2020</a><button class="navbar-toggler" type="button" data-toggle="collapse" data-target="#collapsingNavbar"><span class="navbar-toggler-icon"></span></button><div class="collapse navbar-collapse" id="collapsingNavbar"><ul class="navbar-nav mr-auto"><li class="nav-item"><a class="nav-link" href="participation.html">Participation</a></li><li class="nav-item active"><a class="nav-link" href="program.html">Program</a></li><li class="nav-item"><a class="nav-link" href="abstracts.html">Abstracts</a></li><li class="nav-item"><a class="nav-link" href="hubs.html">Hubs</a></li><li class="nav-item"><a class="nav-link" href="photo.html">Photo</a></li><li class="nav-item"><a class="nav-link" href="history.html">History</a></li></ul></div></div><nav class="navbar navbar-light bg-light" id="synchron-top-bar"><ul class="nav nav-pills"><li class="nav-item"><a class="nav-link" href="#day-2020-11-26">Thu 26 Nov</a></li><li class="nav-item"><a class="nav-link" href="#day-2020-11-27">Fri 27 Nov</a></li></ul></nav><div class="synchron-content"><div class="row"><div class="synchron-side-bar-content"><h1 class="d-none d-print-block">Synchron 2020</h1><p class="d-print-none d-none d-md-block d-lg-block d-xl-block">An <a href="synchron2020.ics">iCalendar</a> is available.</p><p>Times are UTC+1.</p>
<h1 id="day-2020-11-26">Thursday, 26 <span class="d-lg-inline d-md-inline d-sm-none d-none">November</span><span class="d-lg-none d-md-none d-sm-inline d-inline">Nov</span><span class="d-lg-inline d-md-inline d-sm-none d-none"> 2020</span></h1><table class="table table-striped table-bordered program"><tr><td class="timeslot"><div class="times">08:45–09:00</div></td><td class="free"><div class="title">Opening</div><div class="authors"><span class="role">Organizers: </span><span><a href="http://www.tbrk.org">Timothy Bourke</a></span> <span class="affiliations">(Inria Paris)</span>, <span><a href="https://fr.linkedin.com/in/th%C3%A9r%C3%A8se-hardin-90787916">Thérèse Hardin</a></span> <span class="affiliations">(UPMC - LIP6)</span>, and <span><a href="">Marc Pouzet</a></span> <span class="affiliations">(ENS)</span></div></td></tr><tr><td class="timeslot"><div class="times">09:00–09:30</div><div class="local-times">19:00–19:30</div><div class="timezone">(Australia/Sydney)</div></td><td class="talk"><div class="title"><a href="slides/thu_0900_engelhardt.pdf">Update on the adoption of synchronous languages at gh.st</a></div><div class="authors"><span class="speaker"><a href="https://gh.st">Kai Engelhardt</a></span></div><div class="affiliations">(gh.st)</div></td></tr><tr><td class="timeslot"><div class="times">09:30–10:00</div><div class="local-times">21:30–22:00</div><div class="timezone">(Pacific/Auckland)</div></td><td class="talk"><div class="title">Formal Modelling and Verification of Rate Adaptive Pacemakers for Heart Failure</div><div class="authors"><span class="speaker">Moon Soo Kim</span>, <span>Weiwei Ai</span>, <span>Partha S. Roop</span>, <span>Nathan Allen</span>, <span>Rohit Ramchandra</span>, and <span>Julian Paton</span></div><div class="affiliations">(U. Auckland)</div><div class="abstract-link d-print-none"><a href="abstracts.html#Formal-Modelling-and-Verification-of-Rate-Adaptive-Pacemakers-for-Heart-Failure">(abstract)</a></div></td></tr><tr><td class="timeslot"><div class="times">10:00–10:30</div></td><td class="break"><div class="title">Coffee</div></td></tr><tr><td class="timeslot"><div class="times">10:30–11:00</div></td><td class="talk"><div class="title"><a href="https://difusion.ulb.ac.be/vufind/Record/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/313474/Holdings">A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory</a></div><div class="authors"><span class="speaker"><a href="http://www-verimag.imag.fr/~schuhm">Matheus Schuh</a></span>, <span><a href="http://www-verimag.imag.fr/~maiza/">Claire Maiza</a></span>, <span>Joël Goossens</span>, <span><a href="http://www-verimag.imag.fr/~raymond/">Pascal Raymond</a></span>, and <span><a href="https://sites.google.com/site/benoitdinechin/">Benoît Dupont de Dinechin</a></span></div><div class="affiliations">(Univ. Grenoble Alpes, Univ. Libre de Bruxelles, and Kalray SAS)</div><div class="abstract-link d-print-none"><a href="abstracts.html#A-study-of-predictable-execution-models-implementation-for-industrial-data-flow-applications-on-a-multi-core-platform-with-shared-banked-memory">(abstract)</a></div></td></tr><tr><td class="timeslot"><div class="times">11:00–11:15</div></td><td class="break"><div class="title">Coffee</div></td></tr><tr><td class="timeslot"><div class="times">11:15–11:45</div></td><td class="talk"><div class="title">Improving the Scalability of Multimode DAE Structural Analysis by using Reduced Block Triangular Forms</div><div class="authors"><span class="speaker"><a href="https://gitlab.com/JoanThibault/home/-/wikis/">Joan Thibault</a></span>, <span><a href="http://www.irisa.fr/prive/Benoit.Caillaud/Benoit_Caillauds_Professional_homepage/Welcome.html">Benoit Caillaud</a></span>, and <span><a href="https://fr.linkedin.com/in/mathias-malandain-21179617a">Mathias Mallandain</a></span></div><div class="affiliations">(Inria Rennes)</div><div class="abstract-link d-print-none"><a href="abstracts.html#Improving-the-Scalability-of-Multimode-DAE-Structural-Analysis-by-using-Reduced-Block-Triangular-Forms">(abstract)</a></div></td></tr><tr><td class="timeslot"><div class="times">11:45–12:15</div></td><td class="talk"><div class="title"><a href="https://www.blech-lang.org">Implementing true separate compilation - the Blech module system</a></div><div class="authors"><span class="speaker">Friedrich Gretz</span> and <span>Franz-Josef Grosch</span></div><div class="affiliations">(Bosch)</div></td></tr><tr><td class="timeslot"><div class="times">12:15–13:15</div></td><td class="break"><div class="title">Lunch</div></td></tr><tr><td class="timeslot"><div class="times">13:15–14:45</div></td><td class="free"><div class="title">Discussion</div><div class="authors"><span class="role">Moderators: </span><span><a href="http://pop-art.inrialpes.fr/~girault/">Alain Girault</a></span> <span class="affiliations">(Inria Grenoble Rhône-Alpes)</span> and <span><a href="http://www-sop.inria.fr/members/Robert.De_Simone/">Robert de Simone</a></span> <span class="affiliations">(Inria Sophia-Antipolis Méditerranée)</span></div></td></tr><tr><td class="timeslot"><div class="times">14:45–15:15</div></td><td class="talk"><div class="title">Normalizing Lustre in Coq</div><div class="authors"><span><a href="https://www.tbrk.org">Timothy Bourke</a></span>, <span class="speaker">Paul Jeanmaire</span>, <span class="speaker"><a href="https://vertmo.github.io">Basile Pesin</a></span>, and <span><a href="https://www.di.ens.fr/~pouzet/">Marc Pouzet</a></span></div><div class="affiliations">(Inria Paris and ENS)</div></td></tr><tr><td class="timeslot"><div class="times">15:15–15:45</div></td><td class="talk"><div class="title">Reactive Probabilistic Programming Semantics with Mixed Nondeterministic/Probabilistic Automata</div><div class="authors"><span class="speaker"><a href="http://people.rennes.inria.fr/Albert.Benveniste/">Albert Benveniste</a></span> and <span>Jean-Baptiste Raclet</span></div><div class="affiliations">(Inria Rennes)</div><div class="abstract-link d-print-none"><a href="abstracts.html#Reactive-Probabilistic-Programming-Semantics-with-Mixed-Nondeterministic/Probabilistic-Automata">(abstract)</a></div></td></tr><tr><td class="timeslot"><div class="times">15:45–16:00</div></td><td class="break"><div class="title">Coffee</div></td></tr><tr><td class="timeslot"><div class="times">16:00–16:30</div></td><td class="talk"><div class="title">Smoothly translating synchronous languages to imperative code with the Semsil intermediate language</div><div class="authors"><span>Jean-Louis Colaço</span>, <span class="speaker">Baptiste Pauget</span>, and <span><a href="https://www.di.ens.fr/~pouzet/">Marc Pouzet</a></span></div><div class="affiliations">(ANSYS, ENS, and Inria)</div></td></tr><tr><td class="timeslot"><div class="times">16:30–17:00</div><div class="local-times">09:30–10:00</div><div class="timezone">(US/Central)</div></td><td class="talk"><div class="title"><a href="https://gitlab.inria.fr/gbaudart/2020-synchron">Interfacing a synchronous language with Python and Jupyter Notebooks</a></div><div class="authors"><span class="speaker"><a href="https://guillaume.baudart.eu">Guillaume Baudart</a></span>, <span><a href="https://www.irif.fr/~guatto/">Adrien Guatto</a></span>, and <span class="speaker"><a href="https://www.lri.fr/~mandel/">Louis Mandel</a></span></div><div class="affiliations">(IBM Research, Inria Paris, and IRIF - Université de Paris)</div><div class="abstract-link d-print-none"><a href="abstracts.html#Interfacing-a-synchronous-language-with-Python-and-Jupyter-Notebooks">(abstract)</a></div></td></tr><tr><td class="timeslot"><div class="times">17:00–17:15</div></td><td class="break"><div class="title">Coffee</div></td></tr><tr><td class="timeslot"><div class="times">17:15–17:45</div><div class="local-times">11:15–11:45</div><div class="timezone">(US/Eastern)</div></td><td class="talk"><div class="title">The Sparse Synchronous Model: Yet Another Synchronous Language</div><div class="authors"><span class="speaker"><a href="http://www.cs.columbia.edu/~sedwards/">Stephen Edwards</a></span></div><div class="affiliations">(Columbia University)</div></td></tr></table><h1 id="day-2020-11-27">Friday, 27 <span class="d-lg-inline d-md-inline d-sm-none d-none">November</span><span class="d-lg-none d-md-none d-sm-inline d-inline">Nov</span><span class="d-lg-inline d-md-inline d-sm-none d-none"> 2020</span></h1><table class="table table-striped table-bordered program"><tr><td class="timeslot"><div class="times">08:45–09:00</div></td><td class="break"><div class="title">Opening</div></td></tr><tr><td class="timeslot"><div class="times">09:00–09:30</div></td><td class="talk"><div class="title">The LIsinopril medical prescription in HipHop</div><div class="authors"><span class="speaker"><a href="http://www.college-de-france.fr/site/gerard-berry/index.htm">Gérard Berry</a></span> and <span><a href="https://www-sop.inria.fr/members/Manuel.Serrano/">Manuel Serrano</a></span></div><div class="affiliations">(Collège de France and Inria Sophia-Antipolis)</div></td></tr><tr><td class="timeslot"><div class="times">09:30–10:00</div><div class="local-times">14:00–14:30</div><div class="timezone">(Asia/Kolkata)</div></td><td class="talk"><div class="title">Exploring Compositional Neural Networks for Real-time Applications</div><div class="authors"><span class="speaker">Sobhan Chatterjee</span>, <span>Nathan Allen</span>, <span>Nitish Patel</span>, and <span>Partha S. Roop</span></div><div class="affiliations">(U. Auckland)</div><div class="abstract-link d-print-none"><a href="abstracts.html#Exploring-Compositional-Neural-Networks-for-Real-time-Applications">(abstract)</a></div></td></tr><tr><td class="timeslot"><div class="times">10:00–10:30</div></td><td class="break"><div class="title">Coffee</div></td></tr><tr><td class="timeslot"><div class="times">10:30–11:00</div><div class="local-times">09:30–10:00</div><div class="timezone">(Europe/London)</div></td><td class="talk"><div class="title">Diagrammatic semantics for digital circuits</div><div class="authors"><span><a href="https://www.cs.bham.ac.uk/~drg/?_ga=2.138870139.951683747.1605211235-2074045637.1605027542">Dan Ghica</a></span> and <span class="speaker"><a href="https://georgejkaye.com">George Kaye</a></span></div><div class="affiliations">(University of Birmingham)</div><div class="abstract-link d-print-none"><a href="abstracts.html#Diagrammatic-semantics-for-digital-circuits">(abstract)</a></div></td></tr><tr><td class="timeslot"><div class="times">11:00–11:30</div></td><td class="talk"><div class="title">Modeling and design of neural networks architectures for neural hybridation based on synchronous approaches</div><div class="authors"><span class="speaker">Marino Rasamuel</span> and <span><a href="http://www.unice.fr/dgaffe/">Daniel Gaffé</a></span></div><div class="affiliations">(Univ. Côte d'Azur)</div></td></tr><tr><td class="timeslot"><div class="times">11:30–11:45</div></td><td class="break"><div class="title">Coffee</div></td></tr><tr><td class="timeslot"><div class="times">11:45–12:15</div></td><td class="talk"><div class="title">A reactive semantics for a higher-order language with integer clocks</div><div class="authors"><span class="speaker">Ada Vienot</span></div><div class="affiliations">(IRIF - Université de Paris)</div><div class="abstract-link d-print-none"><a href="abstracts.html#A-reactive-semantics-for-a-higher-order-language-with-integer-clocks">(abstract)</a></div></td></tr><tr><td class="timeslot"><div class="times">12:15–13:15</div></td><td class="break"><div class="title">Lunch</div></td></tr><tr><td class="timeslot"><div class="times">13:15–14:15</div></td><td class="free"><div class="title">Discussion</div><div class="authors"><span class="role">Moderators: </span><span><a href="https://www.rtsys.informatik.uni-kiel.de/en/team/rvh">Reinhard von Hanxleden</a></span> <span class="affiliations">(Kiel University)</span> and <span><a href="https://www.uni-bamberg.de/gdi/team/michael-mendler/">Michael Mendler</a></span> <span class="affiliations">(University of Bamberg)</span></div><p>With <a href="https://luigiliquori.wixsite.com/atinria">Luigi Liquori</a> and Enrico Scarrone giving a special presentation on tracing SARS-CoV-2 with the IoT using a standardization being developed by <a href="https://www.etsi.org">ETSI</a> in the <a href="https://www.etsi.org/committee/smartm2m">SmartM2M</a> TC.</p>
</td></tr><tr><td class="timeslot"><div class="times">14:15–14:45</div></td><td class="talk"><div class="title"><a href="https://dadaiscrazy.github.io/usuba/">Usuba, high-throughput software circuits for cryptography</a></div><div class="authors"><span class="speaker"><a href="https://pages.lip6.fr/Pierre-Evariste.Dagand/">Pierre-Évariste Dagand</a></span> and <span>Darius Mercadier </span></div><div class="affiliations">(Sorbonne University)</div><div class="abstract-link d-print-none"><a href="abstracts.html#Usuba--high-throughput-software-circuits-for-cryptography">(abstract)</a></div></td></tr><tr><td class="timeslot"><div class="times">14:45–15:15</div><div class="local-times">10:45–11:15</div><div class="timezone">(America/Sao_Paulo)</div></td><td class="talk"><div class="title"><a href="http://ceu-lang.org/">An Overview of the Synchronous Language Céu</a></div><div class="authors"><span class="speaker"><a href="http://ceu-lang.org/chico/">Francisco Sant'anna</a></span></div><div class="affiliations">(Rio de Janeiro State University)</div></td></tr><tr><td class="timeslot"><div class="times">15:15–15:30</div></td><td class="break"><div class="title">Coffee</div></td></tr><tr><td class="timeslot"><div class="times">15:30–16:00</div></td><td class="talk"><div class="title"><a href="https://rtsys.informatik.uni-kiel.de/~biblio/downloads/papers/fdl20-als.pdf">A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts</a></div><div class="authors"><span class="speaker">Andreas Boysen</span>, <span><a href="https://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten">Alexander Schulz-Rosengarten</a></span>, and <span><a href="https://www.rtsys.informatik.uni-kiel.de/en/team/rvh">Reinhard von Hanxleden</a></span></div><div class="affiliations">(University of Kiel)</div><div class="abstract-link d-print-none"><a href="abstracts.html#A-Hard-Real-Time-Demonstrator-for-Dynamic-Ticks-and-Timed-SCCharts">(abstract)</a></div></td></tr><tr><td class="timeslot"><div class="times">16:00–16:30</div><div class="local-times">09:00–09:30</div><div class="timezone">(US/Central)</div></td><td class="talk"><div class="title">Towards verification of synchronous hybrid programs</div><div class="authors"><span class="speaker"><a href="http://www-personal.umich.edu/~jeannin/">Jean-Baptiste Jeannin </a></span></div><div class="affiliations">(U. Michigan)</div></td></tr><tr><td class="timeslot"><div class="times">16:30–16:45</div></td><td class="break"><div class="title">Coffee</div></td></tr><tr><td class="timeslot"><div class="times">16:45–17:15</div></td><td class="talk"><div class="title">On the efficiency cost of common isolation properties in synchronous and real-time systems implementation</div><div class="authors"><span class="speaker"><a href="https://who.rocq.inria.fr/Dumitru.Potop_Butucaru/">Dumitru Potop-Butucaru</a></span></div><div class="affiliations">(Inria Paris)</div></td></tr><tr><td class="timeslot"><div class="times">17:15–17:45</div><div class="local-times">08:15–08:45</div><div class="timezone">(US/Pacific)</div></td><td class="talk"><div class="title">Making Mainstream Programming Languages Deterministic Again</div><div class="authors"><span><a href="https://ptolemy.berkeley.edu/~eal/">Edward A. Lee</a></span>, <span><a href="https://personal.utdallas.edu/~soroush/">Soroush Bateni</a></span>, <span><a href="https://shaokai.co/">Shaokai Lin</a></span>, <span class="speaker"><a href="https://people.eecs.berkeley.edu/~marten/">Marten Lohstroh</a></span>, <span><a href="https://cfaed.tu-dresden.de/investigators-institutions/compiler-construction/ccc-staff/christian-menard">Christian Menard</a></span>, and <span><a href="https://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten">Alexander Schulz-Rosengarten</a></span></div><div class="affiliations">(UC Berkeley, UT Dallas, TU Dresden, and University of Kiel)</div><div class="abstract-link d-print-none"><a href="abstracts.html#Making-Mainstream-Programming-Languages-Deterministic-Again">(abstract)</a></div></td></tr><tr><td class="timeslot"><div class="times">17:45–18:00</div></td><td class="break"><div class="title">Closing</div></td></tr></table></div><div class="synchron-side-bar-menu"><div class="synchron-side-bar-outer"><nav class="synchron-side-bar bg-faded" id="synchron-side-bar"><div class="list-group"><a class="list-group-item list-group-item-action" href="#day-2020-11-26">Thursday, 26 <span class="d-lg-inline d-md-inline d-sm-none d-none">November</span><span class="d-lg-none d-md-none d-sm-inline d-inline">Nov</span><span class="d-lg-inline d-md-inline d-sm-none d-none"> 2020</span></a><a class="list-group-item list-group-item-action" href="#day-2020-11-27">Friday, 27 <span class="d-lg-inline d-md-inline d-sm-none d-none">November</span><span class="d-lg-none d-md-none d-sm-inline d-inline">Nov</span><span class="d-lg-inline d-md-inline d-sm-none d-none"> 2020</span></a></div></nav></div></div></div></div><script crossorigin="anonymous" integrity="sha384-DfXdz2htPH0lsSSs5nCTpuj/zy4C+OGpamoFVy38MVBnE+IbbVYUew+OrCXaRkfj" src="https://code.jquery.com/jquery-3.5.1.slim.min.js"></script><script crossorigin="anonymous" integrity="sha384-Q6E9RHvbIyZFJoft+2mJbHaEWldlvI9IOYy5n3zV9zzTtmI3UksdQRVvoxMfooAo" src="https://cdn.jsdelivr.net/npm/popper.js@1.16.0/dist/umd/popper.min.js"></script><script src="js/bootstrap.min.js"></script><script src="js/synchron-top-bar.js"></script><script>$('body').scrollspy({ target: '' })</script></div></body></html>