APLAS 2022年
2022年12月10日星期一至星期六新西兰奥克兰
与位于同一位置斯普拉什2022

APLAS 2022贡献者

过滤器
角色类型
贡献给
角色数量
国家
搜索

结果(97)

A类
贝尼亚米·阿卡托利
Inria&Ecole理工学院法国
APLAS 2022项目委员会委员
乔纳森·奥尔德里奇
卡内基梅隆大学美国
测试和验证会议主席（APLAS的一部分）
梅根·艾伦
不列颠哥伦比亚大学加拿大
SPLASH E-track项目委员会委员
文森佐·阿塞里
意大利帕尔马大学意大利
抽象解释中上升和下降阶段的解耦
B类
巴赫·鲍尔森，卡斯珀
代尔夫特理工大学荷兰
2022年APLAS项目委员会委员
伊丽莎·巴尼亚萨德
不列颠哥伦比亚大学加拿大
SPLASH内指导委员会的指导委员会主席-电子轨道
迈克·巴克明
德国杜伊斯堡大学德国
SPLASH E-track项目委员会委员
迈克·贝克尔
不伦瑞克工业大学
基于模型的汽车软件故障分类
C类
皮埃尔·卡涅
阿巴拉契亚州立大学
描述可在GADT上映射的功能
程璐玉
香港科技大学
APLAS 2022人工制品评估委员会委员
魏恩根·钦
新加坡国立大学新加坡
代数效应的自动时间验证
拉维·丘格
芝加哥大学
SPLASH E-track项目委员会委员
聪，又有
东京理工大学日本
2022年APLAS项目委员会委员
查理·柯钦格
格林奈尔学院
SPLASH E-track指导委员会委员
D类
米纳克什·D’Souza
IIITB-班加罗尔国际信息技术研究所印度
2022年APLAS项目委员会委员
达斯，苏拉夫
印度理工学院印度
APLAS 2022人工制品评估委员会委员
de Muijnck-Hughes，一月
格拉斯哥大学大不列颠联合王国
2022年APLAS人工制品评估委员会联合主席
2022年APLAS项目委员会委员
特拉华州，本杰明
普渡大学美国
RHLE：关系属性的模演绎验证
法扎内德拉赫尚
卡内基梅隆大学美国
2022年APLAS项目委员会委员
罗伯特·迪克森
普渡大学美国
RHLE：关系属性的模演绎验证
Doan，Thi Thu Ha公司
弗莱堡大学
2022年APLAS项目委员会委员
阿皮塔·杜塔
新加坡国立大学新加坡
2022年APLAS人工制品评估委员会联合主席
约坦·德维尔
特拉维夫大学
共享状态并发的代数理论
F类
范安东
香港科技大学中国
具有递归类型、记录级联和子类型的微积分
莫莉·费尔德曼
欧柏林学院美国
上午1的会议主席（SPLASH-E的一部分）
SPLASH E-track项目委员会委员
SPLASH E-track指导委员会委员
凯西·菲斯勒
布朗大学美国
SPLASH指导委员会委员会成员-电子轨道
大流士·富
新加坡国立大学
代数效应的自动时间验证
法布里奇奥·福纳里
意大利卡梅里诺大学意大利
APLAS 2022人工制品评估委员会委员
G公司
马可·加博阿迪
波士顿大学美国
2022年APLAS项目委员会委员
桑卡普·甘比尔
洛桑联邦理工学院（EPFL）
APLAS 2022人工制品评估委员会委员
耿楚钦
麦吉尔大学
基于自然语言模型的新手型错误诊断
莉莉亚·乔治耶娃
APLAS 2022人工制品评估委员会委员
马特·格里芬
萨里大学大不列颠联合王国
APLAS 2022人工制品评估委员会委员
菲利普·郭
加州大学圣地亚哥分校
SPLASH E-track项目委员会委员
阿里·古芬克尔
滑铁卢大学加拿大
2022年APLAS项目委员会委员
H（H）
韩天宇
麦吉尔大学
基于自然语言模型的新手型错误诊断
马丁·亨茨
新加坡国立大学新加坡
上午2的会议主席（SPLASH-E的一部分）
SPLASH内项目委员会联合主席——E-track
SPLASH E-track指导委员会委员
胡，镇江
北京大学中国
2022年APLAS项目委员会委员
我
Igarashi、Atsushi
京都大学日本
类型会议主席（APLAS的一部分）
伊扎基，沙查尔
以色列理工学院以色列
2022年APLAS项目委员会委员
J型
帕特里夏·约翰
阿巴拉契亚州立大学
描述可在GADT上映射的功能
K（K）
奥哈德·卡玛
爱丁堡大学大不列颠联合王国
共享状态并发的代数理论
埃里克·科斯金
史蒂文斯理工学院美国
2022年APLAS项目委员会委员
桑卡拉纳拉亚南·克里希纳
印度孟买IIT
Release-Acquire并发下并发程序的验证
L（左）
奥里·拉哈夫
特拉维夫大学以色列
共享状态并发的代数理论
Le，Xuan-Bach（宣巴赫·勒）
南洋理工大学新加坡
2022年APLAS项目委员会委员
李云琼
新加坡国立大学
APLAS 2022人工制品评估委员会委员
Ondřej Lengál
布尔诺理工大学
2022年APLAS项目委员会委员
本杰明·勒纳
美国东北大学美国
下午2会议主席（SPLASH-E部分）
SPLASH内项目委员会联合主席——E-track
SPLASH E-track指导委员会委员
马丁·莱斯特
阅读大学大不列颠联合王国
APLAS 2022人工制品评估委员会委员
李一轩
麦吉尔大学
基于自然语言模型的新手型错误诊断
M（M）
朱利安·麦凯
惠灵顿维多利亚大学新西兰
语义与分析会议主席（APLAS的一部分）
伊莎贝拉·马斯特罗埃尼
意大利维罗纳大学意大利
抽象解释中上升和下降阶段的解耦
乌芒·马图尔
新加坡国立大学新加坡
2022年APLAS项目委员会委员
罗兰·梅耶
不伦瑞克工业大学德国
基于模型的汽车软件故障分类
安德斯·米尔特纳
德州大学奥斯汀分校美国
2022年APLAS项目委员会委员
蒙达尔·舒维克
印度甘地那加研究所印度
APLAS 2022人工制品评估委员会委员
安康·穆利克
印度理工学院
APLAS 2022人工制品评估委员会委员
安德烈·穆拉夫斯基
牛津大学大不列颠联合王国
2022年APLAS项目委员会委员
N个
克里希纳·纳拉辛汉
达姆施塔特工业大学德国
APLAS 2022人工制品评估委员会委员
鲁米亚纳内科娃
布鲁内尔大学
2022年APLAS项目委员会委员
O（运行）
布鲁诺·C·d·S·奥利维拉。
香港大学中国
具有递归类型、记录级联和子类型的微积分
适用的交叉点类型
P（P）
公园，Jihyeok
甲骨文公司澳大利亚
APLAS 2022项目委员会委员
马可·帕特里格纳尼
特伦托大学意大利
2022年APLAS项目委员会委员
Mário佩雷拉
NOVA LINCS&DI——诺瓦科技学院
APLAS 2022人工制品评估委员会委员
碧姬·品特卡
麦吉尔大学加拿大
基于自然语言模型的新手型错误诊断
安东·波德科帕耶夫
JetBrains研究俄罗斯
2022年APLAS项目委员会委员
普罗特，凯·奥利弗
德国基尔大学德国
APLAS 2022人工制品评估委员会委员
皮埃尔·马里·佩德罗
印度法国
2022年APLAS项目委员会委员
R（右）
巴伯·雷赫曼
香港大学
APLAS 2022人工制品评估委员会委员
托拜厄斯·隆格
不伦瑞克工业大学
基于模型的汽车软件故障分类
内亚·鲁施
奥古斯塔大学美国
APLAS 2022人工制品评估委员会委员
S公司
普拉内什桑提凯勒尔
阿联酋阿布扎比技术创新研究所（TII）阿拉伯联合酋长国
APLAS 2022人工制品评估委员会委员
伊索·萨萨诺
芝浦工业大学日本
2022年APLAS项目委员会委员
伊娜·谢弗
配套元件德国
基于模型的汽车软件故障分类
乌尔里希·舍普
fortiss股份有限公司德国
从环境转换的抽象概念推断区域类型
伊利亚·谢尔盖
新加坡国立大学新加坡
2022年APLAS项目委员会项目主席
主题演讲会议主席（APLAS的一部分）
谢里夫丁、里德万·萨利欣
新加坡国立大学新加坡
APLAS 2022人工制品评估委员会委员
司旭杰
加拿大麦吉尔大学
基于自然语言模型的新手型错误诊断
宋亚辉
新加坡国立大学新加坡
代数效应的自动时间验证
索阿夫，萨尔瓦
CEA列表
APLAS 2022人工制品评估委员会委员
孙耀竹
香港大学中国
APLAS 2022人工制品评估委员会委员
T型
伊莱·蒂列维奇
弗吉尼亚理工大学美国
下午1的会议主席（SPLASH-E的一部分）
SPLASH E-track项目委员会委员
V（V）
范德沃尔（Saren van der Wall）
博士生德国
基于模型的汽车软件故障分类
W公司
塞巴斯蒂安·沃尔夫
纽约大学美国
基于模型的汽车软件故障分类
X（X）
谢宁宁
多伦多大学加拿大
适用的交叉点类型
徐创杰
fortiss股份有限公司德国
利用环境变化的抽象概念推断区域类型
薛、徐
香港大学
适用的交叉点类型
Y（Y）
杨子怡
新加坡国立大学新加坡
APLAS 2022人工制品评估委员会委员
叶浩林
麦吉尔大学
基于自然语言模型的新手型错误诊断
叶千川
普渡大学美国
RHLE：关系属性的模演绎验证
于能坤
美国石溪大学美国
2022年APLAS项目委员会委员
Z轴
埃纳州扎法内拉
意大利帕尔马大学意大利
抽象解释中上升和下降阶段的解耦
Michael K·张。
普渡大学
RHLE：关系属性的模演绎验证
钟宇毅
新加坡国立大学新加坡
APLAS 2022人工制品评估委员会委员
周耀达
香港大学中国
具有递归类型、记录级联和子类型的微积分
埃琳娜·祖卡
热那亚大学意大利
2022年APLAS项目委员会委员