Ying Sheng
where else to find them
no profile links on file
what they talk about
where they keep going back
- Dafny2 editions2024–2025
on a stage with
all 25 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| DafnyBench: A Benchmark for Formal Software Verification | Dafny 2025 | 2025-01-19 |
DafnyBench is a scraped benchmark of 750 programs and ~53,000 LOC that tests whether LLMs (GPT‑4, Claude 3, etc.) can auto-generate the missing Dafny… | ||
| Fairness in Serving Large Language Models | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) | 2024-07-10 |
Defines fairness as a token-cost function (input vs decode tokens) and implements a scheduler that updates per-client virtual counters at token granularity… | ||
| CLOVER: Closed-Loop Verifiable Code Generation | Dafny 2024 | 2024-01-14 |
Generates code, docstrings, and formal annotations with GPT‑4 then applies six directed consistency checks (using reconstruction testing and the Dafny… | ||
| AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving | OSDI 2023 | 2023-07-10 |
AlpaServe uses model parallelism not just to fit big models but to statistically multiplex GPUs across many models, trading partition overhead for burst… | ||
| nothing matches | ||