| 2015 | PPDP | Jthread, a deadlock-free mutex library. | Johan Grande, Grard Boudol, Manuel Serrano |
| 2010 | ESOP | A Theory of Speculative Computation. | Grard Boudol, Gustavo Petri |
| 2009 | ICTAC | A Deadlock-Free Semantics for Shared Memory Concurrency. | Grard Boudol |
| 2009 | POPL | Relaxed memory models: an operational approach. | Grard Boudol, Gustavo Petri |
| 2008 | ESOP | Typing Safe Deallocation. | Grard Boudol |
| 2007 | CONCUR | Fair Cooperative Multithreading. | Grard Boudol |
| 2005 | ICTAC | On Typing Information Flow. | Grard Boudol |
| 2004 | Coordination | A Reactive Programming Model for Global Computing. | Grard Boudol |
| 2004 | ESOP | ULM: A Core Programming Model for Global Computing: (Extended Abstract). | Grard Boudol |
| 2001 | ESOP | The Recursive Record Semantics of Objects Revisited. | Grard Boudol |
| 2001 | ICALP | Noninterference for Concurrent Programs. | Grard Boudol, Ilaria Castellani |
| 1999 | FCT | An Interpretation of Extensible Objects. | Grard Boudol, Silvano Dal-Zilio |
| 1997 | POPL | The Pi-calculus in Direct Style. | Grard Boudol |
| 1993 | CONCUR | The Lambda-Calculus with Multiplicities (Abstract). | Grard Boudol |
| 1992 | CONCUR | A Theory of Process with Localities (Extended Abstract). | Grard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
| 1991 | MFCS | Observing Localities (Extended Abstract). | Grard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
| 1990 | POPL | The Chemical Abstract Machine. | Grard Berry, Grard Boudol |
| 1985 | STACS | Petri Nets and Algebraic Calculi of Processes. | Grard Boudol, Grard Roucairol, Robert de Simone |