We stand with Ukraine

We stand with Ukraine

Sarah Larroze-Jardiné

According to our database¹, Sarah Larroze-Jardiné authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2025

Stateful partial-order reduction methods for concurrent systems with blocking instructions. (Méthodes de réduction d'ordre-partiel avec couverture pour systèmes concurrents avec instructions bloquantes).

[DOI]

Sarah Larroze-Jardiné

PhD thesis, 2025

Partial-Order Reduction Is Hard.

[DOI]

Frédéric Herbreteau

,

Sarah Larroze-Jardiné

,

Igor Walukiewicz

Proceedings of the 36th International Conference on Concurrency Theory, 2025

2024

Revisiting Stateful Partial-Order Reduction.

[DOI]

Frédéric Herbreteau

,

Sarah Larroze-Jardiné

,

,

Igor Walukiewicz

CoRR, 2024

Loading...