切换导航
登录
注册
conf.researchr.org公司
/
克里斯托弗·瓦格纳
conf.researchr.org总体概况
PLDI 2022剖面
SPLASH 2021简介
SPLASH 2023简介
自2021年9月23日星期四起注册用户
姓名:
克里斯托弗·瓦格纳
国家/地区:
美国
附属:
普渡大学
贡献
2023
溅水
通过OOPSLA跟踪中的有界区域实现基于双无界分布式协议的系统的有界验证的作者
2022
PLDI公司
Discover[i]演示者:在教程跟踪中使用模块化、有界推理驯服无界分布式系统
2021
GPCE公司
HACCLE的作者:用于GPCE跟踪中安全多方计算的元编程
溅水
QuickSilver:OOPSLA-track中基于分布式协议的系统的建模和参数化验证
份额
x个
6月20日星期四01:07