Experiences Understanding Performance in a Commercial Scale-Out Environment. - Robert W. Wisniewski; Reza Azimi; Mathieu Desnoyers; Maged M. Michael; José E. Moreira; Doron Shiloach; Livio Soares (Euro-Par, 2007)

Synchronization for fast and reentrant operating system kernel tracing. - Mathieu Desnoyers; Michel R. Dagenais (Softw. Pract. Exp., 2010)

Using Tracing to Solve the Multicore System Debug Problem. - Aaron Spear; Markus Levy; Mathieu Desnoyers (Computer, 2012)

Lockless multi-core high-throughput buffering scheme for kernel tracing. - Mathieu Desnoyers; Michel R. Dagenais (ACM SIGOPS Oper. Syst. Rev., 2012)

User-Level Implementations of Read-Copy Update. - Mathieu Desnoyers; Paul E. McKenney; Alan S. Stern; Michel R. Dagenais; Jonathan Walpole (IEEE Trans. Parallel Distributed Syst., 2012)

Proving the Correctness of Nonblocking Data Structures. - Mathieu Desnoyers (ACM Queue, 2013)

Multi-core systems modeling for formal verification of parallel algorithms. - Mathieu Desnoyers; Paul E. McKenney; Michel R. Dagenais (ACM SIGOPS Oper. Syst. Rev., 2013)

Runtime latency detection and analysis. - Julien Desfossez; Mathieu Desnoyers; Michel R. Dagenais (Softw. Pract. Exp., 2016)