Yao Li
where else to find them
no profile links on file
what they talk about
all 7 in the filters
where they keep going back
no series more than once — all 7 in the filters
on a stage with
- Xinning Gui2×
- Barış Bayazıtonce
- Beinan Wangonce
all 32 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Freer Arrows and Why You Need Them in Haskell | Haskell 2025 | 2025-10-16 |
Proposes freer arrows as a Haskell data structure (plus two variants: freer pre-arrow and freer choice arrow) that yields an Arrow instance and admits simple… | ||
| A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants | LMPL 2025 | 2025-10-12 |
Evaluation uses two Rocq codebases hs-to-coq (187 proofs) and Verdi (579 proofs), calling LLMs (GPT-4o-mini and DeepSeek/DeepSec family) once per goal and… | ||
| Designing the Informing Process with Streamers and Bystanders in Live Streaming | SOUPS 2024 | 2024-08-11 |
Design ideation with 21 participants uncovers a bilateral informing loop: streamers must signal live status and bystanders must convey privacy preferences. Key… | ||
| Data Caching for Enterprise-Grade Petabyte-Scale OLAP | USENIX ATC 2024 | 2024-07-10 |
Alluxio local cache embeds on-node SSDs and a page store to serve reads for Presto and HDFS, cutting network I/O and API calls. Deployed at Uber and Meta for… | ||
| Program Adverbs and Tlon Embeddings | ICFP 2022 | 2022-09-11 |
Proposes program adverbs as reified functor classes (applicative/selective/monad) that embed effects LiftA2 and Embed constructors to capture static vs dynamic… | ||
| Effect-Oblivious Equivalence | PriSC 2022 | 2022-01-16 |
Defines effect-oblivious equivalence: two programs are equivalent no matter how effects are implemented, so proofs do not assume concrete IO or handler… | ||
| Playing with Streakiness in Online Games: How Players Perceive and React to Winning and Losing ... | CHI 2018 | 2018-04-21 |
A social media analysis of League of Legends uses >700 forum threads and about 4,600 statements to show both winning and losing streaks harm player experience… | ||
| nothing matches | ||