Ao Li

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

16.05.2025 00:52 — 👍 7    🔁 1    💬 1    📌 0

RIP USENIX ATC | The Observation Deck

RIP USENIX ATC bcantrill.dtrace.org/2025/05/11/r...

11.05.2025 22:47 — 👍 48    🔁 12    💬 4    📌 2

These talks look great. Next Tuesday May 12th in the DMV.

lu.ma/swn68ky0

05.05.2025 12:41 — 👍 2    🔁 1    💬 1    📌 0

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

25.04.2025 02:29 — 👍 11    🔁 4    💬 1    📌 0

Build your own S3-Select in 400 lines of Rust – Xiangpeng’s blog DataFusion is ALL YOU NEED

New blog post: "Build your own S3-Select in 400 lines of Rust"

Check it out 😉: blog.xiangpeng.systems/posts/build-...

24.03.2025 14:13 — 👍 9    🔁 3    💬 0    📌 0

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!

12.03.2025 19:26 — 👍 0    🔁 0    💬 0    📌 0

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.

12.03.2025 19:26 — 👍 0    🔁 0    💬 1    📌 0

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

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.

12.03.2025 19:25 — 👍 2    🔁 1    💬 1    📌 0

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

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

10.03.2025 04:49 — 👍 11    🔁 2    💬 2    📌 0

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

10.03.2025 07:26 — 👍 6    🔁 2    💬 0    📌 0

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

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

07.02.2025 15:59 — 👍 2    🔁 1    💬 1    📌 0