Roger C. Su

According to our database, Roger C. Su authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2024

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures.

Robert J. Colvin, Ian J. Hayes, Scott Heiner, Peter Höfner, Larissa Meinicke, Roger C. Su

CoRR, 2024