机构名称：
¥ 1.0
Jianzhou Zhao，博士，2013 年 8 月。形式化基于 SSA 的编译器以进行验证的高级程序转换 Peter-Michael Osera，博士，2016 年 8 月。带类型的程序合成 Jennifer Paykin，博士，2018 年 6 月。嵌入式领域特定语言的线性/非线性类型 Robert Rand，博士，2018 年 12 月。形式化验证的量子编程 Li-yao Xia，博士，2022 年 8 月。（由 Benjamin Pierce 共同监督）具有交互树的可执行表示语义 Yishuai Li，博士，2022 年 5 月。（由 Benjamin Pierce 共同监督）通过对偶化进行测试 Lucas Silver，博士，2023 年 8 月。交互树和形式规范 Irene Yoon，博士2023 年 12 月。LLVM IR 的模块化语义和元理论 Calvin Beck Paul He Nicholas Rioux Lawrence Dunn（由 Val Tannen 共同监督） Stephen Mell（由 Osbert Bastani 共同监督） Joey Velez-Ginorio（由 Konrad Kording 共同监督）
Steve Zdancewic - UPenn CIS - 宾夕法尼亚大学
主要关键词
相关文件推荐
