P. Genevès

Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG

Papers on Lattice

Total citations

Topics

h-index

Research focus

Code Generation & Program Synthesis (1)Distributed Systems & Hardware (1)

Frequent co-authors

R. Casetta (1)Richard Casetta (1)N. Gesbert (1)Nils Gesbert (1)

Papers (1)

Apr 8, 2026

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications

Guaranteeing communication safety in highly-concurrent web applications just got easier: this work introduces a global-type framework that extends Multiparty Session Types with explicit failure semantics and dynamic participation.

R. Casetta, Richard Casetta, N. Gesbert +3

Code Generation & Program Synthesis Distributed Systems & Hardware

Search

P. Genevès

Research focus

Frequent co-authors

Papers (1)