Yuanfeng Shi
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×
- Yifan Zhang2×
- Ziyue Jinonce
who talks about the same things
- Xin Zhang21 talks
- Yifan Zhang4 talks
- Peixin Wang5 talks
- Guanyan Li3 talks
- Hongfei Fu6 talks
- Fei He5 talks
| title | conference | date |
|---|---|---|
| Abstract Interpretation with Confidence | PLDI 2026 | 2026-06-15 |
Paper defines alarm confidence as the probability of local completeness: the chance that a sampled concrete program, drawn from the set consistent with a given… | ||
| 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… | ||
| nothing matches | ||