人工制品评估委员会SPLASH OOPSLA工件

安娜·米拉诺娃Co-chair公司

伦斯勒理工学院

本·格林曼Co-chair公司

美国布朗大学

钱德拉卡纳·南迪

Certora公司。

美国

阿拉斯代尔·阿姆斯特朗

剑桥大学

菲利佩·巴尼亚多斯·施瓦特

不列颠哥伦比亚大学

加拿大

埃里克·阿特金森

麻省理工学院

美国

Jay P.Lim（杰伊·P·林）

耶鲁大学

美国

奥雷·巴里埃

IRISA雷恩大学

法国

本诺·斯坦因

元；科罗拉多大学波德分校

大不列颠联合王国

托马斯·布尔盖特

维克托·尼科莱特

亚马逊网络服务

加拿大

迈克尔·科布伦兹

加州大学圣地亚哥分校

美国

瑞安·库佩尔

布拉格捷克技术大学

捷克

伊曼纽尔·德奥斯瓦尔多

MPI-SWS公司

德国

拉斐尔·莫纳特

Inria和里尔大学

法国

Jihyeok公园

甲骨文公司

澳大利亚

伊桑·切切蒂

马里兰大学帕克分校

美国

塞缪尔·格鲁特

麻省理工学院

何东杰

新南威尔士州悉尼

澳大利亚

何品嘉

香港中文大学深圳分校

中国

伊法兹·卡比尔

阿尔伯塔大学

瑞安·卡瓦纳

麦吉尔大学

加拿大

马丁·凯洛格

华盛顿大学

美国

亚历克斯·伦达

麻省理工学院

美国

米歇尔·齐亚里

维也纳工业大学

奥地利

杰雷米·柯尼格

耶鲁大学

美国

努拉尔丁·贾贝尔

普渡大学

美国

西迪·穆罕默德·贝拉希

多伦多大学

加拿大

费比安·穆尔博克

IST奥地利

奥地利

Kirshanthan Sundararajah公司

普渡大学

美国

哈立德·艾哈迈德

不列颠哥伦比亚大学（UBC）

加拿大

韦斯娜·诺瓦克

伦敦帝国理工学院

大不列颠联合王国

奥利弗·布拉切瓦克

普渡大学

美国

丹尼尔·帕特森

东北大学

美国

劳伦·皮克

威斯康星大学麦迪逊分校和加州大学伯克利分校

美国

约翰·萨拉西诺

康奈尔大学

美国

贾思申

麻省理工学院

卡尔文·史密斯

德克萨斯大学奥斯汀分校

美国

克里斯蒂娜·索贾科娃

INRIA巴黎

法国

邹大明

苏黎世联邦理工学院

瑞士

陈晓红

伊利诺伊大学香槟分校

景波路

新南威尔士州悉尼