Ke Wu
where else to find them
bluesky:kejyunwu.bsky.social
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Mengyi Zhou2×
- Brandon Strideonce
- Elaine Shionce
all 9 in the filters
who talks about the same things
- Mengyi Zhou2 talks
- Ke Wang11 talks
- Chao Wang17 talks
- Zhendong Su25 talks
- Eric Wang6 talks
- Xiang Li26 talks
| title | conference | date |
|---|---|---|
| Intensional Functions | OOPSLA 2024 | 2024-10-20 |
Adds a language feature that makes runtime closures visible: functions carry a definition-site ID and an environment and offer three destructors — application… | ||
| Semantic-Type-Guided Bug Finding | OOPSLA 2024 | 2024-10-20 |
Introduces a semantic-type refuter that is co-recursively enumerable and proves soundness and completeness against a semantic model; implements the checker and… | ||
| What Can Cryptography Do For Decentralized Mechanism Design? | ITCS 2023 | 2023-01-10 |
Paper proves that adding cryptography — a practical MPC-assisted model where many miners run an honest-majority multi‑party computation over user bids — lets… | ||
| Extending Deployment for Internet Financial Mission-Critical Scenarios | KubeCon + CloudNativeCon + Open Source Summit China 2019 | 2019-06-24 |
Ant Financial builds a custom CRD called cafe deployment CRD that adds in-place upgrades, stable pod IPs and active‑active multi‑datacenter topology to… | ||
| Extending Deployment for Internet Financial Mission-Critical Scenarios | KubeCon + CloudNativeCon China 2019 | 2019-06-24 |
Ant Financial extends Kubernetes Deployment with a custom cafe deployment controller that implements in-place upgrade and a confirmable, risk‑controlled… | ||
| nothing matches | ||