Yifan Zhang
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2024–2025
on a stage with
- Xin Zhang3×
- Yuanfeng Shi2×
- Yao Wengonce
who talks about the same things
- Yuanfeng Shi3 talks
- Xin Zhang21 talks
- Xing Zhang3 talks
- Linzhang Wang6 talks
- Yu Jiang21 talks
- Fei He5 talks
| title | conference | date |
|---|---|---|
| Fuzzing Guided by Bayesian Program Analysis | POPL 2026 | 2026-01-11 |
Redefines Bayesian program analysis so each alarm gets a probability of being reachable by exploitation fuzzing (99% threshold in evaluation), uses per-target… | ||
| On Abstraction Refinement for Bayesian Program Analysis | OOPSLA 2025 | 2025-10-16 |
Paper proposes an online abstraction search called BSRefine that performs counterexample-guided refinement on Bayesian program analyses by cutting information… | ||
| Learning Abstraction Selection for Bayesian Program Analysis | OOPSLA 2024 | 2024-10-20 |
Framework learns which abstraction parameters to change by extracting derivation graphs before and after a candidate refinement, computing graph features… | ||
| Securing a Managed Jupyter Notebook Platform Using Istio & OPA | Istio Day Europe 2024 | 2024-03-19 |
Managed Jupyter access uses OIDC SSO for authentication, an Istio Gateway + Envoy WASM plugin to extract user and resource headers, and an Envoy filter that… | ||
| nothing matches | ||