Lefan Zhang
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
- Chengcheng Wan2×
- Blase Uronce
- Michael L. Littmanonce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Preview: Verification (Correctness) | OSDI '21 / USENIX ATC '21 | 2021-07-14 |
Five papers show concrete claims and artifacts: data-driven environment synthesis uses protocol traces to prune and order invariant candidates so fewer solver… | ||
| Preview: Verification (Correctness & Debugging) | OSDI '21 / USENIX ATC '21 | 2021-07-14 |
Five systems present concrete results: Pilot applies Python metadata, bytecode edits and dynamic profiling to patch online services without restarts; a fuzzing… | ||
| Trace2TAP: Synthesizing Trigger-Action Programs From Traces of Behavior | UbiComp / ISWC 2020 | 2020-09-12 |
Method synthesizes all trigger-action programs that explain past manual actuations using symbolic reasoning and an SMT solver, handles out-of-order events and… | ||
| nothing matches | ||