• Sign in
  • Sign up
conf.researchr.org / Rob Sison
  • PLDI 2024 profile
  • POPL 2018 profile
  • SPLASH 2021 profile
  • SPLASH 2023 profile
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
Share
xMon 11 Dec 14:17
using conf.researchr.org (v1.62.0)
Support page
Sign Up