Cheng Zhang
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
all 9 in the filters
on a stage with
all 37 in the filters
who talks about the same things
- Xin Zhang21 talks
- Tobias Kappé4 talks
- Zachary Kincaid9 talks
- Edward Lee10 talks
- Yizhou Zhang13 talks
- Benjamin Delaware18 talks
| title | conference | date |
|---|---|---|
| From Rewriting to Fixpoints: Solving Recursive Equations with E-Graphs | EGRAPHS 2026 | 2026-06-15 |
Extends e-graphs to represent recursive variables by adding secondary definitional edges that link a variable to its definition without merging, builds a… | ||
| Domain Reasoning In TopKAT: Reduction and Completeness | TPSA 2025 | 2025-01-19 |
TopKAT is incomplete over relational models: there exists an inequality true in every relational TopKAT but unprovable from TopKAT axioms, yet adding that… | ||
| CF-GKAT: Efficient Validation of Control-Flow Transformations | POPL 2025 | 2025-01-19 |
Extends GKAT to handle hardcoded indicator variables and non‑local control flow (goto, break, return) and proves sound, complete trace‑equivalence by… | ||
| A Dependently Typed Language with Dynamic Equality | TyDe 2023 | 2023-09-04 |
Designs a dependently typed language that defers equality checking to runtime and replaces many static rejections with warnings, inserting explicit casts and… | ||
| On Incorrectness Logic and Kleene Algebra with Top and Tests | POPL 2022 | 2022-01-16 |
Kleene Algebra with Tests (KAT) cannot express incorrectness triples because it lacks an explicit codomain operation; adding a single top element yields… | ||
| HandyTrak: Recognizing the Holding Hand on a Commodity Smartphone from Body Silhouette Images | UIST 2021 | 2021-10-10 |
HandyTrak is a software pipeline that takes front-facing camera silhouettes, segments body outlines, and feeds them to a user-dependent CNN to classify left… | ||
| NeckFace: Continuously Tracking Full Facial Expressions on Neck-mounted Wearables | UbiComp 2021 | 2021-09-21 |
A neck-mounted IR camera system reconstructs continuous full-face expressions by feeding chin and mouth images into NeckNet based on ResNet34 and regressing 52… | ||
| TeethTap: Recognizing Discrete Teeth Gestures using Motion and Acoustic Sensing on an Earpiece | IUI 2021 | 2021-04-13 |
TeethTap is a 3D‑printed earpiece with IMU and contact microphone that recognizes 13 discrete teeth gestures using bandpass denoising, SVM for noise detection… | ||
| C-Face: Continuously reconstructing facial expressions by deep learning contours of the face ... | UIST 2020 | 2020-10-20 |
Ear-mounted RGB cameras embedded into headphones and earphones capture facial contour silhouettes and a CNN regresses 42 landmarks (mouth, eyes, eyebrows)… | ||
| VibroSense: Recognizing home activities by deep learning subtle vibrations on an interior ... | UbiComp / ISWC 2020 | 2020-09-12 |
A system uses a single-point Laser Doppler vibrometer on a wall or ceiling to capture subtle structural vibrations, applies Wavelet denoising, STFT into… | ||
| FingerTrak: Continuous 3D Hand Pose Tracking by Deep Learning Hand Silhouettes Captured by ... | UbiComp / ISWC 2020 | 2020-09-12 |
A wristband prototype with four 32×24 thermal cameras and a ResNet34-based deep network reconstructs 20 joint 3D hand poses from wrist silhouettes only, using… | ||
| Developing a Dependently Typed Language with Runtime Proof Search | TyDe 2020 | 2020-08-23 |
Prototype implements a call-by-value dependently typed language that delays constraint solving by adding an admit syntax and a three-stage pipeline: light type… | ||
| Understanding the Cost of Driving Trips | CHI 2017 | 2017-05-06 |
Built a phone app plus an OBD dongle that shows an estimated total cost per drive — fuel, depreciation from KBB, maintenance, insurance and prorated fixed… | ||
| nothing matches | ||