• 2024-11-12Automated Auditing of Blockchain Smart Contracts Using Large Language Models
• 2024-09-15Proof of Proof offers Universal Verifiable Computing by Correct-by-Construction ZKP Generation for All Programming Languages
• 2023-12-22AIA：AI辅助算法设计的若干尝试
• 2023-12-20知识图谱的关键技术
• 2023-12-01An FPRAS for two terminal reliability in directed acyclic graphs
• 2023-11-01概率递归关系尾概率的自动化分析
• 2023-10-202nd-SKLCS Seminar on”Alternating Good-for-MDPs Automata”
• 2023-10-201st-SKLCS Seminar on”Fast Verified SCCs for Probabilistic Model Checking”
• 2023-10-10TrustInSoft Analyzer: a formal methods-based software for industry
• 2023-08-15【08-31】SKLCS Seminar on”Integrating SAT Techniques in Hard Problem Solving”
• 2023-07-31【08-05】 Building the Theory Foundation for Real-Time Robotic Operating System (ROS)
• 2023-06-12【06-19】SKLCS Seminar on “Functional Verification in RTL Models using Concolic Testing”
• 2023-05-25【05-31】SKLCS Seminar on “Algorithmic Perspectives on Certification of Machine Learning”
• 2023-05-09【05-17】SKLCS Seminar on “ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration”
• 2023-05-03【05-08】SKLCS Seminar on “ 模糊测试的种子输入生成技术”