Roger C. Su

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

Collaborative distances:

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

2026

Weak Memory Model Formalisms: Introduction and Survey.

Roger C. Su, Robert J. Colvin

Concurr. Comput. Pract. Exp., January, 2026

2025

Rely-Guarantee Extensions and Locks.

Robert J. Colvin, Scott Heiner, Peter Höfner, Roger C. Su

Arch. Formal Proofs, 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