Mathieu Desnoyers

According to our database, Mathieu Desnoyers authored at least 8 papers between 2007 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Runtime latency detection and analysis.

Julien Desfossez, Mathieu Desnoyers, Michel R. Dagenais

Softw. Pract. Exp., 2016

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

Proving the correctness of nonblocking data structures.

Mathieu Desnoyers

Commun. ACM, 2013

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

Lockless multi-core high-throughput buffering scheme for kernel tracing.

Mathieu Desnoyers, Michel R. Dagenais

ACM SIGOPS Oper. Syst. Rev., 2012

Using Tracing to Solve the Multicore System Debug Problem.

Aaron Spear, Markus Levy, Mathieu Desnoyers

Computer, 2012

2010

Synchronization for fast and reentrant operating system kernel tracing.

Mathieu Desnoyers, Michel R. Dagenais

Softw. Pract. Exp., 2010

2007

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

Proceedings of the Euro-Par 2007, 2007