I am an undergraduate student of computer science at The Australian National University. I’m currently undertaking the honours year of my Bachelor degree, advised by Steve Blackburn and Mike Bond (OSU).

News

  • Feb 2020 I started my honours year at ANU, advised by Steve Blackburn and Mike Bond (OSU).
  • Nov 2019 I started an internship at the RiSE group, Microsoft Research Lab – Redmond.

Research

My research is around building efficient and productive abstractions for computer software. I believe that these abstractions will lead to not only more efficient software, but also more reliable software.

Garbage Collection

My main focus in on the implementation of programming languages, especially the memory management for managed languages (also known as garbage collection). I’m particularly interested in investigating novel GC algorithms that make use of emerging hardware technologies.

Parallel Programming

I’m also interested in making parallel programming productive and scalable in terms of performance on modern hardware. I work on using program synthesis to generate efficient implementations of parallel programming primitives. I also look at how the design and implementation of programming languages affect the programmability and efficiency of parallel programs.

Reliable Software

My other interests are in making computer systems more reliable. This includes cyber security, in particular software security, and formal methods.

Selected Publications

My publications are listed on dblp, Google Scholar, and Semantic Scholar. Preprints can be found on arXiv. You can also see my CV for the full list of publications.

Synthesizing Optimal Collective Algorithms (2020) pdf arXiv

  • under submission
  • by Zixian Cai, Zhengyang Liu, Saeed Maleki, Madan Musuvathi, Todd Mytkowicz, Jacob Nelson, Olli Saarikivi (Zixian Cai and Zhengyang Liu contributed equally to the paper)