Nicolas Lagaillardie

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact).

Nicolas Lagaillardie, Ping Hou, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2024

Fearless Asynchronous Communications with Timed Multiparty Session Protocols.

Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2022

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact).

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2022

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types.

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2020

Implementing Multiparty Session Types in Rust.

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida

Proceedings of the Coordination Models and Languages, 2020

2019

A Computational Study on Fairness of the Tendermint Blockchain Protocol.

Nicolas Lagaillardie, Mohamed Aimen Djari, Önder Gürcan

Inf., 2019