NeighborhoodTreasure
aoli.al favicon

Other · Global

Ao Li

aoli.al

Visit site

About aoli.al

Ao Li — Provides information about a PhD student's research and projects in computer science. It is ranked here by its sustained popularity and recent public activity across open sources. Tracked since May 8, 2026; last observed active May 8, 2026.

From the site

I am a final year PhD student advised by Rohan Padhye and Vyas Sekar. My CV, GitHub, Bluesky, and Google Scholar. You may also want to work with me. 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 usability and real-world practicality. I've developed tools such as: ExChain (NSDI '24), which analyzes complex exception interactions to dramatically reduce debugging effort; Fray (OOPSLA 25'), a controlled concurrency testing platform that helps developers catch bugs in complex concurrent systems; and Fest (NSDI 26'), a feedback-guided testing algorithm that catches design bugs early in distributed system development.

Global rank

—

Hot score

0.00

Rising

0.00

Newness

0.19

First indexed
May 8, 2026
Last seen
May 8, 2026
Language
EN
Listing
Request removal or correction

Frequently asked questions

What is aoli.al?
Ao Li is a other website. Provides information about a PhD student's research and projects in computer science.
How popular is aoli.al?
Ao Li is not yet inside the Tranco global popularity list — typical for newer or niche domains.
What category does aoli.al belong to?
aoli.al is classified as a other website and content primarily in EN. Categories are assigned automatically from page content.
How is Ao Li ranked on NeighborhoodTreasure?
Ranking is fully automated. We combine the site's Tranco global popularity rank, fresh public mentions on Hacker News and GitHub, and short-term activity signals to produce four scores: Hot, New, Rising, and Overall. Organic ranking is independent — it cannot be paid for, and there is no editorial override. Any sponsored or featured placements are clearly labeled and do not affect these scores.
When was aoli.al first indexed?
May 8, 2026. The most recent activity signal was on May 8, 2026.
How do I request removal or correction?
Visit the removal page linked at the bottom of every site listing. Removal requests from the domain's verified owner are honored within a few business days.

Related other websites

More other sites in the index

See all other websites →

Browse all categories