报告

2023

编程语言新范式初探
12月 16, 2023 3:30 PM — 4:00 PM
演示文稿
概率程序的代数程序分析（新）
12月 2, 2023 2:35 PM — 3:00 PM
演示文稿
概率程序的代数程序分析
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

Type-Guided Worst-Case Input Generation
6月 3, 2021 10:00 AM — 11:00 AM
演示文稿

2020

Type-Based Resource-Guided Search
10月 16, 2020 12:00 PM — 1:00 PM
演示文稿

2019

Resource-Guided Program Synthesis
11月 22, 2019 12:00 PM — 1:00 PM
演示文稿