I am a PhD student of computer science at The Australian National University.
- Jun 2021 I presented our work on HTM capacity at ISMM 2021. You can watch the talk here.
- May 2021 Synthesized Collective Communication Library (SCCL) is now open-source.
- Apr 2021 Our paper on Hardware Transactional Memory (HTM) is accepted to ISMM 2021.
- Mar 2021 I’m starting my PhD at ANU, advised by Steve Blackburn.
- Mar 2021 Our paper on synthesizing optimal collective algorithms was awarded the best paper award at PPoPP 2021.
- Dec 2020 I am awarded a University Medal.
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 is 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.
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 code video