• 2023-06-12【06-19】SKLCS Seminar on “Functional Verification in RTL Models using Concolic Testing”
• 2023-06-09【05-31】SKLCS Seminar on “Algorithmic Perspectives on Certification of Machine Learning”
• 2023-06-09【05-17】SKLCS Seminar on “ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration”
• 2023-06-09【05-05】SKLCS Seminar on “Design Automation for Learning-Enabled Cyber-Physical Systems”
• 2023-06-09【04-26】SKLCS Seminar on “ StateFuzz：状态敏感的Linux内核驱动程序模糊测试”
• 2023-04-01【04-07】SKLCS Seminar on “MIMOS: from theory to tools for embedded software design & update“
• 2022-06-29[2022-07-01] Local Search for SMT on Linear Integer Arithmetic
• 2022-06-29[2022-04-06] Seminar on “End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers”
• 2022-03-08[2022-03-03]Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time
• 2021-12-21[2021-12-23]JIZHI: A Fast and Cost-Effective Model-As-A-Service System for Web- Scale Online Inference at Baidu
• 2021-12-21[2021-11-9]Constructive Bidirectional Programming
• 2021-06-11[06-16] Deductive Verification of Smart Contracts
• 2021-05-07[05-07]Safety Design and Verification of Learning-Enabled Cyber-Physical Systems
• 2020-12-07[12-09] A Dynamical Aspect of D-finite Power Series
• 2020-11-30[12-02] Verified Separate Compilation of C Programs into Binary Object Files
• 2020-10-12[10-14] SKLCS seminar on “地理信息系统”
• 2019-12-23[12-30] Uncertainty-wise Software Engineering
• 2019-12-19[12-20]SKLCS seminar on 2 talks-“Proving that Programs are Differentially Private” “Quantitative information flow: when is one leak worse than another?”
• 2019-12-09[12-18]Quantum Computing Engineering: Challenges and Opportunities
• 2019-12-09[12-10]Compositional Techniques for the Verification of a Separation Micro-kernel for Multi-Core Architectures