Wei Sun
where else to find them
no profile links on file
what they talk about
all 8 in the filters
where they keep going back
no series more than once — all 6 in the filters
on a stage with
all 33 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Neuro-Symbolic Proof Generation for Scaling Systems Software Verification | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Neuro-symbolic proof search implements a best-first tree search that repeatedly queries a fine-tuned LLM for single-step tactics, executes each step in a new… | ||
| DeepRange: Acoustic Ranging via Deep Learning | UbiComp 2021 | 2021-09-21 |
A deep-learning acoustic ranging system uses a realistic simulator that injects white noise, multiple reflections, residual self-interference and randomized… | ||
| Douleur: Creating Pain Sensation with Chemical Stimulant to Enhance User Experience in Virtual ... | UbiComp 2021 | 2021-09-21 |
A wearable prototype named Douleur chemically induces adjustable pain by pumping capsaicin via microneedling through a microfluidic reservoir and micropump… | ||
| Embracing Collisions to Increase Fidelity of Sensing Systems with COTS Tags | UbiComp 2021 | 2021-09-21 |
COFFEE extracts per-tag channel state from collided RN16 transmissions on COTS passive RFID by parallel channel estimation and iterative signal cancellation… | ||
| 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… | ||
| MAVL: Multiresolution Analysis of Voice Localization | NSDI ’21 | 2021-04-12 |
MAVL localizes a user with a single smart speaker and an eight-microphone uniform circular array by (1) separating coherent multipath AoAs via multi-resolution… | ||
| 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… | ||
| Model-Agnostic and Efficient Exploration of Numerical State Space of Real-World... | NSDI 2019 | 2019-02-26 |
Presents ACT, a model-agnostic tester that combines random testing with guided feedback to explore TCP congestion-control numerical state spaces without… | ||
| nothing matches | ||