Julien Lange

Available identifiers

zbMath Open lange.julienMaRDI QIDQ832187

List of research outcomes

Publication	Date of Publication	Type
Fair asynchronous session subtyping	2024-11-12	Paper
Memory access protocols: certified data-race freedom for GPU kernels	2024-11-04	Paper
Verifying asynchronous interactions via communicating session automata	2024-02-16	Paper
A Sound Algorithm for Asynchronous Session Subtyping	2023-02-03	Paper
Checking data-race freedom of GPU kernels, compositionally	2022-03-25	Paper
Fair refinement for asynchronous session types	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4994122	2021-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q5856424	2021-03-26	Paper
Characteristic formulae for session types	2019-09-17	Paper
Fencing off go: liveness and safety for channel-based programming	2017-10-20	Paper
Meeting Deadlines Together	2017-09-12	Paper
On the Undecidability of Asynchronous Session Subtyping	2017-05-19	Paper
From communicating machines to graphical choreographies	2016-09-29	Paper
Synthesising Choreographies from Local Session Types	2012-09-25	Paper

Research outcomes over time

This page was built for person: Julien Lange