Table of Contents

Education

Australian National University (2017-, Canberra, ACT, Australia)

Employment

Australian National University (2017-, Canberra, ACT, Australia)

Microsoft Research (2020, Canberra, ACT, Australia)

Australian National University (2020, Canberra, ACT, Australia)

Microsoft Research (2019-2020, Redmond, WA, USA)

Publications

Preprints

Synthesizing Optimal Collective Algorithms (2020) pdf arXiv

Technical Reports

Activity Recognition in Videos with Segmented Streams (2019) pdf doi

Verification of Concurrent Data Structures with TLA (2018) pdf doi

Power Consumption of Instruction Encodings on Cortex-M4 (2018) pdf doi

Have Your Cake and Eat It? Productive Parallel Programming via Chapel’s High-level Constructs (2018) pdf doi

Talks

Activity Recognition in Videos with Segmented Streams (2019)

Portable Memory Management Toolkit in Rust (2018)

Have Your Cake and Eat It? Productive Parallel Programming via Chapel’s High-level Constructs (2018)

Micro Virtual Machines (2018)

Mu for Dynamic Languages: Retargeting the RPython JIT to a Micro Virtual Machine (2017)

Awards

ANU Chancellor’s Letter of Commendation (2017, 2018, 2019)

ANU Burton and Garran Hall Distinguished Scholar Award (2017, 2018, 2019)

Teaching

ANU COMP3710, Compiler Design and Implementation