写博客>>
2019年ICFP
2019年8月18日至23日星期五德国柏林

2019年ICFP贡献者

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

结果(504)

A类
安德烈亚斯·亚贝尔
歌德堡大学瑞典
立方Agda：一种具有单价和更高归纳类型的依赖类型编程语言
阿卡尔（Umut A.Acar）。
卡内基梅隆大学
响应并行中的公平
朱斯塔斯·亚当
德累斯顿理工大学德国
STCLang：作为一元数据流并行性基础的状态线程组合
迈克尔·D·亚当斯。
密歇根大学美国
编译与并行会议主席（ICFP研究论文的一部分）
堆栈释放的抽象垃圾收集
方案跟踪内组委会PC成员
ICFP研究论文轨道外部审查委员会委员
亚历杭德罗·阿吉雷
西班牙IMDEA软件研究所
ICFP研究工件轨道内工件评估委员会委员
达内尔·阿赫曼
卢布尔雅那大学斯洛文尼亚
Dijkstra全民单打
阿马尔·艾哈迈德
美国东北大学美国
管理您的研究、顾问、博士
小组讨论：函数式编程研究
下一个700编译器正确性定理。功能珍珠。
PLMW@ICFP-track演讲者委员会成员
阿尔巴古提·奥斯
威斯康星大学麦迪逊分校
综合不同的私人项目
马克西米利安·阿尔盖德
瑞典查尔默斯理工大学
参数的简单无干扰
纪尧姆·阿拉伊斯
斯特拉斯克莱德大学大不列颠联合王国
泛型级多晶N元函数
大卫·奥尔索普
剑桥大学大不列颠联合王国
生态系统会议主席（OCaml的一部分）
欢迎光临
ML轨道内项目委员会的委员会成员
OCaml轨道项目委员会主席
OCaml轨道内组委会组织者
桑德拉·阿尔维斯
波尔图大学葡萄牙
TyDe轨道内项目委员会的委员会成员
阿尔维斯，克莱尔
miniKanren-track项目委员会委员
纳达·阿明
哈佛大学美国
使用前缀树分析音乐
miniKanren-track内组委会联合主席
莱夫·安徒生
美国东北大学
ICFP 2019组委会视频联合主席
方案跟踪内组委会PC成员
弗洛里安·安吉利蒂
Codept，OCaml的全项目依赖性分析器
海因里希·阿普费尔穆斯
独立的德国
演示：Functors和音乐
安德鲁·W·阿佩尔。
普林斯顿大学
闭合转换对空间来说是安全的
泽纳·M·阿里奥拉。
美国俄勒冈州大学
使用扩展类型制作更快的咖喱
马库斯·阿伦森
高速安全：通过安全地重新使用存储从纯功能程序生成的就地数组算法
艺术，托马斯
库维克
通过跟踪安全协议获得信任
爱尔兰轨道内项目委员会中的项目委员会
罗伯特·艾奇
斯特拉斯克莱德大学
真实世界会议主席（ICFP研究论文的一部分）
OCaml的Idris外部函数接口
Dijkstra全民单打
ICFP研究论文轨道外部审查委员会委员
伦纳特·奥古斯森
Haskell大规模使用和滥用
大规模使用和滥用Haskell
B类
克里斯蒂安·巴伊杰
QBayLogic有限公司。荷兰
论文会议主席会议4：元编程（Haskell的一部分）
Haskell轨道项目委员会委员
蒂姆·巴南
荷兰乌得勒支大学
效果的谓词变换语义（Functional Pearl）
帕特里克·巴尔
哥本哈根IT大学丹麦
Simply RaTT:一种无空间泄漏的反应式规划的Fitch-style模态演算
安德烈·鲍尔
卢布尔雅那大学斯洛文尼亚
推导作为计算
朱莉娅·贝尔亚科娃
美国东北大学俄罗斯
TyDe轨道内项目委员会的委员会成员
克拉拉·贝纳克·厄尔
马德里政治大学西班牙
通过跟踪安全协议获得信任
爱尔兰轨道内项目委员会中的项目委员会
拉斯·伯格斯特罗姆
Mozilla研究
ML轨道内项目委员会的委员会成员
伦纳特·贝林格
普林斯顿大学美国
ICFP研究论文轨道项目委员会委员
Jean-Philippe Bernardy
哥德堡大学
参数的简单无干扰
乌特萨夫·巴特
趣味性和多样性的关系处理：用miniKanren关系模拟CPU
阿格洛斯·比布迪斯
EPFL，瑞士瑞士
ML轨道内项目委员会的委员会成员
安妮特·比纽萨
凯泽斯劳滕理工大学德国
爱尔兰轨道内项目委员会中的项目委员会
拉尔斯·比克达尔
奥胡斯大学
实现模态相关类型理论
具有连续性的并发程序的机械化关系验证
格特詹·博图
KU鲁汶比利时
类型类解析的一致性
阿米鲁什·布贝基
SRFI-167、SRFI-168和功能存储
拉贾·布伊贝尔
OCaml轨道项目委员会委员
德米特里·布里切夫
第4次会议主席（miniKanren的一部分）
miniKanren的认证语义
搜索问题的关系解释器
蒂莫西·布鲁克
印度法国
OCaml轨道项目委员会委员
威廉·鲍曼。
不列颠哥伦比亚大学加拿大
2019年ICFP组织委员会学生研究竞赛主席
独立类型编程会议主席（TyDe的一部分）
ICFP学生研究竞赛海报和展示评委中的学生研究竞赛主席
ICFP学生研究竞赛项目委员会学生研究竞赛主席
泰德赛道项目委员会委员
伊斯特温波佐
埃特沃斯·洛兰大学
支持Erlang中绿色计算的工具
埃德温·布雷迪
英国圣安德鲁斯大学大不列颠联合王国
通用编程与合成会议主席（TyDe的一部分）
第5次会议主席（ML的一部分）
上午主题演讲
ML轨道内项目委员会的委员会成员
TyDe轨道内项目委员会的委员会成员
约阿希姆·布雷特纳
DFINITY基金会德国
Haskell依赖类型会议主席（ICFP研究论文的一部分）
社交活动
演示：Kaleidogen
ICFP研究论文轨道项目委员会委员
PLMW@ICFP-track演讲者委员会成员
尼尔斯·本肯堡
德国基尔大学德国
在Coq中验证有效的Haskell程序
William E.伯德。
美国伯明翰阿拉巴马大学美国
miniKanren教程
一阶miniKanren表示：非常适合工具和搜索
方案跟踪内组委会PC成员
计划跟踪内组织委员会指导委员会成员
miniKanren-track内组委会联合主席
曼纽尔·巴伦兹
索尼电子服务股份有限公司
实时编码的本质：改变程序，保持状态！
C类
罗曼·卡拉西贝塔
塔里德斯法国
幻影操作系统4：为奇异目标构建实用系统的曙光
何塞·卡尔德龙
Galois公司。美国
编辑者会议主席（HIW的一部分）
论文会议主席会议1：课堂和实例（Haskell的一部分）
标记标记：推断编译时指针标记的存在。
哈斯克尔赛道项目委员会委员
HIW项目委员会委员
迈克尔·卡宾
麻省理工学院美国
通过精确的实数算法和连续性建立健全可靠的实体模型
雅克·卡雷特
麦克马斯特大学加拿大
从高级推理算法到高效代码
希西家·卡蒂
结束游戏
Makecloud：现代时代简单、快速、健壮的CI/CD
杰罗尼莫·卡斯特里隆
德国德累斯顿大学德国
STCLang：作为一元数据流并行性基础的状态线程组合
劳拉·卡斯特罗（Laura M.Castro）。
科鲁尼亚大学西班牙
ICFP研究论文轨道项目委员会委员
马丁·塞雷萨
ICFP研究工件轨道内工件评估委员会委员
帕沃尔·塞尔尼
科罗拉多大学波德分校斯洛伐克
复制数据存储的顺序编程
弗朗西斯科·塞萨里尼
爱尔兰轨道内项目委员会中的项目委员会
乔里斯·塞勒曼斯
KU鲁汶比利时
基于依赖类型的效果参数推理
曼纽尔·查克拉瓦蒂
Tweag I/O和IOHK荷兰
扩展UTxO模型的形式化研究
通用枚举器
区块链是功能性的
HIW轨道内项目委员会的委员会成员
阿维克·乔杜里
美国脸书
ML轨道内项目委员会的委员会成员
纳塔利亚·车奇纳
伯恩茅斯大学大不列颠联合王国
爱尔兰轨道内项目委员会中的项目委员会
陈良婷
斯旺西大学大不列颠联合王国
基于反射的一元型策略规划
陈盛
路易斯安那大学美国
ICFP研究论文轨道外部审查委员会委员
陈子林
Data61、CSIRO和UNSW澳大利亚
ICFP研究工件轨道内工件评估委员会委员
詹姆斯·切尼
英国爱丁堡大学美国
（TyDe表示）FreezeML：一类多态性的完整且简单的类型推断
FreezeML：一类多态的完备且简单的类型推断
ICFP研究论文轨道外部审查委员会委员
史蒂文·张
英国伯明翰大学
透明的同步数据流
亚当·奇利帕拉
麻省理工学院美国
项目验证会议主席（ICFP研究论文的一部分）
Narcissus：从二进制格式中导出正确的解码器和编码器
ICFP研究论文轨道外部审查委员会委员
乔杜里，普里塔姆
宾夕法尼亚大学
Haskell中依赖类型的角色
大卫·苏兰·克里斯蒂安森
美国加洛瓦美国
用SAW验证紧急程序
行业中的依赖型Haskell（经验报告）
简·克里斯蒂安森
德国弗伦斯堡应用科学大学
在Coq中验证有效的Haskell程序
拉维·丘格
芝加哥大学
Livelits：用活动图形用户界面填充类型的孔洞
本杰明·钟
东北大学美国
ICFP 2019组委会视频联合主席
科恩·克莱森
查尔默斯理工大学
高速安全：通过安全地重新使用存储从纯功能程序生成的就地数组算法
泽维尔·克莱尔
ocamljava.org网站
OCaml PPX的未来：走向一个统一、更强大的生态系统
威尔·克林格
计划跟踪内组织委员会指导委员会成员
杰斯珀·考克斯
查尔默斯|哥德堡大学瑞典
TyDe轨道内项目委员会的委员会成员
布鲁斯·科利
爱丁堡大学
用于程序综合的增强型签名
尼克·柯林斯
芝加哥大学
Livelits：用活动图形用户界面填充类型的孔洞
聪，又有
东京工业大学日本
Sound会议主席（FARM的一部分）
演示：通过构造进行对抗
编译时使用延续，还是不使用？无论什么。
FARM项目委员会委员
ICFP研究工件轨道内工件评估委员会委员
伊芙琳·孔特让
ICFP研究论文轨道外部审查委员会委员
避孕，Mistral
英国剑桥大学大不列颠联合王国
ICFP研究工件轨道内工件评估委员会委员
纳塔娜·库兰特
印度
Necro:动画骨骼
恩佐·克兰斯
INSA雷恩
Necro:动画骨骼
西蒙·克鲁恩斯
OCaml轨道项目委员会委员
瑞安·库佩普
捷克技术大学捷克
框架中的语法模板
D类
皮埃尔·埃瓦里斯特·达甘
LIP6/CNRS公司法国
ICFP研究论文轨道项目委员会委员
大卫·达赖
佛蒙特大学美国
效果会议主席（TyDe的一部分）
ICFP学生研究竞赛海报和演示评委委员会成员
ICFP学生研究竞赛项目委员会委员
TyDe轨道内组织委员会联合主席
TyDe轨道内项目委员会的共同主席
伊娃·达鲁洛娃
MPI-SWS公司德国
FHPNC轨道内项目委员会的委员会成员
凯·戴维斯
洛斯阿拉莫斯国家实验室美国
FHPNC轨道内项目委员会的委员会成员
埃里克·德卡斯特罗·洛波
IOHK公司澳大利亚
ICFP研究工件轨道内工件评估委员会委员
詹姆斯·戴克
解密可微编程：移位/重置倒数第二个反向传播算子
弗兰克·德登
荷兰皇家航空航天中心荷兰
Copilot 3.0：无人机Haskell运行时验证框架
特拉华州，本杰明
普渡大学
Narcissus：从二进制格式中导出正确的解码器和编码器
Haskell轨道项目委员会委员
德尔比安科、杰曼·安德烈斯
IRIF-巴黎大学法国
ICFP研究论文轨道外部审查委员会委员
米歇尔·德哈格
护栏
双向类型类实例
卡内尔·德里奇
印第安纳大学
在Chez方案上重建支架（经验报告）
多米尼克·德夫里塞
布鲁塞尔Vrije大学比利时
模态类型会议主席（ICFP研究论文的一部分）
显性词典应用——从理论到实践？
如何做证明？实际证明有效程序结果的属性（函数珍珠）
基于依赖类型的效果参数推理
通过效应多态性和显式字典应用在Haskell中的模块效应——一种新方法和μVeriFast验证器作为案例研究
用于分离逻辑验证代码的完全抽象编译的线性功能
ICFP研究论文轨道外部审查委员会委员
亚沃·迪亚奇基
Galois公司。
用SAW验证强制程序
行业中的依赖型Haskell（经验报告）
杰里米·迪米诺
Jane Street欧洲
OCaml PPX的未来：走向一个统一、更强大的生态系统
选择性应用函数
克里斯托斯·迪穆拉斯
西北大学PLT美国
ICFP研究论文轨道项目委员会委员
罗伯特·多金斯
Galois公司。
行业中的依赖型Haskell（经验报告）
史蒂芬·多兰
名称移位的语法
雷米·杜伦斯
IMT亚特兰蒂斯
类型化指针反转的高效解构
保罗·唐恩
美国俄勒冈州大学
使用扩展类型制作更快的咖喱
德雷克·德雷尔
MPI-SWS公司德国
ICFP’19 2019年ICFP指导委员会总主席
2019年ICFP组委会总主席
周一主题演讲会主席（ICFP主题演讲和报告的一部分）
如何进行人们可以遵循的演讲
PLMW@ICFP-track演讲者委员会成员
克里斯托夫·杜巴赫
爱丁堡大学大不列颠联合王国
位置相关阵列及其在高性能代码生成中的应用
蒂莫·杜夫纳
HS Furtwangen公司
FARM-轨道组织委员会绩效主席
祖宾·达加尔
GHC 8.8中的HIE文件
使用Coq求解Haskell等式约束
Dybvig，R.肯特
思科系统公司
在Chez方案上重建支架（经验报告）
桑德拉·戴卢斯
德国基尔大学德国
2019国际大学生志愿者联合会组委会
在Coq中验证有效的Haskell程序
ICFP学生志愿者跟踪委员会中的学生志愿者联合主席
E类
伊德斯三世，哈雷D。
奥古斯塔大学美国
使用线性和分级模式类型的细粒度程序推理
分级模态类型的定量程序推理
卡尔·伊斯特伦德
Jane Street欧洲
OCaml PPX的未来：走向一个统一、更强大的生态系统
佐藤义吉
乐天理工学院日本
非线性模式匹配的Scheme宏与非自由数据类型的回溯
苏珊·艾森巴赫
伦敦帝国理工学院大不列颠联合王国
Haskell中的高阶类型级编程
理查德·艾森伯格。
美国布林·莫尔学院美国
类型会议主席（ICFP研究论文的一部分）
主题演讲会主席（Haskell的一部分）
PC主席报告
Haskell中依赖类型的角色
Haskell轨道内项目委员会主席
ICFP研究论文轨道外部审查委员会委员
安东·埃克布莱德
查尔默斯理工大学瑞典
确定一元关系数据库查询的范围
科纳尔·埃利奥特
Target，美国美国
ICFP研究论文轨道外部审查委员会委员
马丁·埃尔斯曼
丹麦哥本哈根大学丹麦
加速美式期权定价蒙特卡罗模拟的函数方法（扩展摘要）
Futhark的作文深度学习
弗兰克·埃姆里奇
爱丁堡大学
（TyDe表示）FreezeML：一类多态性的完整且简单的类型推断
FreezeML：一类多态的完备且简单的类型推断
塞巴斯蒂安·埃尔德维格
JGU美因茨德国
ICFP研究论文轨道外部审查委员会委员
约瑟夫·埃雷蒙迪
不列颠哥伦比亚大学加拿大
渐进相关类型的近似规范化
约翰·埃里克森
黑曜石系统
配置，但不带CPP
塞巴斯蒂安·埃特尔
STCLang：作为一元数据流并行性基础的状态线程组合
格雷戈里·埃斯特尔
普渡大学
编译时使用延续，还是不使用？无论什么。
解密可微编程：移位/重置倒数第二个反向传播算子
F类
吉安·彼得罗·法里纳
纽约州立大学布法罗分校
ICFP研究工件轨道内工件评估委员会委员
马克·菲利
蒙特勒大学加拿大
计划跟踪内组织委员会指导委员会成员
汉斯·费尔曼
智利大学
合理例外类型理论
克雷格·弗格森
塔里德斯
因果RPC:可跟踪的分布式计算
托尼·菲尔德
伦敦帝国理工学院
Haskell中的高阶类型级编程
罗伯特·布鲁斯·芬德勒
美国西北大学美国
ICFP’18 2019年ICFP指导委员会总主席
伯恩德·芬克贝纳
合成功能性反应程序
凯萨琳·费希尔
美国塔夫茨大学美国
时间管理、家庭和生活质量
合成对称透镜
PLMW@ICFP-track演讲者委员会成员
安德鲁·菲茨吉本
剑桥微软研究院
函数数组处理语言中的高效可微程序设计
马修·弗拉特
犹他大学美国
2019年ICFP指导委员会ICFP’18项目主席
在Chez方案上重建支架（经验报告）
斯宾塞·P·佛罗伦萨。
美国西北大学
2019 ICFP组织委员会学生志愿者联合主席
ICFP学生志愿者跟踪委员会中的学生志愿者联合主席
马修·弗莱特
罗切斯特理工学院美国
ML轨道内项目委员会的委员会成员
内特·福斯特
康奈尔大学美国
PLMW在PLMW@ICFP-track的组织委员会中担任联合主席
阿德里安·弗兰卡兰扎
马耳他大学马耳他
ErlLounge公司
交割
打开
爱尔兰轨道内项目委员会的项目合作
爱尔兰赛道组委会联合主席
拉尔斯·阿克·弗雷德隆德
通过跟踪安全协议获得信任
丹尼尔·弗里德曼（Daniel P.Friedman）。
美国印第安纳大学
使用公平搜索策略实现miniKanren
计划跟踪内组织委员会指导委员会成员
斯科特·利斯蒂格·弗里奇
瓦拉罗实验室美国
爱尔兰轨道内项目委员会中的项目委员会
弗里德斯，维科里亚
思科系统瑞典
Erl休息室
交割
打开
爱尔兰轨道内项目委员会的项目合作
爱尔兰赛道组委会联合主席
G公司
马可·加博阿迪
纽约州立大学布法罗分校美国
功能强制程序的关系成本分析
埃米利奥·杰苏斯·加列戈·阿里亚斯
MINES ParisTech公司法国
OCaml轨道项目委员会委员
阿卡什，高卡尔
复制数据存储的顺序编程
罗纳德·加西亚
不列颠哥伦比亚大学
2019年ICFP指导委员会ICFP’21项目主席
渐进相关类型的近似规范化
迪帕克·加格
马克斯·普朗克软件系统研究所德国
功能指令程序的关系成本分析
本尼迪克特·加斯特。
英国西部大学
界面乐趣（用于音乐表达的SVG界面）
托马斯·加扎涅尔
塔里德斯法国
工具会议主席（OCaml的一部分）
OCaml轨道项目委员会委员
金博尔·日尔曼
犹他大学
堆叠式抽象垃圾收集
杰里米·吉本斯
牛津大学计算机科学系大不列颠联合王国
ICFP’17 2019年ICFP指导委员会总主席
交互与应用会议主席（TyDe的一部分）
受邀演讲和元理论会议主席（TyDe的一部分）
小组讨论：函数式编程研究
FHPNC轨道内项目委员会的委员会成员
TyDe轨道内组织委员会联合主席
TyDe轨道内项目委员会的共同主席
PLMW@ICFP-track演讲者委员会成员
托马斯·吉尔雷
马里兰大学
第3次会议主席（miniKanren的一部分）
托马斯·吉尔雷
月获得美国亚拉巴马大学伯明翰美国
计划跟踪内组织委员会PC主席
托马斯·吉尔雷
马里兰大学
miniKanren赛道项目委员会委员
Gissurarson，Matthías Páll
瑞典查尔默斯理工大学瑞典
HoleFitPlugins和GHC交互开发的未来
安德烈斯·戈恩斯
STCLang：作为一元数据流并行性基础的状态线程组合
Gonçalves，四月
丹麦罗斯基勒大学
游戏和图形会议主席（FARM的一部分）
FARM项目委员会委员
ICFP研究工件轨道内工件评估委员会委员
Alwyn Goodloe
NASA兰利研究中心
Copilot 3.0：无人机Haskell运行时验证框架
戈登，杰玛
剑桥大学
经验会议主席（OCaml的一部分）
2019年OCaml平台
谢尔盖·戈拉奇
利用Lift生成高效的FFT GPU码
伊万·戈托夫奇茨
卡内基梅隆大学美国
OCaml轨道项目委员会委员
丹尼尔·格拉泽
奥胡斯大学丹麦
实现模态相关类型理论
克里斯蒂安·乌尔达尔·格劳伦德
哥本哈根IT大学
Simply RaTT:一种无空间泄漏的反应式规划的Fitch-style模态演算
凯瑟琳·格雷（Kathryn E.Gray）。
脸谱网大不列颠联合王国
PLMW在PLMW@ICFP-track的组织委员会中担任联合主席
迈克尔·格林伯格
波莫纳学院
ICFP研究论文轨道外部审查委员会委员
鲁迪·格林伯格
OCaml实验室
MirageOS 4：针对外来目标的实用构建系统的曙光
格罗夫·亨尼赫·巴勒莫，萨拉
FARM轨道内项目委员会的委员会成员
阿德里安·瓜托
巴黎迪德罗大学IRIF法国
ICFP研究论文轨道外部审查委员会委员
马蒂亚斯·古德曼
IOHK公司德国
ICFP研究工件轨道内工件评估委员会委员
H（H）
珍妮弗·哈克特
英国诺丁汉大学大不列颠联合王国
2019年ICFP组委会研讨会联席会议
Call-By-Need是敏锐的Call-By价值观
Haskell轨道项目委员会委员
ICFP研究论文轨道外部审查委员会委员
安德烈亚斯·海伯伦
美国宾夕法尼亚大学
Fuzzi：差异隐私的三层逻辑
西蒙·哈夫纳
使用Scala折叠/展开
尤里安·哈格
荷兰乌得勒支大学
Haskell编译器氦的状态更新
霍尔，玛丽
犹他大学
FHPNC轨道内项目委员会的委员会成员
威廉·T·哈拉汉。
耶鲁大学
G2Q:Haskell约束求解
Aliya Hameer
麦吉尔大学
使用自动评分教授函数编程艺术（经验报告）
凯文·哈姆伦
美国德克萨斯大学达拉斯分校
趣味性和多样性的关系处理：用miniKanren关系模拟CPU
韩燕
剑桥大学
用前缀树分析音乐
马丁·汉德利。
英国诺丁汉大学
ICFP研究工件轨道内工件评估委员会委员
约瑟夫·哈里森
英国肯特大学大不列颠联合王国
Erlang/OTP行为的运行时类型安全
桥本俊吉
GREE公司。
走向Hasktorch 1.0：自动生成C++Libtorch绑定（扩展抽象）
凯尔·赫德利
月获得美国亚拉巴马大学伯明翰美国
可视化抽象抽象机器
苏内·赫尔弗里茨
哥本哈根大学
为GPU编译通用直方图（扩展摘要）
杰森·赫曼
美国印第安纳大学
方案轨道内组织委员会PC成员
miniKanren-track项目委员会委员
乔·亨德里克斯
Galois公司。
行业中的依赖型Haskell（经验报告）
亨莱因，弗里茨
哥本哈根大学（DIKU）和Deon Digital计算机科学系丹麦
阵列会议主席（FHPNC的一部分）
FHPNC轨道内项目委员会的委员会成员
特洛伊尔斯·亨利克森
丹麦哥本哈根大学丹麦
为GPU编译通用直方图（扩展摘要）
Futhark的作文深度学习
ICFP研究论文轨道外部审查委员会委员
Heo，Kihong先生
美国宾夕法尼亚大学美国
ICFP研究工件轨道内工件评估委员会委员
丹尼尔·希勒斯特罗姆
爱丁堡大学大不列颠联合王国
ICFP研究工件轨道内工件评估委员会委员
托本·霍夫曼
爱尔兰轨道内项目委员会中的项目委员会
埃里克·霍克
谷歌
miniKanren-track项目委员会委员
荷兰，内森
O（1）实验室
使用OCaml构建简洁区块链的经验教训
赫里ţcu，Cătălin
Inria巴黎法国
Dijkstra全民单打
Huang，自闭症
走向Hasktorch 1.0：自动生成C++Libtorch绑定（扩展抽象）
迈克尔·休森
IOHK公司美国
ICFP研究工件轨道内工件评估委员会委员
Chung Kil呼
首尔国立大学韩国
ICFP研究论文轨道外部审查委员会委员
格雷厄姆·赫顿
英国诺丁汉大学大不列颠联合王国
Call-By-Need是敏锐的Call-By价值观
汉斯·Höglund
Tweag输入/输出
FARM项目委员会委员
我
罗伯托·伊鲁萨利姆西
PUC-里约巴西
ICFP研究论文轨道外部审查委员会委员
Atsushi Igarashi
日本京都大学日本
2019年ICFP指导委员会在逃成员
ML轨道内项目委员会的委员会成员
肖恩·伊内斯
布里斯托尔大学
Tic-Tac类型（功能珍珠）
J型
米查尔·加伊达
使用DataHaskell、JSON AutoType和XML TypeLift创建ETL管道
科恩·雅各布斯
KU鲁汶
如何做证明？实际证明有效程序结果的属性（函数珍珠）
戴维·杰宁
波尔多INP/CNRS LaBRI/波尔多大学法国
音乐一代会议主席（哥伦比亚革命武装力量的一部分）
IO monad中的尖叫声
FARM项目委员会委员
帕特里克·詹森
查尔默斯理工大学瑞典
序列决策问题的代数
毛罗·贾斯克利奥夫
阿根廷CONICET阿根廷
单子变形金刚和模代数效应：是什么将它们结合在一起
Jeannin、Jean-Baptiste
美国密歇根大学
使用Rational Coinductive流编程
杰弗里，艾伦
Mozilla研究美国
2019年ICFP指导委员会劳资关系主席
2019年ICFP组委会劳资关系主席
兰吉特·贾拉
加州大学圣地亚哥分校美国
ICFP研究论文轨道外部审查委员会委员
赵金旭
高阶多态类型推理的机械形式化
马克·琼斯
波特兰州立大学
2019年ICFP指导委员会ICFP’17项目主席
雅克·亨利·乔尔丹
CNRS、LRI、巴黎大学南部法国
ML轨道内项目委员会的委员会成员
ICFP研究论文轨道项目委员会委员
拉尔夫·荣格
MPI-SWS公司德国
验证编译会议主席（ICFP研究论文的一部分）
ICFP研究论文轨道外部审查委员会委员
K（K）
奥哈德·卡玛
爱丁堡大学大不列颠联合王国
ICFP研究论文轨道外部审查委员会委员
Ta-Chu Kao
剑桥大学工程系计算与生物学习实验室
猫头鹰：让ODE成为头等猫头鹰公民
乔治·卡拉查利亚斯
比利时鲁汶大学比利时
双向类型类实例
继续，安迪
思科系统公司
下午主题演讲
在Chez方案上重建支架（经验报告）
方案跟踪内组委会PC成员
瑞典凯德尔
JGU美因茨德国
ICFP研究工件轨道内工件评估委员会委员
香塔尔·凯勒
南巴黎大学LRI法国
TyDe轨道内项目委员会的委员会成员
加布里埃尔·凯勒
荷兰乌得勒支大学澳大利亚
正交基会议主席（FHPNC的一部分）
验证会议主席（FHPNC的一部分）
FHPNC轨道内项目委员会的委员会成员
凯利，汤姆
OCaml实验室
OCaml编译器基准测试：我们的经验
安德鲁·肯尼迪
Facebook伦敦大不列颠联合王国
ICFP研究论文轨道项目委员会委员
安东·科洛米奥夫
HXR团队
Csound表达式：用于计算机音乐的Haskell框架
奥列格·基塞利约夫
让（rec）插入没有效果、灯光或魔法
ICFP研究论文轨道外部审查委员会委员
亲吻，Csongor
伦敦帝国理工学院大不列颠联合王国
上下文中的多阶段程序
Haskell中的高阶类型级编程
安德烈亚斯·克莱宾格
标记标记：推断编译时指针标记的存在。
费利克斯·克莱恩
萨尔大学德国
合成功能性反应程序
Ko，Hsiang Shang“乔希”
日本国家信息学研究所台湾
TyDe轨道内项目委员会的委员会成员
ICFP研究论文轨道外部审查委员会委员
温·科克
爱丁堡大学大不列颠联合王国
ICFP学生研究竞赛海报和演示评委委员会成员
ICFP学生研究竞赛项目委员会委员
ICFP研究工件轨道内工件评估委员会委员
叶卡捷琳娜·科门丹茨卡亚
英国赫里奥特·沃特大学
TyDe轨道内项目委员会的委员会成员
柴塔尼亚·科帕卡
印第安纳大学美国
Gibbon编译器：加速Haskell的一小部分
伊戈尔·科佩森斯基
鲁汶天主教大学比利时
Erlang是边缘物联网上弹性通用应用程序的支持技术
乔米·科库特
美国普林斯顿大学美国
闪电对话：从Coq指挥Emacs
Paulette Koronkevich
不列颠哥伦比亚大学
Reigniting Fuse，一种方案的在线部分评估器
内尔·克里希纳斯瓦米
剑桥大学计算机实验室
使用前缀树分析音乐
罗伯特·克鲁克
查尔默斯理工大学
序列决策问题的代数
秋叶久保田
FARM项目委员会委员
巴斯蒂安·科普克
穆斯特大学
利用Lift生成高效的FFT GPU码
我
托比恩拉格
哥德堡大学哲学、语言学和科学理论系
爱尔兰人网络序言简介
朱利安·兰格
肯特大学大不列颠联合王国
爱尔兰轨道内项目委员会中的项目委员会
维克托·兰文
法国巴黎迪德罗大学IRIF法国
2019国际大学生志愿者联合会组委会
ICFP学生志愿者跟踪委员会中的学生志愿者联合主席
雅各布·莱切纳
RUAG空间奥地利有限公司
航天器控制程序的正式验证：经验报告
雷、穆
gLua:Scheme中的现代Lua输送器
Daan Leijen
微软研究院，美国美国
ICFP研究论文轨道项目委员会委员
利奥，约翰
哈尔法亚研究美国
演示：通过构造进行对抗
鲁道夫·勒皮格雷
马克斯·普朗克软件系统研究所德国
ICFP研究工件轨道内工件评估委员会委员
泽维尔·勒罗伊
法国大学法国
邀请的谈话
尼古拉斯·刘申科（Nicholas V.Lewchenko）。
科罗拉多大学波德分校美国
复制数据存储的顺序编程
安大略省Lhoták
滑铁卢大学加拿大
ICFP研究论文轨道外部审查委员会委员
丹尼尔·李卡塔（Daniel R.Licata）。
卫斯理大学美国
ICFP研究论文轨道外部审查委员会委员
维伦·本杰明·利佩尔特
英国肯特大学大不列颠联合王国
使用线性和分级模式类型的细粒度程序推理
分级模态类型的定量程序推理
亚当·林德伯格
Peer Stritzinger股份有限公司德国
缩放Erlang分布
伯特·林登霍维斯
杜兰大学
混合线性和非线性递归类型
萨姆·林德利
爱丁堡大学和伦敦帝国理工学院大不列颠联合王国
面向效果处理程序的编程
（TyDe表示）FreezeML：一类多态性的完整且简单的类型推断
FreezeML：一类多态的完备且简单的类型推断
PLMW@ICFP-track演讲者委员会成员
本·利普梅耶
澳大利亚新南威尔士州澳大利亚
ICFP 2019组委会文物评估联合主席
ICFP研究工件轨道内工件评估委员会联合主席
刘凤云
EPFL，瑞士瑞士
ICFP研究工件轨道内工件评估委员会委员
彼得·洛佐夫
圣彼得堡国立大学
搜索问题的关系解释器
Lu，Kuang-Chen先生
美国印第安纳大学台湾
使用公平搜索策略实现miniKanren
卢卡，爱奥
斯特拉斯克莱德大学罗马尼亚
OCaml的Idris外部函数接口
乔治·卢基亚诺夫
英国纽卡斯尔大学大不列颠联合王国
航天器控制程序的正式验证：经验报告
选择性应用函数
吉尔莫·伦德奎斯特。
趣味性和多样性的关系处理：用miniKanren关系模拟CPU
M（M）
马维西
使用公平搜索策略实现miniKanren
阿尼尔·马达瓦佩迪
OCaml实验室大不列颠联合王国
MirageOS 4：针对外来目标的实用构建系统的曙光
2019年OCaml平台
肯吉·梅拉德
Inria Paris和ENS Paris
Dijkstra全民单打
所罗门州缅因州
宾夕法尼亚大学
合成对称透镜
大陆，杰弗里
美国德雷塞尔大学
ICFP研究论文轨道外部审查委员会委员
Cyprien Mangin公司
重新加载的方程：高水平依赖型函数规划和Coq中的证明
西蒙·马洛
脸谱网
2019年ICFP组委会伪品评估副主席
选择性应用函数
ICFP研究论文轨道外部审查委员会委员
ICFP研究工件轨道内工件评估委员会联合主席
Marntirosian，科尔
KU鲁汶比利时
类型类解析的一致性
吉多·马丁内斯
CIFASIS-CONICET，阿根廷阿根廷
Dijkstra全民单打
ICFP研究工件轨道内工件评估委员会委员
古斯塔沃·E·马萨切西。
布宜诺斯艾利斯大学
在Chez方案上重建支架（经验报告）
松田和川
日本东北大学日本
Haskell轨道项目委员会委员
ICFP学生研究竞赛项目委员会委员
ICFP研究论文轨道项目委员会委员
Kiminori松崎
日本高知理工大学日本
FHPNC轨道内项目委员会的委员会成员
哈坎·马特森
Lux-一个用Erlang编写的类似预期的测试工具
米凯拉·梅耶罗
巴黎大学LIPN 13法国
科学计算程序的形式验证
康纳·麦克布莱德
立方体、猫、效果
特雷弗·L·麦克唐纳。
荷兰乌得勒支大学荷兰
主题演讲
Haskell轨道项目委员会委员
汉内斯·梅内特
OCaml轨道项目委员会委员
克里斯托弗·梅克尔约翰
卡内基梅隆大学美国
爱尔兰轨道内项目委员会中的项目委员会
奥雷斯蒂斯·梅尔科尼安
荷兰乌得勒支大学希腊
音乐作为语言：善用概率时间图语法
音乐模式由什么构成？
扩展UTxO模型的形式化研究
大流士·麦卡迪尔
巴黎索邦大学-UPMC大学06
ICFP研究工件轨道内工件评估委员会委员
丹尼斯·梅里高克斯
印度法国
ICFP研究工件轨道内工件评估委员会委员
塞巴斯蒂安·梅尔
Peer Stritzinger股份有限公司
缩放Erlang分布
克劳迪奥·安塔雷斯·梅齐纳
爱尔兰轨道内项目委员会中的项目委员会
杰西·米歇尔
麻省理工学院
通过精确的实数算法和连续性建立健全可靠的实体模型
克里斯托夫·米钦斯基
雪城大学美国
计划跟踪内组织委员会总主席
在计划跟踪范围内担任组委会主席
可能吧，马修
阿拉巴马大学伯明翰分校|哈佛医学院美国
一阶miniKanren表示：非常适合工具和搜索
安德斯·米尔特纳
普林斯顿大学
合成对称透镜
维克托·卡奇亚里·米拉尔多
荷兰乌得勒支大学
一种有效的类型安全结构区分算法
Mislove，迈克尔
杜兰
混合线性和非线性递归类型
阿古斯汀·米斯塔
查尔默斯理工大学瑞典
ICFP研究工件轨道内工件评估委员会委员
叶夫根尼·莫伊申科
miniKanren的构造性否定
安德烈·莫霍夫
英国纽卡斯尔大学大不列颠联合王国
小组讨论：函数式编程研究
航天器控制程序的正式验证：经验报告
选择性应用函数
PLMW@ICFP-track演讲者委员会成员
斯特凡·莫尼尔
蒙特勒大学
感应式解构
月亮，大卫
Well类型表达式的灵活结构编辑
Livelits：用活动图形用户界面填充类型的孔洞
赤马森田
东京大学日本
代数化简的Lambda微积分用于等式推理的约简并行
ICFP研究论文轨道外部审查委员会委员
J.Garrett莫里斯
美国堪萨斯大学美国
TyDe轨道内项目委员会的委员会成员
穆申成
中国科学院，台湾
ICFP研究论文轨道外部审查委员会委员
费利克斯·穆德
二郎赛道内项目委员会中的项目委员会
斯特凡·穆勒。
卡内基梅隆大学美国
响应并行中的公平
纪尧姆·蒙奇·马卡尼诺
Inria公司法国
类型化指针反转的高效解构
ICFP研究论文轨道外部审查委员会委员
梅萨罗斯、阿伦·阿提拉
厄特沃斯·洛兰大学
支持Erlang中绿色计算的工具
安德斯·莫特伯格
斯德哥尔摩大学数学系瑞典
立方Agda：一种具有单价和更高归纳类型的依赖类型编程语言
莫格尔贝里，拉斯穆斯·埃杰勒斯
哥本哈根IT大学丹麦
Simply RaTT:一种无空间泄漏的反应式规划的Fitch-style模态演算
N个
Yutaka长岛
Data61，澳大利亚
Poly/ML中的机器学习归纳法
纳吉，格吉利
厄特沃斯·洛兰大学
支持Erlang中绿色计算的工具
普拉文·纳拉亚南
美国印第安纳大学
从高级推理算法到高效代码
Ryan R.牛顿。
印第安纳大学美国
Gibbon编译器：加速Haskell的一小部分
验证的守法类型类实例的通用和灵活默认值
鲁米亚纳内科娃
布鲁内尔大学大不列颠联合王国
爱尔兰轨道内项目委员会中的项目委员会
Nguyễn，Kim（金·阮）
法国巴黎大学
ICFP研究论文轨道外部审查委员会委员
Yuki西田
京都大学
ICFP研究工件轨道内工件评估委员会委员
乌尔夫诺雷尔
歌德堡大学瑞典
ICFP研究论文轨道外部审查委员会委员
费利佩·伊格纳西奥·诺列加
机器人影院电子
兰姆达的声音
安德烈亚斯·努伊茨
比利时鲁汶大学比利时
如何做证明？实际证明有效程序结果的属性（函数珍珠）
使用依赖类型推理效果参数
博尔迪扎尔·内梅特
罗兰大学
使用源插件
O（运行）
迈克尔·F·P·奥博伊尔。
爱丁堡大学
用于程序综合的增强型签名
利亚姆·奥康纳
新南威尔士州澳大利亚
推迟详细信息和派生程序
欧安莎，科斯敏
丹麦哥本哈根大学丹麦
为GPU编译通用直方图（扩展摘要）
加速美式期权定价蒙特卡罗模拟的函数方法（扩展摘要）
Atsushi Ohori
日本东北大学
ICFP研究论文轨道外部审查委员会委员
布鲁诺·C·d·S·奥利维拉。
香港大学香港
高阶多态类型推理的机械形式化
ICFP研究论文轨道项目委员会委员
塞勒斯·奥马尔
芝加哥大学美国
Well类型表达式的灵活结构编辑
Livelits：用活动图形用户界面填充类型的孔洞
ML轨道内项目委员会的委员会成员
ICFP研究工件轨道内工件评估委员会委员
多米尼克·乌节
英国肯特大学大不列颠联合王国
使用线性和分级模式类型的细粒度程序推理
分级模态类型的定量程序推理
彼得·迈克尔·奥塞拉
格林奈尔学院美国
基于约束的类型定向程序综合
克劳斯·奥斯特曼
德国图宾根大学德国
ICFP研究论文轨道项目委员会委员
利奥·奥斯瓦尔德
美国普渡大学
编译时使用延续，还是不使用？无论什么。
P（P）
佩奇，雷克斯
俄克拉荷马大学
ICFP研究论文轨道外部审查委员会委员
延斯·帕尔斯伯格
加利福尼亚大学，洛杉矶
SIGPLAN 2019 ICFP指导委员会主席
佐伊州Paraskevopoulou
普林斯顿大学美国
类型会议主席（ICFP研究论文的一部分）
第3次会议主席（ML的一部分）
小组讨论：函数式编程研究
闭合转换对空间来说是安全的
ML轨道内项目委员会的委员会成员
ICFP研究论文轨道外部审查委员会委员
PLMW@ICFP-track演讲者委员会成员
卡琳娜·帕拉曼
西英格兰大学
界面乐趣（用于音乐表达的SVG界面）
格兰特·帕斯莫尔
Imandra公司。
主旨：Imandra自动推理系统简介
丹尼尔·帕特森
东北大学美国
下一个700编译器正确性定理。功能珍珠。
科恩·鲍威尔
KU鲁汶
双向类型类实例
沃伊西奇·米查尔·保拉克（Wojciech Michal Pawlak）
丹麦哥本哈根大学丹麦
加速美式期权定价蒙特卡罗模拟的函数方法（扩展摘要）
詹妮弗·佩金
Galois公司。美国
类型理论会议主席（ICFP研究论文的一部分）
ICFP研究论文轨道项目委员会委员
钢笔，Andor
为您编写一个mini-GRIN，一个用于惰性和严格FP语言的统一编译器后端。
伊万·佩雷斯
NIA/NASA正式方法
Haskell中的手机游戏编程
Copilot 3.0：无人机Haskell运行时验证框架
Haskell轨道项目委员会委员
西蒙·佩顿·琼斯
微软，英国
小组讨论：函数式编程研究
GHC状态报告
使用扩展类型制作更快的咖喱
Haskell中的高阶类型级编程
函数数组处理语言中的高效可微程序设计
PLMW@ICFP-track演讲者委员会成员
弗兰克·芬宁
美国卡内基梅隆大学
ICFP研究论文轨道项目委员会委员
马修·皮克林
布里斯托尔大学大不列颠联合王国
配置，但不带CPP
GHC 8.8中的HIE文件
上下文中的多级程序
使用源插件
碧姬·品特卡
麦吉尔大学
使用自动评分教授函数编程艺术（经验报告）
本杰明·皮尔斯。
宾夕法尼亚大学美国
2019年ICFP指导委员会SIGPLAN副主席
Fuzzi：差异隐私的三层逻辑
合成对称透镜
弗兰克·皮森斯
KU鲁汶
用于分离逻辑验证代码的完全抽象编译的线性功能
伊戈尔·皮科维茨
申请会议主席（OCaml的一部分）
OCaml轨道项目委员会委员
马西耶·皮罗格
Wrocław大学波兰
莫纳德变换器和模代数效应：是什么将它们结合在一起
鲁齐卡皮斯卡
美国耶鲁大学
合成功能性反应程序
G2Q:Haskell约束求解
Pit-Claudel，Clément公司
麻省理工学院CSAIL
Narcissus：从二进制格式中导出正确的解码器和编码器
费德里科·皮苏蒂
爱丁堡大学
位置相关阵列及其在高性能代码生成中的应用
卢卡斯·普卢维纳奇
巴黎高等师范学院法国
MirageOS 4：针对外来目标的实用构建系统的曙光
纳迪亚·波里卡波娃
加州大学圣地亚哥分校美国
Haskell轨道项目委员会委员
ICFP研究论文轨道外部审查委员会委员
弗朗索瓦·波蒂埃
法国Inria法国
2019年ICFP指导委员会ICFP’19项目主席
2019年ICFP组委会项目主席
星期二主题演讲的会议主席（ICFP主题演讲和报告的一部分）
周三主题演讲的会议主席（ICFP主题演讲和报告的一部分）
项目主席报告
ICFP研究论文项目委员会项目主席
乔纳森·普罗岑科
微软研究院，雷蒙德美国
Lambda-微积分与教学会议主席（ICFP研究论文的一部分）
ICFP研究论文轨道外部审查委员会委员
皮埃尔·马里·佩德罗
印度
一种合理的例外类型理论
问
瞿伟浩
纽约州立大学布法罗分校
功能强制程序的关系成本分析
快，多尼亚
史蒂文斯理工学院美国
现场编码会议主席（FARM的一部分）
爵士乐即兴创作的功能模型
FARM-轨道组织委员会总主席
R（右）
杜鹃花拉德
MPI-SWS，德国大不列颠联合王国
ICFP学生研究竞赛项目委员会委员
阿琼·拉德哈克利什纳
微软
复制数据存储的顺序编程
雷尼，迈克
美国印第安纳大学美国
ICFP研究论文轨道项目委员会委员
诺曼·拉姆齐
塔夫茨大学美国
Haskell轨道项目委员会委员
特里斯坦·拉维奇
Galois公司。
行业中的依赖型Haskell（经验报告）
指责，内森
塔里德斯
OCaml PPX的未来：走向一个统一、更强大的生态系统
任爱丽丝
乌特勒支大学
FARM项目委员会委员
内森·雷尼
英国西部大学
界面乐趣（用于音乐表达的SVG界面）
约翰·雷皮
芝加哥大学
编译后续ML模式保护
阿尔班·雷纳德
里昂高等师范学院
值递归的从右向左类型系统
汤姆·里奇
英国莱斯特大学
OCaml的键值存储
Kenji Rikitake公司
Kenji Rikitake专业工程师办公室
爱尔兰轨道内项目委员会中的项目委员会
亚当·林伍德
结束游戏
Makecloud：现代时代简单、快速、健壮的CI/CD
诺曼·A·林克。
德国德累斯顿大学
STCLang：作为一元数据流并行性基础的状态线程组合
埃克塞奎尔·里瓦斯
Inria巴黎
Dijkstra全民单打
克里斯汀·里兹卡拉
新南威尔士州悉尼澳大利亚
论文会议主席第5次会议：FRP（Haskell的一部分）
Haskell轨道项目委员会委员
蒂亚克·隆普夫
普渡大学美国
编译时使用延续，还是不使用？无论什么。
解密可微编程：移位/重置倒数第二个反向传播算子
ICFP研究论文轨道外部审查委员会委员
格雷戈里·罗森布拉特
一阶miniKanren表示：非常适合工具和搜索
安德烈亚斯·罗斯伯格
Dfinity基金会德国
2019年ICFP指导委员会在逃成员
第2次会议主席（ML的一部分）
ML轨道内项目委员会的委员会成员
ICFP研究论文轨道外部审查委员会委员
亚伦·罗斯
美国宾夕法尼亚大学
Fuzzi：差异隐私的三层逻辑
江户·罗斯
宾夕法尼亚大学
Fuzzi：差异隐私的三层逻辑
德米特里·罗兹普洛哈斯
miniKanren的认证语义
亚历杭德罗·拉索
瑞典查尔默斯理工大学阿根廷
ICFP学生研究竞赛海报和演示评委委员会成员
ICFP学生研究竞赛项目委员会委员
柳，苏京
韩国KAIST韩国
ICFP’21 2019年ICFP指导委员会总主席
托马斯·雷菲斯
OCaml轨道项目委员会委员
S公司
Sagemüller，尤斯图斯
挪威西部应用科学大学挪威
基于小波基的无穷维函数空间中的惰性评价
萨戈纳斯、康斯坦蒂诺斯（Kostis）
瑞典乌普萨拉大学瑞典
ICFP研究论文轨道外部审查委员会委员
亚历克斯·桑切斯·斯特恩
加州大学圣地亚哥分校美国
ICFP研究人工制品轨道内人工制品评估委员会委员
马克·桑托卢西托
美国耶鲁大学
合成功能性反应程序
阿比罗普·萨卡尔
查尔默斯理工大学
Hailstorm：用于系统编程的静态类型函数语言（扩展抽象）
安娜贝尔，萨廷
P.C.K.公司。
2019年ICFP组委会会议经理
加布里埃尔·谢勒
INRIA Saclay公司法国
第4次会议主席（ML的一部分）
值递归的从右向左类型系统
阿兰·施密特
Inria公司
Necro:动画骨骼
克里斯托夫·斯科利尔斯
比利时根特大学
2019年ICFP组委会研讨会联席会议
汤姆·施里杰弗斯
KU鲁汶
双向类型类实例
单子变形金刚和模代数效应：是什么将它们结合在一起
类型类解析的一致性
高阶多态类型推理的机械形式化
瑞安·斯科特
美国布卢明顿印第安纳大学美国
可见相关量化
验证的守法类型类实例的通用和灵活默认值
埃里克·塞德尔
彭博社美国
论文会议主席会议3：SMT&Arity（Haskell的一部分）
Haskell轨道项目委员会委员
芝山、芋头
国家信息学研究所日本
ICFP研究工件轨道内工件评估委员会委员
伊利亚·谢尔盖
Yale-NUS学院和新加坡国立大学新加坡
2019年ICFP组委会节目竞赛组织者
功能编程无处不在
编程竞赛报告
PLMW@ICFP-track演讲者委员会成员
马塞洛·斯里
格罗宁根大学伯努利数学、计算机科学和人工智能研究所
猫头鹰：让ODE成为头等猫头鹰公民
亚历杭德罗·塞拉诺
荷兰乌得勒支大学荷兰
Haskell轨道项目委员会委员
尼尔斯·G·W·塞鲁普。
哥本哈根大学DIKU丹麦
为GPU编译通用直方图（扩展摘要）
阿米尔·谢赫哈
牛津大学
函数数组处理语言中的高效可微程序设计
Shan、Chung-chieh
美国印第安纳大学
从高级推理算法到高效代码
TyDe轨道内项目委员会的委员会成员
ICFP研究论文轨道项目委员会委员
夏皮罗，R.本杰明
科罗拉多大学博尔德分校美国
Well类型表达式的灵活结构编辑
蒂姆·谢尔德
波特兰州立大学
TyDe轨道内项目委员会的委员会成员
玛丽·希兰
ICFP 2019指导委员会全体成员
Hailstorm：用于系统编程的静态类型函数语言（扩展抽象）
高速安全：通过安全地重新使用存储从纯功能程序生成的就地数组算法
学术界的性别平等：迎接挑战
FHPNC轨道内项目委员会的委员会成员
本杰明·谢尔曼
美国麻省理工学院美国
通过精确的实数运算和连续性进行稳健的实体建模
希弗斯，奥林
美国东北大学
计划跟踪内组织委员会指导委员会成员
司旭杰
宾夕法尼亚大学
ICFP研究工件轨道内工件评估委员会委员
杰西·西格尔
爱丁堡大学大不列颠联合王国
GSoC学生报告2
萨特南·辛格
谷歌研究美国
小组讨论：函数式编程研究
Haskell大规模使用和滥用
Haskell大规模使用和滥用
PLMW@ICFP-track演讲者委员会成员
西瓦拉马克里希南，KC
马德拉斯分校印度
第1课时的课时主席（ML的一部分）
ML轨道内组织委员会主席
ML轨道内项目委员会主席
OCaml轨道内项目委员会的委员会成员
ICFP研究论文轨道外部审查委员会委员
米查尔·斯拉斯基
Erlang解决方案有限公司。波兰
面向Erlang系统的在线评测
尼古拉斯·斯莫尔博内
瑞典查尔默斯理工大学
高速安全：通过安全地重新使用存储从纯功能程序生成的就地数组算法
ICFP研究论文轨道外部审查委员会委员
卡尔文·史密斯
威斯康辛大学麦迪逊分校美国
综合不同的私人项目
索索、马蒂厄
Inria公司法国
重新加载的方程：高水平依赖型函数规划和Coq中的证明
ICFP研究论文轨道外部审查委员会委员
斯波尔，莎拉
印第安纳大学
在Chez方案上重建支架（经验报告）
迈克尔·斯珀伯
Active Group股份有限公司德国
函数编程教学
功能软件体系结构
FARM-轨道内组织委员会的绩效协调
萨姆·斯塔顿
牛津大学
ICFP研究论文轨道项目委员会委员
利奥·斯特凡内斯科
IRIF、巴黎迪德罗大学和CNRS法国
ICFP研究工件轨道内工件评估委员会委员
多米尼克·斯坦尼茨
Tweag输入/输出大不列颠联合王国
机器学习会议主席（FHPNC的一部分）
加速会议主席（FHPNC的一部分）
FHPNC赛道内组委会的组织者
乔纳森·斯特林
卡内基梅隆大学
实现模态相关类型理论
米歇尔·施特沃
格拉斯哥大学大不列颠联合王国
利用Lift生成高效的FFT GPU码
位置相关阵列及其在高性能代码生成中的应用
萨姆·斯蒂斯
森特奈美国
走向Hasktorch 1.0：自动生成C++Libtorch绑定（扩展抽象）
昆廷·斯蒂文娜特
比利时布鲁塞尔Vrije大学比利时
ICFP研究工件轨道内工件评估委员会委员
简·斯托拉雷克
英国爱丁堡大学大不列颠联合王国
（TyDe表示）FreezeML：一类多态性的完整且简单的类型推断
FreezeML：一类多态的完备且简单的类型推断
施特林格，佩尔
Peer Stritzinger股份有限公司
缩放Erlang分布
二郎生态基金会简介
Pierre-Yves支柱
Ecole理工学院法国
ICFP研究论文轨道项目委员会委员
桑德罗·斯塔基
查尔默斯|哥德堡大学瑞典
ICFP研究论文轨道外部审查委员会委员
沙利文，扎卡里
使用扩展类型制作更快的咖喱
埃希罗·苏米
东北大学
TyDe轨道内项目委员会的委员会成员
苏拉威特·苏里亚卡恩
Narcissus：从二进制格式中导出正确的解码器和编码器
汉斯·斯文森
Quviq AB公司
通过跟踪安全协议获得信任
沃特，斯维尔斯特拉
荷兰乌得勒支大学荷兰
音乐模式由什么构成？
扩展UTxO模型的形式化研究
通用枚举器
效果的谓词变换语义（Functional Pearl）
一种有效的类型安全结构区分算法
唐·赛姆
微软
ICFP研究论文轨道外部审查委员会委员
Dmitrij，Szamozvancev
剑桥大学
FARM项目委员会委员
吨
尼古拉斯·塔巴鲁
Inria公司法国
合理例外类型理论
埃里克·坦特
智利和巴黎Inria大学智利
Dijkstra全民单打
合理例外类型理论
渐进相关类型的近似规范化
扎卡里·塔特洛克
西雅图华盛顿大学美国
ICFP研究论文轨道外部审查委员会委员
托马斯·凯兰德
史蒂文斯理工学院
爵士即兴演奏的功能模型
阿明·蒂曼尼
imec-Distrinet KU-Luven公司比利时
具有连续性的并发程序的机械化关系验证
ICFP研究工件轨道内工件评估委员会委员
收件人：Deifilia
GSoC学生报告1
萨姆·托宾·霍施塔特
印第安纳大学美国
ICFP 2019指导委员会宣传主席
2019年ICFP组委会宣传主席
在Chez方案上重建支架（经验报告）
从高级推理算法到高效代码
方案跟踪内组委会PC成员
ICFP研究论文轨道外部审查委员会委员
阿尼什·吨瓦卡
UCSD公司
ICFP研究工件轨道内工件评估委员会委员
埃米娜·托拉克
华盛顿大学美国
面向所有人的求解器辅助编程
德明·陈
哥本哈根大学DIKU
Futhark的作文深度学习
Trygubenko，精液
用Shake构建C++项目
津田，武士
日本东京大学日本
ICFP研究论文轨道外部审查委员会委员
嘉奈县津岛
日本国家信息学研究所日本
miniKanren-track项目委员会委员
埃米利奥·托斯托
莱斯特大学大不列颠联合王国
爱尔兰轨道内项目委员会中的项目委员会
沃伊切赫·图雷克
AGH科技大学
面向Erlang系统的在线评测
梅琳达·托特
Eötvös Loránd大学信息学院、编程语言与编译系和ELTE-Soft Nonprofit Ltd。匈牙利
支持Erlang中绿色计算的工具
爱尔兰轨道内项目委员会中的项目委员会
U型
塔尔莫乌斯塔卢
雷克雅维克大学冰岛
ICFP研究论文轨道外部审查委员会委员
V（V）
贝诺伊·瓦利隆
巴黎萨克利大学CentraleSupelec LRI法国
ICFP研究论文轨道外部审查委员会委员
贾斯珀·范德杰格特
赋格瑞士
HIW项目委员会委员
Cas范德雷
荷兰乌得勒支大学
通用枚举器
戴维·范霍恩
美国马里兰大学美国
欢迎光临
PLMW在PLMW@ICFP-track的组织委员会中担任联合主席
彼得·范罗伊
鲁汶天主教大学比利时
Erlang是边缘物联网上弹性通用应用程序的支持技术
托马斯·范·斯特里多克
库鲁文
用于分离逻辑验证代码的完全抽象编译的线性功能
尼基·瓦祖
IMDEA软件研究所
主题演讲会主席（Haskell的一部分）
类型和验证
社交活动
HiW’19报告
HIW项目委员会主席
PLMW@ICFP-track演讲者委员会成员
安妮·温伯格
安妮·温伯格
兰姆达的声音
尼科洛·维尔特里
哥本哈根IT大学丹麦
ICFP研究工件轨道内工件评估委员会委员
叶卡捷琳娜·维尔比茨凯亚
俄罗斯圣彼得堡国立大学
搜索问题的关系解释器
奥利维耶·弗迪尔
基于小波基的无穷维函数空间中的惰性评价
安德烈亚·维佐西
查尔默斯理工大学
立方Agda：一种具有单价和更高归纳类型的依赖类型编程语言
Vidal，德语
西班牙瓦伦西亚理工大学西班牙
ICFP研究论文轨道项目委员会委员
安托万·沃伊扎德
宾夕法尼亚大学
Haskell中依赖类型的角色
阿尼亚·沃尔克
荷兰乌得勒支大学
音乐模式由什么构成？
迈克尔·沃尔默
美国印第安纳大学美国
Gibbon编译器：加速Haskell的一小部分
伊恩·沃西
卡内基梅隆大学
Livelits：用活动图形用户界面填充类型的孔洞
安德烈·维亚特金
miniKanren的认证语义
Vytiniotis，迪米特里奥斯
DeepMind公司大不列颠联合王国
函数数组处理语言中的高效可微程序设计
W公司
菲利普·沃德勒
英国爱丁堡大学大不列颠联合王国
Agda编程语言基础
拉詹·瓦利亚
印第安纳大学
从高级推理算法到高效代码
大卫·沃克
普林斯顿大学美国
合成对称透镜
王菲
解密可微编程：移位/重置倒数第二个反向传播算子
王玉婷
耶鲁大学
ICFP研究工件轨道内工件评估委员会委员
魏冠南
普渡大学
ICFP研究工件轨道内工件评估委员会委员
斯蒂芬妮·威里奇
美国宾夕法尼亚大学美国
ICFP’20 2019年ICFP指导委员会总主席
Haskell中依赖类型的角色
山姆·韦斯特里克
卡内基梅隆大学
响应并行中的公平
怀特，利奥
简街
名称移位的语法
Lambda：终极子语言（体验报告）
约翰·威格利
Haskell轨道项目委员会委员
托马斯·维南特
井式有限责任合伙比利时
Haskell轨道项目委员会委员
安迪·温戈
Igalia，S.L.公司。
ICFP研究人工制品轨道内人工制品评估委员会委员
丹尼尔·温诺格拉德·科特
塔吉特美国
项目分析与综合会议主席（ICFP研究论文的一部分）
音乐模式会议主席（FARM的一部分）
ICFP研究论文轨道外部审查委员会委员
FARM赛道组织委员会项目主席
尼古拉斯·吴
伦敦帝国理工学院大不列颠联合王国
Tic-Tac类型（功能珍珠）
单子变形金刚和模代数效应：是什么将它们结合在一起
上下文中的多级程序
使用源插件
ICFP研究论文轨道外部审查委员会委员
吴锡伦
普渡大学
解密可微编程：移位/重置倒数第二个反向传播算子
X（X）
谢宁宁
多伦多大学加拿大
元数据会议主席（HIW的一部分）
论文会议主席会议2：验证（Haskell的一部分）
类型类解析的一致性
Haskell轨道项目委员会委员
HIW项目委员会委员
ICFP研究工件轨道内工件评估委员会委员
薛安东
耶鲁大学
G2Q:Haskell约束求解
Y（Y）
杰里米·亚洛普
英国剑桥大学
让（rec）插入没有效果、灯光或魔法
值递归的从右向左类型系统
Lambda：终极子语言（体验报告）
Yuji山本
日本IIJ创新研究所日本
闪电对话：使用IxApplicative模拟绑定
叶千川
普渡大学
Narcissus：从二进制格式中导出正确的解码器和编码器
布伦特·约基
亨德里克斯学院美国
GHC会议主席（HIW的一部分）
HIW轨道内项目委员会的委员会成员
杨海莉
宾夕法尼亚大学
FARM项目委员会委员
Ki Yung Ahn
汉南大学韩国
论文会议主席第6次会议：效果（Haskell的一部分）
Haskell轨道项目委员会委员
任玉萍、艾丽斯
荷兰乌得勒支大学
音乐模式由什么构成？
Z轴
莫娜·查希尔
芝加哥大学
编译后续ML模式保护
弗拉基米尔·扎姆德日耶夫
Inria Nancy公司法国
混合线性和非线性递归类型
史蒂夫·兹丹塞维奇
宾夕法尼亚大学美国
合成对称透镜
克里斯蒂娜·泽勒
基拉工作室有限公司
Haskell中的手机游戏编程
乔恩·泽皮耶里
在Chez方案上重建支架（经验报告）
张恒初
宾夕法尼亚大学
Fuzzi：差分隐私的三级逻辑
张丽萨
多伦多大学
第2次会议主席（miniKanren的一部分）
一阶miniKanren表示：非常适合工具和搜索
赵建新
剑桥大学
在GPU和TPU上执行猫头鹰计算
郑丹
普渡大学，谷歌大脑
解密可微编程：移位/重置倒数第二个反向传播算子
马可·佐卡
库比恩AB公司DataHaskell瑞典
FHPNC赛道内组织委员会的组织主席
Å
奥赫斯，Cons T
思科瑞典公司
Lux-一个用Erlang编写的类似预期的测试工具
Ç
埃兹吉·切克
Facebook伦敦大不列颠联合王国
ICFP研究论文轨道项目委员会委员