Dorian Lesbre

According to our database, Dorian Lesbre authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Relational Abstractions Based on Labeled Union-Find.

Dorian Lesbre, Matthieu Lemerre, Hichem Rami Ait El Hara, François Bobot

Proc. ACM Program. Lang., 2025

2024

Compiling with Abstract Interpretation.

Dorian Lesbre, Matthieu Lemerre

Proc. ACM Program. Lang., 2024