| 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 |