Séminaire CLAP - 21/10

Nous avons le plaisir de vous inviter au séminaire CLAP le 21 octobre de 10h15 à 11h40. Le séminaire se fera en visio sur zoom (cf ci-dessous pour les info de connexion). Vous êtes également conviés à un café CLAP de 10h à 10h15 sur gather.town (https://gather.town/app/7giEyr3CTKAwe3Or/cafeCLAP).  Les talks se feront en français.

 

Le planning est le suivant:

 

  • 10h20-11h00 - Paul Iannetta
     
Titre: Compiling pattern matching to in-place modifications
 
Résumé :
Algebraic data types and pattern matching are popular tools to build
programs manipulating complex datastructures in a safe yet efficient manner. On
top of its safety advantages, compilation techniques can turn pattern matching
into highly efficient deconstruction code for immutable use cases. Conversely,
high-performance datastructures and languages prefer to leverage (controlled)
mutations to maximize time and memory efficiency. Algebraic data types provide
a natural framework to efficiently describe in-place transformations as
rewrite rules. Such representation could take advantage of parallelism
opportunities that appear in tree-like structures. We present early steps
towards a new technique to compile pattern matching as parallel in-place
modifications of the underlying memory representation. Towards this goal, we
combine the usual language approach which is common in pattern-matching
compilation with tools from the polyhedral model, which is commonly used in
high-performance code generation to output efficient C code.
 
 
  • 11h00-11h40 - Nicolas Nalpon
     
Titre: A Bigraph approach to the semantics of reactive programming languages
 
Résumé : 
Reactive languages are often used to create safety critical software making it essential
to reason about and verify the behavior of these languages. We explore a method,
based on Milner’s Bigraphs, to model and express general properties about the semantics
of reactive programming languages such as propagation of change, unidirectionality, and
glitch avoidance. Bigraphs mirror non spatial (linking) and some-times the spatial (nesting)
aspects of reactive programming languages, provide rigorous analysis capabilities, and an
intuitive diagrammatic notation.
 
 

 

Merci de nous contacter (à l’adresse emmanuelle.saillard@inria.fr) si vous souhaitez présenter vos travaux lors des prochains séminaires (18/11 et 16/12). Les doctorants sont fortement encouragés à le faire

 

à bientôt,
Les responsables du GT CLAP
Kevin Martin, Ludovic Henrio, Frederic Dabrowski, Laure Gonnord & Emmanuelle Saillard


Participer à la réunion Zoom

https://u-bordeaux-fr.zoom.us/j/86542568536?pwd=YzhMS2RhYkV5Rm0zbHRLczhoQ2c2Zz09

 

ID de réunion : 819 6916 4370

Code secret : 440764

 

Une seule touche sur l’appareil mobile

+13126266799,,86542568536#,,,,*868630# États-Unis (Chicago)

+13462487799,,86542568536#,,,,*868630# États-Unis (Houston)

 

Composez un numéro en fonction de votre emplacement

      +1 312 626 6799 États-Unis (Chicago)

        +1 346 248 7799 États-Unis (Houston)

        +1 669 900 6833 États-Unis (San Jose)

        +1 929 205 6099 États-Unis (New York)

        +1 253 215 8782 États-Unis (Tacoma)

        +1 301 715 8592 États-Unis (Washington DC)

ID de réunion : 865 4256 8536

Code secret : 868630

Trouvez votre numéro local : https://u-bordeaux-fr.zoom.us/u/kcl4uUyFte

 

Participer à l’aide d’un protocole SIP

86542568536@zoomcrc.com

 

Participer à l’aide d’un protocole H.323

162.255.37.11 (États-Unis (Ouest))

162.255.36.11 (États-Unis (Est))

213.19.144.110 (Amsterdam Pays-Bas)

213.244.140.110 (Allemagne)

Code secret : 868630

ID de réunion : 865 4256 8536

 

Date: 
Jeudi, 21 Octobre, 2021