Zixian Cai

@caizixian
104 Followers
194 Following
79 Posts
Programming languages, computer architecture, and performance analysis/optimization.
Homepagehttps://www.zcai.org
GitHubhttps://github.com/caizixian

Lots of fun details in Huang's thesis: static vs dynamic prefetching (static is fine), computation of how much one could gain if cache-miss latency were eliminated, what the GC time would be if hardware prefetchers were disabled (20-80% slower; see attached figure); mutator time without prefetchers (sometimes it's better??!?); how to use "perf mem"; all good stuff!

I don't know what's in the water at ANU but they have been doing lots of great work at all levels recently

Claire Huang wrote an undergraduate honor's thesis, supervised by @steveblackburn and @caizixian https://www.steveblackburn.org/pubs/theses/huang-2025.pdf

She uses sampling PEBS counters and data linear addressing (DLA) on Intel chips to attempt to understand the structure and attribution of load latencies in MMTk.

After identifying L1 misses in the trace loop as a significant overhead, she adds prefetching and reduces GC time by 10% or so across a range of benchmarks, and more on Zen4.

Well I wasn't going to write this post until Friday, but I spent a bunch of time beating my head against python versioning issues, and while waiting for things to happen I decided to finish this.

So: Allocation profiling with bpftrace!

https://www.mgaudet.ca/technical/2025/5/28/finding-hot-allocation-sites-with-bpftrace

Finding hot allocation sites with bpftrace — Matthew Gaudet

Matthew Gaudet
Exploring a language runtime with bpftrace — Matthew Gaudet

Matthew Gaudet

*tap tap* Is this thing on? Yes? Ok, we are SIGPLAN AV and we're looking forward to seeing you all at @pldi in Seoul and remote!

(This is our new centralized channel for communications, updates and announcements)

@wilbowma I always try to consider the authors as potentially someone like 24-year old me submitting my first POPL paper, and nearly getting burnt out by an awful dismissive review. When you're on the receiving end of one of these "PC finds it boring" rejections, it sucks so much.

Are you interested in getting a PhD in Programming Languages, particularly in both practical and theoretical aspects of gradual typing? Consider working with me at the Australian National University.

PhDs in Australia take 3-4 years and come with a tax-free stipend. See https://users.cecs.anu.edu.au/~fabian.muehlboeck/phd.html for more details.

I am at POPL this week, so if you are there, feel free to find me or coordinate to meet with me via e-mail.

Fabian Muehlboeck

Side note, I'm on the job market if anyone is looking for a programming language/compiler/IDE engineer.
Are you interested in programming languages research but unsure what to expect or how to get started? Programming Languages Mentoring Workshop (PLMW) @ PLDI 2024 is now open for scholarship applications! Apply by March 25 AOE for full consideration: https://forms.gle/2haU1bMM7UKxU39y8
PLMW@PLDI 2024 Application Form

The Programming Languages Mentoring Workshop at PLDI 2024 encourages early stage PhD students, MS students, and late-stage undergraduate students to pursue research in programming languages. More information about the workshop can be found here: https://pldi24.sigplan.org/track/PLMW-PLDI-2024 Please submit your application by March 25 2024 AOE (before midnight in any time zone) for full consideration.

Google Docs
Programming Language folks: I am looking for PhD students in Programming Languages at the Australian National University - fully funded (https://fabian.muehlboeck.name/hiring.html). I'm going to be at POPL this week, so you can find me there and/or just send me an -email. ANU has a large amount of great potential (co-)supervisors in PL and adjacent areas, see https://comp.anu.edu.au/study/research/available-supervisors/ .
Fabian Muehlboeck