Mathieu Desnoyers

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Mass Spectrometry

Efficient Data Structures

Top Venues

ACM SIGOPS Oper. Syst. Rev.

Publications

Julien Desfossez, Mathieu Desnoyers, Michel R. Dagenais
Runtime latency detection and analysis. Softw. Pract. Exp. 46 (10) (2016)
Mathieu Desnoyers
Proving the Correctness of Nonblocking Data Structures. ACM Queue 11 (5) (2013)
Mathieu Desnoyers, Paul E. McKenney, Michel R. Dagenais
Multi-core systems modeling for formal verification of parallel algorithms. ACM SIGOPS Oper. Syst. Rev. 47 (2) (2013)
Mathieu Desnoyers
Proving the correctness of nonblocking data structures. Commun. ACM 56 (7) (2013)
Mathieu Desnoyers, Michel R. Dagenais
Lockless multi-core high-throughput buffering scheme for kernel tracing. ACM SIGOPS Oper. Syst. Rev. 46 (3) (2012)
Aaron Spear, Markus Levy, Mathieu Desnoyers
Using Tracing to Solve the Multicore System Debug Problem. Computer 45 (12) (2012)
Mathieu Desnoyers, Paul E. McKenney, Alan S. Stern, Michel R. Dagenais, Jonathan Walpole
User-Level Implementations of Read-Copy Update. IEEE Trans. Parallel Distributed Syst. 23 (2) (2012)
Mathieu Desnoyers, Michel Dagenais
Synchronization for fast and reentrant operating system kernel tracing. Softw. Pract. Exp. 40 (12) (2010)
Robert W. Wisniewski, Reza Azimi, Mathieu Desnoyers, Maged M. Michael, José E. Moreira, Doron Shiloach, Livio Soares
Experiences Understanding Performance in a Commercial Scale-Out Environment. Euro-Par (2007)