Building Extensible Program Logics with Effect Handlers
Talk, Schwarzman College of Computing Building, MIT, Cambridge, Middlesex, MA, United States
A talk at 2025 New England Systems Verification Day.
Talks and presentations
A Coq Mechanized Formalization of Realistic SQL Query Optimization Rules
Talk, 六安曙光铂尊酒店, Jin'an, Lu'an, AH, China
A talk at the Third Summit for Students in Hua Xia Talent Program of Computer Science and Technology (第三届华夏计算机科技英才班学生学术交流会).
TranGo: Transparent Hybrid Go Bindings Generation for C Libraries
Talk, 东区理化大楼东三报告厅, USTC, Baohe, Hefei, AH, China
A talk at the Forth Summit for Students in Talent Programs of “Fundamental Subjects” (第四届“基础学科英才班”学生学术交流会).
TranGo: Transparent Hybrid Go Bindings Generation for C Libraries
Talk, 西区特种实验室报告厅, USTC, Shushan, Hefei, AH, China
A talk at the Second Summit for Students in Hua Xia Talent Program of Computer Science and Technology (第二届华夏计算机科技英才班学生学术交流会).