Fei He
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
- OOPSLA3 editions2020–2025
on a stage with
- Bow-Yaw Wangonce
- Chong Yeonce
- Delong Zhangonce
all 12 in the filters
who talks about the same things
- Hongfei Fu6 talks
- Peixin Wang5 talks
- Guanyan Li3 talks
- Zhilei Han2 talks
- Xin Zhang21 talks
- Zhenjiang Hu15 talks
| title | conference | date |
|---|---|---|
| Structural Abstraction and Refinement for Probabilistic Programs | OOPSLA 2025 | 2025-10-16 |
Framework treats a Probabilistic Control‑Flow Automaton as an MDP whose actions drop semantics, so the structural upper bound is the MDP’s maximum reachability… | ||
| On Temporal Verification of Stateful P4 Programs | NSDI '25 | 2025-04-28 |
Introduces P4LTL, a packet-processing LTL for expressing safety (e.g., no implicit drops when a register count is in-range) and liveness (per-port activation… | ||
| Automated Ambiguity Detection in Layout-Sensitive Grammars | OOPSLA 2023 | 2023-10-23 |
Extends bounded-ambiguity SAT methods to layout-sensitive grammars by replacing SAT with SMT+Z3 and adding a reachability condition to fix a discovered… | ||
| Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules | OOPSLA 2020 | 2020-11-15 |
Presents an incremental termination checker that reuses certified modules extracted from prior runs, implemented on top of UAutomizer and tested on 276… | ||
| Incremental Predicate Analysis for Regression Verification | OOPSLA 2020 | 2020-11-15 |
Implements an end-to-end regression-verification pipeline on CPAchecker that reuses assertion annotations across revisions: a CFA Diff based on similarity… | ||
| nothing matches | ||