Nicolas Chappe

Orcid: 0000-0003-3732-7704

According to our database¹, Nicolas Chappe authored at least 5 papers between 2022 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR.

[BibT_eX]

[DOI]

Nicolas Chappe

Ludovic Henrio

Yannick Zakowski

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024

A Concurrency Model Based on Monadic Interpreters : Executable semantics for a concurrent subset of LLVM IR. (Un modèle de concurrence fondé sur les interprètes monadiques : Sémantique exécutable pour un sous-ensemble concurrent de LLVM IR).

[BibT_eX]

[DOI]

Nicolas Chappe

PhD thesis, 2024

2023

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2023

Fic WebBoard: A Playful and Collaborative Learning Platform Built for All People and All Programming Languages.

[BibT_eX]

[DOI]

Eddy Caron

Nicolas Chappe

Proceedings of the IEEE Frontiers in Education Conference, 2023

2022

An Optimised Flow for Futures: From Theory to Practice.

[BibT_eX]

[DOI]

Art Sci. Eng. Program., 2022

Nicolas Chappe

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...