Roger C. Su

According to our database, Roger C. Su authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

Structural Operational Semantics for Functional and Security Verification of Pipelined Processors.

Robert J. Colvin, Roger C. Su

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

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

Proceedings of the Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I, 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