Seminar 更多
- [2022-07-01] Local Search for SMT on Linear Integer Arithmetic
- [2022-04-06] Seminar on “End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers”
- [2022-03-03]Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time
- [2021-12-23]JIZHI: A Fast and Cost-Effective Model-As-A-Service System for Web- Scale Online Inference at Baidu
- [2021-11-9]Constructive Bidirectional Programming
- [06-16] Deductive Verification of Smart Contracts