External Links

    Journal: ACM Queue

    Volume 11, Issue 5

    10 -- 0. Queue Portrait: Kate Matsudaira
    20 -- 0Paul E. McKenney. Structured Deferral: Synchronization via Procrastination
    30 -- 0Mathieu Desnoyers. Proving the Correctness of Nonblocking Data Structures
    runs on