Toby Murray

Registered user since Wed 15 Jun 2016

Name:Toby Murray
Country:Australia
Affiliation:University of Melbourne
Research interests:Security, Program Verification

Contributions

PriSC 2022 Committee Member in Program Committee within the PriSC 2022-track
CPP 2022 Committee Member in Program Committee within the CPP 2022-track
ASE 2021 Committee Member in Program Committee within the Student Research Competition-track
Author of Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing within the NIER track-track
SPLASH 2021 Author of SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency within the OOPSLA-track
Session Chair of Specification Synthesis - mirror (part of OOPSLA)
Committee Member in External Review Committee within the OOPSLA-track
Session Chair of Rust - mirror (part of OOPSLA)
PLDI 2021 Committee Member in Program Committee within the PLDI-track
CC 2021 Committee Member in Program Committee within the CC Research Papers-track
ASE 2020 Author of Legion: Best-First Concolic Testing within the Research Papers-track
PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
FTfJP 2019 Committee Member in Program Committee within the FTfJP 2019-track
Co-chair in Organizing Committee within the FTfJP 2019-track
CPP 2019 Committee Member in Program Committee within the CPP 2019-track
OCAP 2018 Committee Member in Program Committee within the OCAP 2018-track
OCAP 2017 Committee Member in Program Committee within the OCAP 2017-track
FTfJP 2016 Author of Permission and Authority Revisited: Towards a Formalization within the FTfJP-track
IWACO 2016 Author of Abstract Data Types in Object-Capability Systems within the IWACO-track
ICFP 2016 Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track
PLAS 2015 Committee Member in Program Committee within the PLAS-track
Author of Short Paper: On High-Assurance Information-Flow-Secure Programming Languages within the PLAS-track