91色情片
Back to
Dr Roger Su

Dr Roger Su

Senior Research Associate

PhD Auckland 2022

Engineering
Computer Science and Engineering
E-mail
roger.su@unsw.edu.au
Location
Desk 301.22, Level 3, Computer Science Building (K17)
  • Book Chapters | 2025
    Colvin RJ; Su RC, 2025, 'Structural Operational Semantics for聽Functional and聽Security Verification of聽Pipelined Processors', in , pp. 363 - 388,
    Book Chapters | 2024
    Colvin RJ; Hayes IJ; Heiner S; H枚fner P; Meinicke L; Su RC, 2024, 'Practical Rely/Guarantee Verification of聽an聽Efficient Lock for聽seL4 on聽Multicore Architectures', in Lecture Notes in Computer Science, Springer Nature Switzerland, pp. 65 - 87,
  • Journal articles | 2026
    Su RC; Colvin RJ, 2026, 'Weak Memory Model Formalisms: Introduction and Survey', Concurrency and Computation Practice and Experience, 38,
    Journal articles | 2019
    Soo K-U; Stokes T, 2019, 'Algebraic properties of if-then-else and commutative three-valued tests', International Journal of Algebra and Computation, 29, pp. 743 - 759,
  • Working Papers | 2025
    Su R; Colvin RJ, 2025, Weak memory model formalisms: Introduction and survey, ,
  • Conference Papers | 2025
    Colvin RJ; Heiner S; H枚fner P; Su R, 2025, 'Rely-guarantee concurrency verification of queued locks in Isabelle/HOL', Menlo Park, California, USA, presented at Verified Software: Theory, Tools, and Experiments (VSTTE), Menlo Park, California, USA, 06 October 2025
    Software / Code | 2025
    Colvin RJ; Heiner S; H枚fner P; Su R, 2025, Rely-guarantee extensions and locks, Archive of Formal Proofs, Published: 21 November 2025, Software / Code,
    Conference Papers | 2019
    Chen S; Liu W; Liu J; Soo K-U; Chen W, 2019, 'Maximizing Social Welfare in Fractional Hedonic Games using Shapley Value', in 2019 IEEE International Conference on Agents (ICA), IEEE, pp. 21 - 26, presented at 2019 IEEE International Conference on Agents (ICA), 18 October 2019 - 21 October 2019,

My research is mainly on formal verification of software. As part of the Trustworthy Systems research group, I am working on formal reasoning techniques for the correctness of operating systems' schedulers.聽

In the recent past, I was a postdoctoral research fellow at the ANU, where I had worked on (1) models of hardware-level behaviours, and (2) computer-checked verification of concurrent programs.聽