Toby Murray -

Registered user since Wed 15 Jun 2016

Name:Toby Murray

Country:Australia

Affiliation:University of Melbourne

Personal website:http://people.eng.unimelb.edu.au/tobym

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