Conferences
Rewriting and functional programming
- Axiomatic Sharing-via-Labelling, RTA 2012, pdf.
- A Unified Approach to Fully Lazy Sharing, POPL 2012, pdf, © ACM.
- Optimality for Dynamic Patterns: Extended Abstract, PPDP 2010, pdf, © ACM.
- On the Implementation of Dynamic Patterns, HOR 2010, pdf. An extended abstract is here.
Concurrency theory
- A Geometric Approach to the Problem of Unique Decomposition of Processes, CONCUR 2010, with Emmanuel Haucourt, pdf, © Springer-Verlag.
Reports
Rewriting and functional programming
- A Unified Approach to Fully Lazy Sharing, Technical report PPS 2011, pdf.
- Optimality for Dynamic Patterns, Technical report PPS 2010, pdf.
- Calculs avec Motifs Dynamiques, Technical report PPS 2008, pdf.
Concurrency theory
- Concurrence, géométrie, et factorisation de catégories, Master's thesis ENS Lyon 2007, pdf.
Back to research page.