Junfeng Yang
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
- Asaf Cidononce
- Jason Niehonce
- Lingmei Wengonce
all 9 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Formal Verification of Probabilistic Deep Reinforcement Learning Policies with(…) | VMCAI 2025 | 2025-01-20 |
Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training (Video, VMCAI)
Junfeng Yang, Xin Chen, and Qin Li
(Shanghai… | ||
| Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases | OSDI 2023 | 2023-07-10 |
Chardonnay is a distributed on-disk key-value store that demonstrates fast datacenter transactions by combining ~150 μs 2PC over Paxos with a tiny low-latency… | ||
| Argus: Debugging Performance Issues in Modern Desktop Applications... | USENIX ATC '21 | 2021-07-14 |
Argus is a causal-tracing system that annotates trace graphs with strong and weak edges and uses a beam-search diagnosis to tolerate tracing ambiguities. It… | ||
| nothing matches | ||