Toby Murray

Registered user since Wed 15 Jun 2016

Name: Toby Murray

Country: Australia

Affiliation: University of Melbourne, Australia

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

Research interests: Security, Program Verification

Contributions

ASE 2021 Committee Member in Program Committee within the Student Research Competition-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
PLDI 2021 Committee Member in Program Committee within the PLDI Research Papers-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