iiinova — where your digital self keeps evolving

Reposted by Ao Li

Rohan Padhye @rohan.padhye.org · 17/02/2026

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...

141

Reposted by Ao Li

Xiangpeng Hao @xiangpeng.systems · 02/02/2026

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...

blog.xiangpeng.systems

Stop building systems for agents – Xiangpeng’s blog

Build agent systems for human.

172

Reposted by Ao Li

Andrew Lamb @andrewlamb1111.bsky.social · 03/11/2025

If anyone wants to know why Xiangpeng Hao is a great mentor, they can read this response: github.com/XiangpengHao...

181

Ao Li @aoli.al · 06/10/2025

Really fun experience! Thanks @cachemisses.bsky.social for being such a great host. Let's bring more systems research to software developers!

020

Reposted by Ao Li

Rohan Padhye @rohan.padhye.org · 28/08/2025

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...

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.

3154

Reposted by Ao Li

Xiangpeng Hao @xiangpeng.systems · 16/05/2025

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

191

Reposted by Ao Li

Phil Eaton @eatonphil.bsky.social · 05/05/2025

These talks look great. Next Tuesday May 12th in the DMV. lu.ma/swn68ky0

121

Reposted by Ao Li

Jakob Homan @jakobhoman.bsky.social · 25/04/2025

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...

1114

Reposted by Ao Li

Xiangpeng Hao @xiangpeng.systems · 24/03/2025

New blog post: "Build your own S3-Select in 400 lines of Rust" Check it out 😉: blog.xiangpeng.systems/posts/build-...

blog.xiangpeng.systems

Build your own S3-Select in 400 lines of Rust – Xiangpeng’s blog

DataFusion is ALL YOU NEED

0103

Ao Li @aoli.al · 12/03/2025

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!

000

Ao Li @aoli.al · 12/03/2025

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.

100

Ao Li @aoli.al · 12/03/2025

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.

aoli.al

Evil Scheduler: Mastering Concurrency Through Interactive Debugging – Ao Li

TLDR Watch the video below to see how Fray debugger works! I enjoy the concept of Deadlock Empire, an interactive game that teaches the semantics of locks and other concurrency primitives. The core id...

131

Reposted by Ao Li

Xiangpeng Hao @xiangpeng.systems · 10/03/2025

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...

blog.xiangpeng.systems

Where are we now, system researchers? – Xiangpeng’s blog

2112

Reposted by Ao Li

Xuanwo @xuanwo.io · 10/03/2025

@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...

082

Reposted by Ao Li

Ben Trent @benwtrent.bsky.social · 07/02/2025

It's wonderful to see practical & important programming work. Debugging concurrent programs is incredibly difficult, here is a bug found in Apache Lucene by the CMU Pasta Lab using their new Fray testing framework www.elastic.co/search-labs/...

elastic.co

Concurrency bugs in Lucene: How to fix optimistic concurrency failures - Elasticsearch Labs

Thanks to Fray, a deterministic concurrency testing framework from CMU’s PASTA Lab, we tracked down a tricky Lucene bug and squashed it

121