Roger C. Su

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Computing Power

Practical Problems

Top Venues

Publications

Robert J. Colvin, Ian J. Hayes, Scott Heiner, Peter Höfner, Larissa Meinicke, Roger C. Su
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. CoRR (2024)