Paul E. McKenney

Publication Activity (10 Years)

Years Active: 1981-2020
Publications (10 Years): 10

Top Topics

Formal Verification

Parallel Programming

Symbolic Execution

Top Venues

ACM SIGOPS Oper. Syst. Rev.

Publications