Seminar 更多
- [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
- [05-07]Safety Design and Verification of Learning-Enabled Cyber-Physical Systems
- [12-09] A Dynamical Aspect of D-finite Power Series
- [12-02] Verified Separate Compilation of C Programs into Binary Object Files