报告

2024

程序的资源分析与验证
11月 30, 2024 3:10 PM — 3:35 PM
演示文稿
保证引导程序组合正确性的可编程 MCMC
11月 15, 2024 9:20 AM — 9:40 AM
演示文稿
开发与证明一体化的编程范式
9月 3, 2024 2:40 PM — 3:20 PM
演示文稿
面向形式化证明的程序设计语言
8月 9, 2024 4:30 PM — 5:00 PM
演示文稿
概率程序的牛顿程序分析
7月 2, 2024 11:30 AM — 12:30 PM
演示文稿
编程语言新范式初探 [Ver 2]
6月 22, 2024 3:20 PM — 3:50 PM
演示文稿
下一代编程语言是什么样的？
6月 22, 2024 9:00 AM — 9:45 AM
演示文稿
概率程序的代数程序分析 [Ver 3]
4月 10, 2024 10:00 PM — 11:00 PM
演示文稿

2023

编程语言新范式初探 [Ver 1]
12月 16, 2023 3:30 PM — 4:00 PM
演示文稿
概率程序的代数程序分析 [Ver 2]
12月 2, 2023 2:35 PM — 3:00 PM
演示文稿
概率程序的代数程序分析 [Ver 1]
6月 30, 2023 3:15 PM — 3:40 PM
演示文稿
类型主导的编程语言设计
6月 17, 2023 9:00 AM — 9:45 AM
演示文稿
资源安全的系统编程语言
5月 19, 2023 3:30 PM — 4:30 PM
演示文稿
直觉主义逻辑与程序设计语言
3月 28, 2023 3:00 PM — 6:00 PM
演示文稿

2022

量化程序分析与验证
12月 22, 2022 2:00 PM — 2:30 PM
演示文稿
概率程序语义
3月 12, 2022 2:00 PM — 4:00 PM
演示文稿

2021

类型引导的最坏情况输入生成
6月 3, 2021 10:00 AM — 11:00 AM
演示文稿

2020

基于类型的资源引导搜索
10月 16, 2020 12:00 PM — 1:00 PM
演示文稿

2019

资源引导的程序合成
11月 22, 2019 12:00 PM — 1:00 PM
演示文稿