Table of Contents

Education

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

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

Research and Industry Experience

Twitter (2020-, Canberra, ACT, Australia)

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

Microsoft Research (2020, Canberra, ACT, Australia)

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

Publications

Conference Papers

Understanding and Utilizing Hardware Transactional Memory Capacity. Zixian Cai, Stephen M. Blackburn, Michael D. Bond. International Symposium on Memory Management (ISMM), 2021. pdf doi code video

Synthesizing Optimal Collective Algorithms. Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi. Principles and Practice of Parallel Programming (PPoPP), 2021. Best Paper Award. pdf doi

Technical Reports

Activity Recognition in Videos with Segmented Streams. Zixian Cai. ANU SCNC2103, 2019. Supervised by Stephen Gould. pdf doi

Verification of Concurrent Data Structures with TLA. Zixian Cai. ANU SCNC2102, 2018. Supervised by Michael Norrish. pdf doi

Power Consumption of Instruction Encodings on Cortex-M4. Zixian Cai. ANU COMP2300 ASE, 2018. Supervised by Ben Swift. pdf doi

Have Your Cake and Eat It? Productive Parallel Programming via Chapel’s High-level Constructs. Zixian Cai. ANU SCNC2101, 2018. Supervised by Josh Milthorpe. pdf doi

Theses

Concurrent Copying Garbage Collection with Hardware Transactional Memory. Zixian Cai. Bachelor of Philosophy (Honours) - Science, Australian National University, 2020. Advised by Steve Blackburn and Mike Bond (OSU). pdf

Awards

ANU University Medal (2020)

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

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

Teaching Experience

ANU COMP3710, Computer Microarchitecture

ANU COMP3703, Software Security

ANU COMP3710, Compiler Design and Implementation

Service

SPLASH Student Volunteer (2020)

Talks

Understanding and Utilizing Hardware Transactional Memory Capacity. Zixian Cai. International Symposium on Memory Management (ISMM), 2021. YouTube

Activity Recognition in Videos with Segmented Streams. Zixian Cai. ANU PhB Symposium, 2019 for SCNC2103.

Portable Memory Management Toolkit in Rust. Zixian Cai, Brenda Wang and Pavel Zakopaylo. SAPLING, 2018.

Have Your Cake and Eat It? Productive Parallel Programming via Chapel’s High-level Constructs. Zixian Cai. ANU PhB Symposium, 2018 for SCNC2101.

Micro Virtual Machines. Zixian Cai. ANU PhB Mini Symposium, 2018.

Mu for Dynamic Languages: Retargeting the RPython JIT to a Micro Virtual Machine. Zixian Cai. SAPLING, 2017.