Miriam Lagunes-Rochin

According to our database, Miriam Lagunes-Rochin authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs.

Frank Schüssele, Matthias Zumkeller, Miriam Lagunes-Rochin, Dominik Klumpp

Proc. ACM Program. Lang., 2026

2025

The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version).

Frank Schüssele, Matthias Zumkeller, Miriam Lagunes-Rochin, Dominik Klumpp

CoRR, November, 2025