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).
- 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.
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.
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.
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.
My other interests are in making computer systems more reliable. This includes cyber security, in particular software security, and formal methods.
- 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)