| Paper Venue | Title of the Presentation | Presenter | Time Slot |
|---|---|---|---|
| LICS 2016 ~ POPL 2023 | Probabilistic Trees | Linyu Yang | 10:30-11:00 |
| USENIX Security 2023 | AnimateDead: Debloating Web Applications Using Concolic Execution | Zhongyi Wang | 11:00-11:30 |
| OSDI 2024 | Using Dynamically Layered Definite Releases for Verifying the RefFS File System | Xiaqing Zhou | 11:30-12:00 |
| HSCC 2024 | FaMoS – Fast Model Learning for Hybrid Cyber-Physical Systems | Hengzhi Yu | 12:00-12:30 |
| Paper Venue | Title of the Presentation | Presenter | Time Slot |
|---|---|---|---|
| – | From Interpreters to Compilers: The Algebraic Approach | Linyu Yang | 11:00-11:30 |
| SAS 2019 | Verifying Numerical Programs via Iterative Abstract Testing | Zhongyi Wang | 11:30-12:00 |
| FASE 2024 | Refinement Verification of OS Services based on a Verified Preemptive Microkernel | Xiaqing Zhou | 13:00-13:30 |
| NeurIPS 2022 | Autoformalization with Large Language Models | Yutao Sun | 13:30-14:00 |
| CAV 2023 | Local Search for Solving Satisfiability of Polynomial Formulas | Zhiyang Li | 14:00-14:30 |
| Paper Venue | Title of the Presentation | Presenter | Time Slot |
|---|---|---|---|
| ICLR 2024 | Don’t Trust: Verify – Grounding LLM Quantitative Reasoning with Autoformalization | Yutao Sun | 10:00-10:30 |
| … | Autoformalization with Large Language Models | Yutao Sun | 10:30-11:00 |
| Paper Venue | Title of the Presentation | Presenter | Time Slot |
|---|---|---|---|
| ICFP 2024 | Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System | Linyu Yang | 10:00-10:30 |
| POPL 2024 | Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs | Sergei Novozhilov | 10:30-11:00 |
| OOPSLA 2024 | Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach | Yutao Sun | 11:00-11:30 |
| PLDI 2024 | Equivalence and Similarity Refutation for Probabilistic Programs | Mingqi Yang | 13:00-13:30 |
| OSDI 2023 | BWoS: Formally Verified Block-based Work Stealing for Parallel Processing | Xiaqing Zhou | 13:30-14:00 |