Seminar 更多
- 【05-31】SKLCS Seminar on “Algorithmic Perspectives on Certification of Machine Learning”
- 【05-17】SKLCS Seminar on “ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration”
- 【05-05】SKLCS Seminar on “Design Automation for Learning-Enabled Cyber-Physical Systems”
- 【04-26】SKLCS Seminar on “ StateFuzz：状态敏感的Linux内核驱动程序模糊测试”
- 【04-07】SKLCS Seminar on “MIMOS: from theory to tools for embedded software design & update“
- [2022-07-01] Local Search for SMT on Linear Integer Arithmetic