2018年GPCE
2018年11月5日星期一至6日星期二
美国马萨诸塞州波士顿
与同一地点
2018年SPLASH
切换导航
参加
地点:波士顿公园广场酒店
程序
完成计划
您的计划
11月5日周一
11月6日星期二
跟踪/呼叫
组织
2018年GPCE委员会
轨道委员会
组织委员会
项目委员会
贡献者
人员指数
搜索
系列
系列
GPCE 2024
GPCE 2023
GPCE 2022
GPCE 2021
GPCE 2020
GPCE 2019年
2018年GPCE
2017年GPCE
2016年GPCE
2015年GPCE
2014年GPCE
2013年GPCE
2011年GPCE
登录
注册
2018年SPLASH
(
系列
) /
2018年GPCE(
系列
) /
马丁·里纳德
2018年SPLASH简介
conf.research.org概述
ESEC/FSE 2020概况
ESEC/FSE 2021概况
ESEC/FSE 2022概况
ICFP 2021简介
2019年ICSE概况
ICSE 2020简介
ICSE 2024简介
PLDI 2015简介
PLDI 2016概况
2018年PLDI概况
2019年PLDI概况
PLDI 2021剖面
PLDI 2022剖面
PLDI 2024剖面
POPL 2016简介
POPL 2019简介
POPL 2020简介
POPL 2024简介
2017年PPoPP概况
PPoPP 2022概况
SPLASH 2010简介
SPLASH 2011简介
SPLASH 2012简介
SPLASH 2013简介
SPLASH 2014简介
SPLASH 2015简介
2017年SPLASH简介
2019年SPLASH概况
SPLASH 2021简介
SPLASH 2023简介
编程›2024简介
编程›2025简介
自2018年11月10日星期六起注册用户
姓名:
马丁·里纳德
国家/地区:
美国
附属:
麻省理工学院
个人网站:
https://people.csail.mit.edu/rinard/
贡献
2018
SLE公司
SLE 2018轨道主题演讲委员会成员
一种新的软件正确性和可靠性方法
向前的!
存储和检索数据的程序的推断和再生
GPCE公司
SLE主题演讲:软件正确性和可靠性的新方法
显示其他会议的活动
分享
SPLASH 2018-简介
查看常规配置文件
x个
9月21日星期六20:51