Table of Contents

Education

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

Research Experience

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

Microsoft Research (2020, Canberra, ACT, Australia)

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

Publications

Conference Papers

Synthesizing Optimal Collective Algorithms (2021) 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

Awards

ANU University Medal (2020)

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

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

Teaching Experience

ANU COMP3710, Compiler Design and Implementation

Service

SPLASH Student Volunteer (2020)

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)