Zhuo Chen
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Guobin Shenonce
- Peichao Zhangonce
- Thomas Moscibrodaonce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Elevator Pitches | SPLASH 2022 Doctoral Symposium | 2022-12-06 |
Functional languages need cost accounting but each evaluation strategy forces a new model; the work builds a single cost model for Call-by-Push-Value that… | ||
| Towards a Verified Cost Model for Call-by-Push-Value | SPLASH 2022 Doctoral Symposium | 2022-12-06 |
Claims a verified cost model for the call-by-push-value lambda-calculus mechanised in HOL4, by compiling CBPV terms into a substitution machine and proving a… | ||
| Walkie-Markie: Indoor Pathway Mapping Made Easy | NSDI 2013 | 2013-04-02 |
Walkie-Markie automatically reconstructs indoor pathway maps by detecting WiFi-Marks — RSS tipping points — and fusing crowdsourced inertial-phone trajectories… | ||
| nothing matches | ||