报告

2025

从模拟退火到概率编程

NOI 冬令营 · 2025年1月22日

胶片

2024

程序的资源分析与验证

软件分析与验证研讨会 (SAVE 2024) · 2024年11月30日

胶片
保证引导程序组合正确性的可编程 MCMC

2024 中国软件大会，顶会顶刊论坛 · 2024年11月15日

胶片
开发与证明一体化的编程范式

定理证明理论与应用研讨会 · 2024年9月3日

胶片
面向形式化证明的程序设计语言

第十八期 CCF 秀湖会议 · 2024年8月9日

胶片
编程语言新范式初探

第四届图灵中心交流论坛 · 2024年6月22日

胶片
下一代编程语言是什么样的？

2024 年全国大学生编译系统设计赛技术培训会，第五场 · 2024年6月22日

胶片

2023

编程语言新范式初探

江苏省软件学术年会优秀青年学者论坛 · 2023年12月16日

胶片
概率程序的代数程序分析

2023 中国软件大会，青年学者论坛 · 2023年12月2日

胶片
概率程序的代数程序分析

CCF形式化方法专委会战略研讨 · 2023年6月30日

胶片
类型主导的编程语言设计

2023 年全国大学生编译系统设计赛技术培训会，第三场 · 2023年6月17日

胶片
资源安全的系统编程语言

编程语言技术沙龙 · 2023年5月19日

胶片
直觉主义逻辑与程序设计语言

北京大学逻辑讨论班 · 2023年3月28日

胶片

2022

量化程序分析与验证

基础软件前沿技术探索学术沙龙 · 2022年12月22日

胶片