Ao Li

aoli.al

I work at Incalmo. My CV, GitHub, Bluesky, and Google Scholar. My email address is aoli@cs.cmu.edu. I design and build tools that make complex concurrent and distributed systems easier to debug and test. My research treats applicability as a first-class concern—emphasizing not just algorithmic efficiency, but also…

Popular posts: 2
Total points: 285
HN comments: 93
Rank: #9,350 personal

Visit aoli.al → RSS feedOn Hacker News Mar 2025 – Jun 2025

Web & Frontend 1 Systems & Performance 1 Software Engineering 1 Networking & Internet 1

Most points Most discussed Most cited Newest

Discovering a JDK Race Condition, and Debugging It in 30 Minutes with Fray

2025157 points52 comments Software Engineering details

Discovering a JDK Race Condition, and Debugging it in 30 Minutes with Fray I’ve been adding more integration tests for Fray recently. To ensure Fray can handle different scenarios, I wrote many creative test cases. Many of them passed as expected, while some failures led to epic fixes in Fray. Then something…