| 获奖者 |
院校 |
研究课题 |
| Haniel Barbosa |
米纳斯吉拉斯联邦大学 |
SMT证明的高效检查与重构 |
| Clark Barrett |
斯坦福大学 |
无服务器云中的SMT查询解决方案 |
| Yuriy Brun |
马萨诸塞大学阿默斯特分校 |
基于语言建模的证明合成形式验证 |
| Adam Chlipala |
麻省理工学院 |
构建正确的物联网系统与云服务器 |
| Jyotirmoy Deshmukh |
南加州大学 |
使用深度强化学习进行并发程序的系统测试与不变式合成 |
| Isil Dillig |
德克萨斯大学奥斯汀分校 |
自动化代码现代化与迁移 |
| Parasara Sridhar Duggirala |
北卡罗来纳大学教堂山分校 |
反例模型检测 |
| Philippa Gardner |
伦敦帝国学院 |
符号测试与验证的多语言平台 |
| Jan Hoffmann |
卡内基梅隆大学 |
无服务器计算的自动静态资源分析 |
| Falk Howar |
多特蒙德工业大学 |
Java动态符号执行的扩展 |
| Anthony Lin |
凯泽斯劳滕大学 |
字符串约束的认证求解器与证明检查器 |
| Magnus Madsen |
奥胡斯大学 |
布尔统一的类型推断 |
| Kuldeep S. Meel |
新加坡国立大学 |
GPU加速的并行SAT求解 |
| Eric Mercer |
杨百翰大学 |
从Dafny模型生成Java测试的符号执行 |
| Peter Müller |
苏黎世联邦理工学院 |
基于TLA+规范的Rust程序验证 |
| Suha Orhun Mutluergil |
萨班奇大学 |
通过符号推理进行线性化检查 |
| Jason Nieh |
哥伦比亚大学 |
在Arm多处理器硬件模型上验证系统软件 |
| Gennaro Parlato |
莫利塞大学 |
云端程序分析：扩展并发程序错误发现的分布式符号算法 |
| Ruzica Piskac |
耶鲁大学 |
反例引导的模块化规范推断 |
| Roopsha Samanta |
普渡大学西拉法叶分校 |
分布式系统的自动化模块化参数化验证 |
| Sanjit Seshia |
加州大学伯克利分校 |
通过合成与学习实现安全分布式服务的可扩展验证 |
| Alexander Summers |
不列颠哥伦比亚大学 |
模块化Rust验证的增强类型与内存编码 |
| Josef Urban |
布拉格捷克技术大学 |
定理证明中神经与符号方法的结合 |
| Diyi Yang |
佐治亚理工学院 |
实现方言鲁棒性与包容性自然语言理解 |
| Qirun Zhang |
佐治亚理工学院 |
通过交错Dyck可达性进行软件模型检测 |
| Danyang Zhuo |
杜克大学 |
软件中间件的一键验证 |