Rob Sison -

Registered user since Thu 29 Jul 2021

Name:Rob Sison

Country:Australia

Affiliation:UNSW Sydney

Personal website: https://www.robs-cse.com

GitHub: https://github.com/robs-cse

Research interests:Formal Verification, Information-Flow Security, Refinement, Concurrency

Contributions

2024

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2023

SPLASH

Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2021

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2018

PriSC

Author of Per-Thread Compositional Compilation for Confidentiality-Preserving Concurrent Programs within the PriSC 2018-track