Talks and presentations

• [Forum for Neuro-Symbolic Software, Chinasoft 2024] Verification of Neural Network Controlled Systems. Xi'an, China, Nov 2024.
• [Huawei Workshop on Formal Methods 2024] Detecting Floating-Point Errors via Chain Conditions. Guiyang, China, Aug 2024. [Video]
• [Applied Mathematics Seminar at School of Mathematical Sciences, Peking University] Neural Network Verification based on Abstract Interpretation. Beijing, China, Dec 2023.
• [Technical Salon of SIG-Program Analysis 2022] Numerical Program Anaysis. Virtual Event, China, Jan 2022. [Video]
• [FASE 2022] Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. Virtual Event, Munich, Germany, Apr 2022. [Slides]
• [TASE 2021] An Abstract Domain to Infer Linear Absolute Value Equalities. Shanghai, China, Aug, 2021. [Slides]
• [SAS 2019] Verifying Numerical Programs via Iterative Abstract Testing. Porto, Portugal, Oct 2019. [Slides]