| 2021 | ICFP | MidifilePerformer: a case study for chronologies. | Juliette Chabassier, Myriam Desainte-Catherine, Jean Haury, Marin Pobel, Bernard P. Serpette |
| 2019 | RV | AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity. | Nic Volanschi, Bernard P. Serpette |
| 2018 | GPCE | Implementing a semi-causal domain-specific language for context detection over binary sensors. | Nic Volanschi, Bernard P. Serpette, Charles Consel |
| 2017 | ECOOP | Type Abstraction for Relaxed Noninterference. | Raimil Cruz, Tamara Rezk, Bernard P. Serpette, ric Tanter |
| 2011 | DLS | An interpreter for server-side hop. | Bernard P. Serpette, Manuel Serrano |
| 2004 | POPL | Asynchronous and deterministic objects. | Denis Caromel, Ludovic Henrio, Bernard P. Serpette |
| 2004 | PPDP | iRho: an imperative rewriting calculus. | Luigi Liquori, Bernard P. Serpette |
| 2004 | PPDP | Scheme fair threads. | Manuel Serrano, Frdric Boussinot, Bernard P. Serpette |
| 2002 | ICFP | Compiling scheme to JVM bytecode: : a performance study. | Bernard P. Serpette, Manuel Serrano |
| 2001 | ESOP | A Formal Executable Semantics of the JavaCard Platform. | Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simo Melo de Sousa |
| 2000 | LPAR | Static Reduction Analysis for Imperative Object Oriented Languages. | Gilles Barthe, Bernard P. Serpette |
| 1999 | FLOPS | Partial Evaluation and Non-interference for Object Calculi. | Gilles Barthe, Bernard P. Serpette |
| 1992 | SAS | Approximations d'valuateurs fonctionnels. | Bernard P. Serpette |
| 1991 | POPL | A Dynamic Extent Control Operator for Partial Continuations. | Christian Queinnec, Bernard P. Serpette |