Ciclo di seminari
Bidirectional Flow Analysis for a Concurrent Reversible Programming Language
Programma
Nell'ambito del ciclo LAAG:IT - Logica, Algebra, Analisi, Geometria, Informatica Teorica e loro applicazioni, i Proff. Marco Bernardo e Giovanni Molica Bisci, in collaborazione col Prof. Claudio Antares Mezzina, sono lieti di invitarvi al seminario intitolato "Bidirectional Flow Analysis for a Concurrent Reversible Programming Language" che sarà tenuto dal Prof. Shoji Yuen dell'Università di Nagoya.
We present bidirectional data flow analysis for constant propagation in the concurrent reversible intermediate language, CRIL, proposed by the authors. A CRIL program is a collection of basic blocks. Each basic block consists of one 3-address code with labels for forward and backward control flow. CRIL extends RIL, proposed by Mogensen, allowing the multiple calls of basic blocks to execute concurrently in forward and backward directions. The operational semantics enjoy causal safety and causal liveness as the fundamental correctness for reversibility. We then present a bidirectional flow analysis for CRIL programs by constructing a control flow graph for a CRIL program with possible data flow between threads via shared variables. It is shown that the forward and backward data flow edges cover all the data flows in executing the program in either direction. Based on the flow analysis, we further propose a syntactic translation to SSA forms with reversibility for optimizing CRIL programs. We propose the method for constant propagation and common sub-expression elimination.
Il seminario si svolgerà in presenza, ma sarà anche possibile seguirlo a distanza collegandosi ad https://meet.google.com/hcf-mbcc-jko
Dettagli sull'evento
Data e luogo
Inizio: 28/02/2024
alle ore 16:00
Fine: 28/02/2024
alle ore 17:00
Collegio Raffaello (Urbino, Piazza della Repubblica, 13) Aula Olivetti
Organizzato e promosso da:
LAAG:IT - Logica, Algebra, Analisi, Geometria, Informatica Teorica e loro applicazioni.
