Ever used AI to fix tricky race conditions and flaky tests? Not pretty, is it? Check out "Spaghetti Bench 🍝: A SWE-Agent Benchmark for Concurrency Bug Tasks"
Turns out it's still a HARD problem, but it can be made tractable with deterministic replay.
pastalab.org/spaghetti-be...
Stop building systems for agents, build systems for human.
We need infrastructures to help us holding accountability of agent's code.
blog.xiangpeng.systems/posts/stop-b...
If anyone wants to know why Xiangpeng Hao is a great mentor, they can read this response: github.com/XiangpengHao...
Really fun experience! Thanks @cachemisses.bsky.social for being such a great host. Let's bring more systems research to software developers!
Front page of a paper titled "Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM" by Ao Li et al. from Carnegie Mellon University.
Excited to announce that the Fray paper has been accepted to OOPSLA'25! Work led by @aoli.al with a full pastalab.org collaboration.
📄: rohan.padhye.org/files/fray-o...
💻: github.com/cmu-pasta/fray
🎥: www.youtube.com/watch?v=AX6P...
Data-Aware Caching for Cloud Analytics
Join my PhD prelim talk next Monday:
Data-Aware Caching for Cloud Analytics
🕐 May 19, 1PM CDT
📍 CS2310 or Zoom: uwmadison.zoom.us/j/3081128886
These talks look great. Next Tuesday May 12th in the DMV.
lu.ma/swn68ky0
I've now written enough Rust to know that (a) Rust is a great language, (b) Async in rust is a flaming dumpster and (c) that fire has spread so far that it makes the whole language incredibly frustrating to use on a day-to-day basis...
New blog post: "Build your own S3-Select in 400 lines of Rust"
Check it out 😉: blog.xiangpeng.systems/posts/build-...
We're also implementing a replay mode in Fray Debugger for developers tackling real-world concurrency bugs. Soon you'll be able to import execution recordings, eliminating the need to manually trigger bugs by clicking the 'Schedule' button thousands of times!
Even better, you can create your concurrency challenges by writing standard Java programs! We believe Fray Debugger is a powerful educational tool. It allows instructors to clearly demonstrate various thread interleavings while giving students hands-on experience with concurrent execution scenarios.
We are excited to share Fray Debugger (aoli.al/blogs/deadlo...), an IntelliJ plugin that allows you to control concurrent execution deterministically!
We have translated the Deadlock Empire (deadlockempire.github.io) into Java to demonstrate how to use Fray Debugger.
Wrote a blog post reflecting my thoughts on DeepSeek, NSF funding and system research communities in general. Apologies for the bold claims -- hope they can invite some discussions.
blog.xiangpeng.systems/posts/system...
@xiangpeng.systems shared a great post about system researchers. I wrote a comment on it and would like to share some thoughts here and offer complementary ideas.
In short: build paper with open source.
xuanwo.io/links/2025/0...
