斯普拉什2024
2024年10月25日星期日至星期五
美国加利福尼亚州帕萨迪纳
切换导航
参加
地点:帕萨迪纳希尔顿酒店
学生
登记处
Visa支持函
赞助
行为准则
程序
完成计划
您的计划
10月20日周日
10月21日周一
10月22日星期二
10月23日星期三
10月24日星期四
10月25日星期五
曲目
斯普拉什2024
博士生论坛
主题演讲
OOPSLA 2024年
OOPSLA工件
向前的!
论文
向前的!
论文
PLMW公司
海报
重新基础
飞溅-E
学生研究竞赛
志愿者
研讨会
联合主办的会议
GPCE公司
SLE公司
研讨会
哈特拉
IWACO公司
牛仔裤
现场
国家安全部
油漆
项目LaLa
无声音
VIVEK测试
VMIL公司
VMIL公司
-CPython运行时之旅
联合举办的座谈会
SAS公司
SAS公司
SAS公司
人工产品
组织
SPLASH 2024委员会
组织委员会
指导委员会
轨道委员会
博士生论坛
OOPSLA 2024年
OOPSLA工件
向前的!
论文
项目委员会
向前的!
指导委员会
向前的!
论文
项目委员会
指导委员会
PLMW公司
组织委员会
演讲者和小组成员
导师
海报
重新基础
飞溅-E
项目委员会
指导委员会
学生研究竞赛
组织者
审阅者
志愿者
研讨会
贡献者
人员索引
联合主办的会议
GPCE公司
组织委员会
项目委员会
指导委员会
SLE公司
组织委员会
项目委员会
指导委员会
研讨会
哈特拉
组织委员会
项目委员会
IWACO公司
组织委员会
项目委员会
牛仔裤
组织委员会
项目委员会
现场
组织委员会
项目委员会
国家安全部
组织委员会
项目委员会
油漆
组织委员会
项目委员会
项目LaLa
组织委员会
项目委员会
无声音
组织委员会
VIVEK测试
组织委员会
项目委员会
VMIL公司
组织委员会
项目委员会
联合举办的座谈会
SAS公司
SAS 2024
组织委员会
SAS 2024
项目委员会
SAS工件
搜索
系列
系列
SPLASH 2025年
斯普拉什2024
飞溅2023
斯普拉什2022
斯普拉什2021
2020年SPLASH
2019年SPLASH
2018年SPLASH
2017年SPLASH
2016年SPLASH
2015年SPLASH
2014年SPLASH
飞溅2013
2012年SPLASH
2011年SPLASH
2010年SPLASH
2009年OOPSLA
2008年OOPSLA
2007年OOPSLA
2006年OOPSLA
OOPSLA 2005年
2004年OOPSLA
OOPSLA 2003年
OOPSLA 2002年
OOPSLA 2001年
OOPSLA 2000版
登录
注册
斯普拉什2024
(
系列
) /
约翰·C·科勒萨尔
SPLASH 2024简介
conf.research.org概述
ASE 2022简介
SPLASH 2022简介
自2022年9月15日星期四起注册用户
姓名:
约翰·C·科勒萨尔
国家/地区:
美国
附属:
耶鲁大学
个人网站:
https://johnckolesar.github.io网址
github:
https://github.com/johnckolesar
研究兴趣:
形式化方法、验证、符号执行、软件定义的网络、自动程序修复
贡献
2024
溅水
OOPSLA工艺轨道内的工艺评估委员会委员
显示其他会议的活动
分享
使用常规配置文件
x个
9月27日星期五21:14