Yufeng Li
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Ifaz Kabironce
- Jonathan Chanonce
- Ondřej Lhotákonce
all 5 in the filters
who talks about the same things
- Kinfey Lo8 talks
- Yizhou Zhang13 talks
- Jianlin Li3 talks
- Ion Stoica40 talks
- Xin Zhang21 talks
- Steve Zdancewic19 talks
| title | conference | date |
|---|---|---|
| Create Generative AI experiences using Phi | Microsoft Build 2024 | 2024-05-21 |
Shows deploying Phi family models with ONNX Runtime GenAI API and Olive, running Phi3-Mini on DirectML, CUDA and CPU with measured throughput: ~250 tokens/s on… | ||
| Is Sized Typing for Coq Practical? | ICFP 2023 | 2023-09-04 |
Implementation of CIC^ sized type theory inside a Coq 8.12 kernel fork produces a full size-inference pipeline that emits difference constraints solved by… | ||
| ιDOT: A DOT Calculus with Object Initialization | OOPSLA 2020 | 2020-11-15 |
Introduces iDOT, a DOT calculus that models Scala-style fields, strict field reads, and constructors and enforces initialization so null pointer exceptions… | ||
| nothing matches | ||