Nicolas Lagaillardie

Orcid: 0000-0002-6431-4100

According to our database1, Nicolas Lagaillardie authored at least 6 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact).
Dagstuhl Artifacts Ser., 2024

Fearless Asynchronous Communications with Timed Multiparty Session Protocols.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2022
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact).
Dagstuhl Artifacts Ser., 2022

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2020
Implementing Multiparty Session Types in Rust.
Proceedings of the Coordination Models and Languages, 2020

2019
A Computational Study on Fairness of the Tendermint Blockchain Protocol.
Inf., 2019


  Loading...