Jeff Huang
where else to find them
no profile links on file
what they talk about
all 9 in the filters
where they keep going back
all 4 in the filters
on a stage with
- Wei Song2×
- Adrienne Tranonce
- Benjamin Attalonce
all 25 in the filters
who talks about the same things
- Wei Song4 talks
- Yu Jiang21 talks
- Shaohua Li5 talks
- Lingming Zhang4 talks
- Zhendong Su25 talks
- Mingzhe Wang3 talks
| title | conference | date |
|---|---|---|
| DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance | OOPSLA 2025 | 2025-10-16 |
DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance (Video, OOPSLA2 2025)
Chenyang Ma, Wei Song, and Jeff Huang
(Nanjing University of… | ||
| L.ink: Procedural Ink Growth for Controllable Surprise | UIST 2025 | 2025-09-28 |
L.ink generates branching, organic strokes by feeding L-strings from L-systems into a pen that sequentially grows ink as hierarchical SVG, enabling animated… | ||
| Optimizing Type Migration for LLM-Based C-to-Rust Translation: A Data Flow Graph Approach | SOAP 2025 | 2025-06-16 |
Manual translation of the Gzip C package using LLMs and static analysis documents concrete fixes: extract data flow graphs with CLAN, prompt o1/ChatGPT01 to… | ||
| VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts | OOPSLA 2024 | 2024-10-20 |
VarLifter recovers typed state variables from Solidity bytecode by treating every accessed field as a candidate variable, pruning false positives, then… | ||
| SHARP: fast incremental context-sensitive pointer analysis for Java | OOPSLA 2022 | 2022-12-05 |
SHARP is an incremental, context-sensitive pointer analysis for Java that claims to be the first to support k-CFA and k-obj under incremental code edits… | ||
| Portal-ble: Intuitive Free-hand Manipulation in Unbounded Smartphone-based Augmented Reality | UIST 2019 | 2019-10-20 |
A portable smartphone system called Portal-ble prototype uses a Leap Motion + Intel stick feeding hand poses into Unity/ARCore, implements gesture recognition… | ||
| Attacking the Brain: Races in the SDN Control Plane | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
Introduces CONGUARD, a dynamic framework that instruments SDN controllers (bytecode rewriting) and logs critical operations, builds happens-before graphs, and… | ||
| SleepCoacher: A Personalized Automated Self-Experimentation System for Sleep Recommendations | UIST 2016 | 2016-10-16 |
SleepCoacher is a closed‑loop smartphone system that collects accelerometer and microphone data via a modified Sleep as Android app, computes sleep variables… | ||
| nothing matches | ||