• 【08-05】 Building the Theory Foundation for Real-Time Robotic Operating System (ROS)2024-07-31
• 【12-29】SKLCS seminar on “AIA：AI辅助算法设计的若干尝试”2023-12-22
• 【12-27】SKLCS seminar on “知识图谱的关键技术”2023-12-20
• 【12-11】SKLCS seminar on “An FPRAS for two terminal reliability in directed acyclic graphs”2023-12-01
• 【10-31】2nd-SKLCS Seminar on”Alternating Good-for-MDPs Automata”2023-10-20
• 【10-31】1st-SKLCS Seminar on”Fast Verified SCCs for Probabilistic Model Checking”2023-10-20
• 【10-27】SKLCS Seminar on”TrustInSoft Analyzer: a formal methods-based software for industry”2023-10-10
• 【08-31】SKLCS Seminar on”Integrating SAT Techniques in Hard Problem Solving”2023-08-15
• 【06-19】SKLCS Seminar on “Functional Verification in RTL Models using Concolic Testing”2023-06-12
• 【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-06-09
• 【04-07】SKLCS Seminar on “MIMOS: from theory to tools for embedded software design & update“2023-04-01
• [2022-07-01] Local Search for SMT on Linear Integer Arithmetic2022-06-29
• [2022-04-06] Seminar on “End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers”2022-06-29
• [2022-03-03]Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time2022-03-08
• [2021-12-23]JIZHI: A Fast and Cost-Effective Model-As-A-Service System for Web- Scale Online Inference at Baidu2021-12-21
• [2021-11-9]Constructive Bidirectional Programming2021-12-21
• [06-16] Deductive Verification of Smart Contracts2021-06-11