2018年SPLASH
2018年11月9日星期日至星期五美国马萨诸塞州波士顿

PACMPL(OOPSLA)寻求在编程语言和软件工程的各个方面做出贡献。在PACMLL上发表论文的作者将在波士顿的OOPSLA上展示他们的工作。

论文可以针对软件开发的任何阶段,包括软件系统的需求、建模、原型设计、设计、实现、生成、分析、验证、测试、评估、维护和重用。贡献可能包括开发新工具(如语言前端、程序分析和运行时系统)、新技术(如方法论、设计过程和代码组织方法)、新原则(如形式主义、证明、模型和范式),和新的评估(如实验、语料库分析、用户研究和调查)。

诉讼程序可用联机.

现场直播了SPLASH主题演讲和OOPSLA会谈。远程和现场参与者都使用幻灯片.do现场直播SPLASH主题演讲和OOPSLA会谈。

这些录音可以在youtube上找到:注释记号会谈.

论文

标题
依赖安全标签推理的派生框架
OOPSLA公司
源代码级循环转换对编译器稳定性影响的实证研究
OOPSLA公司
媒体已连接
AnyDSL:高性能库编程的部分评估框架
OOPSLA公司
函数编程赋值逻辑错误的自动诊断与纠正
OOPSLA公司
直接操作的双向评估
OOPSLA公司
BioScript:在芯片实验室上编程安全化学杰出论文奖
OOPSLA公司
可折叠合同:修复渐进式打字的病态
OOPSLA公司
动态分布式系统的组合编程与测试
OOPSLA公司
具有角色的并发软件面向对象编程
OOPSLA公司
链接到出版物内政部
基于版本空间代数的结构化合并冲突解决
OOPSLA公司
跨组件垃圾收集
OOPSLA公司
内政部媒体已连接
DeepBugs:基于名称的Bug检测的学习方法
OOPSLA公司
使用ScalaLoci进行分布式系统开发
OOPSLA公司
群众的效果处理者
OOPSLA公司
使用集成子类型增强并集和交集类型
OOPSLA公司
链接到出版物内政部预打印
每个数据结构都应该进行无锁内存回收
OOPSLA公司
ExceLint:自动查找电子表格公式错误
OOPSLA公司
使用透明字节码转换加快变分执行
OOPSLA公司
在异步JavaScript程序中发现失信的承诺
OOPSLA公司
查找在符号求值下爆炸的代码
OOPSLA公司
FlashProfile:合成数据配置文件的框架
OOPSLA公司
稀疏张量代数编译器的格式抽象
OOPSLA公司
goSLP:全局优化的超字级并行框架
OOPSLA公司
逐步液体类型推断杰出论文奖
OOPSLA公司
GraphIt-高性能图形DSL
OOPSLA公司
用于合成不变量和契约的Horn-ICE学习
OOPSLA公司
确定用子类和状态替换类型代码的重构机会
OOPSLA公司
在数据日志中增量化基于格的程序分析
OOPSLA公司
朱莉娅:动力与性能通过设计协调
OOPSLA公司
茱莉亚亚型:理性重构
OOPSLA公司
内政部媒体已连接
Leto:通过参数化执行模型验证特定于应用程序的容错性
OOPSLA公司
MadMax:在以太坊智能合约中生存杰出论文奖
OOPSLA公司
链接到出版物预打印附加的文件
非易失性内存的面向对象恢复
OOPSLA公司
一种工具,多种语言:带增量参数语法的语言参数转换
OOPSLA公司
发布获取语义下的最优无状态模型检查
OOPSLA公司
动态语言的并行化:同步内置集合
OOPSLA公司
预打印
弱记忆的持久语义
OOPSLA公司
通过数据驱动的上下文隧道实现精确和可扩展的分析点
OOPSLA公司
指针分析的精确引导上下文敏感性
OOPSLA公司
RacerD:合成静态种族检测
OOPSLA公司
预打印
具有概率保证的分布式系统的随机测试杰出论文奖
OOPSLA公司
组合服务的反应式缓存
OOPSLA公司
协调LLVM中的高级优化和低级代码
OOPSLA公司
预打印
通过切片细化对象敏感点以进行分析
OOPSLA公司
关系程序综合
OOPSLA公司
基于Android示例的稳健关系布局合成
OOPSLA公司
通过有界并发验证实现安全复制
OOPSLA公司
作为类型的范围
OOPSLA公司
链接到出版物内政部附加的文件
使用动态信息流控制的安全无服务器计算
OOPSLA公司
ShareJIT:JIT跨进程的代码缓存共享及其实际实现
OOPSLA公司
软件复用:共享库并静态链接它们
OOPSLA公司
链接到出版物内政部预打印
声音死锁预测
OOPSLA公司
加快关系查询的符号推理
OOPSLA公司
动态语言中高阶函数的测试生成
OOPSLA公司
责任的根源:交叉型和联合型合同
OOPSLA公司
线程安全的反应式编程
OOPSLA公司
内政部预打印附加的文件
了解避免空中意外结果的成本
OOPSLA公司
已验证的三路程序合并
OOPSLA公司
并行动态编程语言的虚拟机设计
OOPSLA公司
第一场比赛后发生了什么?增强基于Happens-Before的动态种族检测的预测能力
OOPSLA公司
内政部授权者链接预打印

文件征集

论文发表在《美国计算机学会编程语言学报》(PACMPL)的一期上。PACMPL是一份黄金开放获取期刊,所有论文都将免费提供给公众。作者可以自愿支付文章处理费(400美元),但不需要付款。

论文选择标准

评估论文时,我们考虑以下标准:

新颖性:本文提出了新的想法和结果,并将其适当地放在先前研究建立的背景下。

重要性:该论文有助于该领域知识的进步。我们也欢迎偏离该领域主要轨迹的论文。

证据:本文提供了充分的证据支持其主张,例如证据、实施的系统、实验结果、统计分析、案例研究和轶事。

清晰:本文清楚地介绍了它的贡献、方法和结果。

审查过程

论文的选择采用两阶段的轻量双盲评审流程。这个常见问题解答解决常见问题。

第一个审查阶段使用上述标准评估论文。在该阶段结束时,有条件地接受一组论文。

有条件接受论文的作者必须进行一系列强制性修改。第二个审查阶段评估修订是否已得到解决。预期这些修订可以得到解决,有条件接受的论文将在第二阶段被接受。

第二次提交必须附有一封附信,将每个强制性修订请求映射到论文的特定部分。

提交要求

对于双盲复习论文,必须遵守两条规则:

  1. 作者姓名和机构必须省略、和
  2. 引用作者自己的相关作品时应使用第三人称(例如,不是“我们在以前的工作基础上……”,而是“我们在……的工作基础之上”)。

这个过程的目的是帮助审稿人对论文做出无偏见的初步判断,而不是让他们在尝试时无法发现作者。任何事情都不应该以匿名的名义进行,因为匿名会削弱提交的文件或使审查文件的工作更加困难。

提交文件必须符合ACM作者策略和SIGPLAN重新发布策略。作者需要签署许可证或版权声明。

正式出版日期是会议记录在ACM数字图书馆中发布的日期,可能是会议第一天之前的两周。

工件评估

鼓励有条件接受论文的作者提交支持材料进行人工制品评估。
作者应在初次提交时指出工件是否存在,并描述其性质和限制。

更多信息是在这里.

问题

如需更多信息或问题答案,请写信至oopsla@splashcon.org.

日期
您正在不同于设备时区的时区中查看程序更改时区

11月7日星期三

显示的时区:瓜达拉哈拉,墨西哥城,蒙特雷 改变

10:30 - 12:00
类型和效果OOPSLA公司工作室1
主席:科林戈登德雷塞尔大学
10:30
2200万
谈话
群众的效果处理者
OOPSLA公司
Jonathan Immanuel Brachthä用户德国图宾根大学菲利普·舒斯特德国图宾根大学克劳斯·奥斯特曼德国图宾根大学
10:52
2200万
谈话
通过集成子类型赋予并集和交叉点类型权力
OOPSLA公司
费比安·穆尔博克康奈尔大学罗斯·泰特康奈尔大学
链接到出版物内政部预打印
11:15
2200万
谈话
茱莉亚亚型:理性重构
OOPSLA公司
弗朗西斯科·扎帕·纳德利Inria公司朱莉娅·贝尔亚科娃美国东北大学阿特姆·佩莱尼琴东北大学本杰明·钟东北大学杰夫·贝赞森Julia计算机扬·维泰克东北大学
内政部媒体已连接
11:37
2200万
谈话
作为类型的范围
OOPSLA公司
亨德里克·范安特卫彭荷兰代尔夫特理工大学卡斯珀·巴赫·鲍尔森代尔夫特理工大学阿詹·鲁沃特(Arjen Rouvoet)代尔夫特理工大学埃尔科·维瑟代尔夫特理工大学
链接到出版物内政部附加的文件
10:30 - 12:00
并行性和性能OOPSLA公司工作室2
主席:阿琼·古哈马萨诸塞大学阿默斯特分校
10:30
2200万
谈话
每个数据结构都应该进行无锁内存回收
OOPSLA公司
10点52分
2200万
谈话
动态语言的并行化:同步内置集合
OOPSLA公司
贝诺伊特·达洛泽JKU林茨,奥地利阿里·塔尔以色列理工学院斯特凡·马尔肯特大学汉斯彼得·莫森博克JKU林茨,奥地利埃雷斯·彼得兰克以色列理工学院
预打印
11:15
2200万
谈话
并行动态编程语言的虚拟机设计
OOPSLA公司
雷米吉乌斯·梅耶瑞士苏黎世ETH阿明·里戈PyPy.org,瑞士托马斯·格鲁斯苏黎世ETH
11:37
2200万
谈话
goSLP:全局优化的超字级并行框架
OOPSLA公司
查里斯·门迪斯麻省理工学院CSAIL萨曼·阿马拉辛格麻省理工学院
13:30 - 15:00
安全OOPSLA公司工作室1
主席:托比亚斯·箭牌瑞典乌普萨拉大学
13:30
2200万
谈话
依赖安全标签推理的派生框架
OOPSLA公司
李佩萱宾夕法尼亚州立大学张丹凤宾夕法尼亚州立大学
13:52
2200万
谈话
MadMax:在以太坊智能合约中生存杰出论文奖
OOPSLA公司
内维尔·格雷奇雅典大学迈克尔·孔悉尼大学安东·法利西维克悉尼大学莱克西·布伦特悉尼大学伯恩哈德·舒尔茨澳大利亚悉尼大学亚尼斯·斯马拉格达基斯雅典大学
链接到出版物预打印附加的文件
14:15
2200万
谈话
使用透明字节码转换加快变量执行
OOPSLA公司
Chu-Pan Wong先生卡内基梅隆大学延斯·梅尼基马格德堡大学卢卡斯·拉扎雷克 克里斯蒂安·卡斯特纳卡内基梅隆大学
14:37
2200万
谈话
使用动态信息流控制的安全无服务器计算
OOPSLA公司
卡列夫·阿尔佩纳斯特拉维夫大学科马克·弗拉纳根加州大学圣克鲁斯分校萨贾德·福拉迪斯坦福大学列奥尼德·雷日克VMware研究穆利·萨吉夫特拉维夫大学托马斯·施密茨 基思·温斯坦斯坦福大学
13:30 - 15:00
语言设计1OOPSLA公司工作室2
主席:埃尔科·维瑟代尔夫特理工大学
13:30
2200万
谈话
AnyDSL:高性能库编程的部分评估框架
OOPSLA公司
罗兰·雷阿德国萨尔大学克拉斯·博希萨尔大学塞巴斯蒂安·哈克德国萨尔州大学阿尔塞纳·佩拉德-加约特德国萨尔大学理查德·梅巴特DFKI,德国菲利普·斯拉萨勒克DFKI,德国安德烈·米勒约翰内斯·古腾堡大学贝蒂尔·施密特约翰内斯·古腾堡大学
13:52
2200万
谈话
朱莉娅:动力与性能通过设计协调
OOPSLA公司
杰夫·贝赞森Julia计算机本杰明·钟东北大学陈嘉豪第一资本斯特凡·卡宾斯基 病毒B ShahJulia计算机扬·维泰克东北大学莱昂内尔·佐布里茨基埃科尔正常供应
14:15
2200万
谈话
GraphIt-高性能图形DSL
OOPSLA公司
张云明 杨梦娇麻省理工学院CSAIL利雅得-巴格达迪麻省理工学院Shoaib Kamil公司土砖朱利安·顺麻省理工学院萨曼·阿马拉辛格麻省理工学院
14:37
2200万
谈话
一种工具,多种语言:带增量参数语法的语言参数转换
OOPSLA公司
詹姆斯·科佩尔麻省理工学院瓦罗特·普雷姆通麻省理工学院Armando Solar Lezama公司麻省理工学院CSAIL
15:30至17:00
语言设计2OOPSLA公司工作室1
主席:乔纳森·奥尔德里奇卡内基梅隆大学
15:30
2200万
谈话
直接操作的双向评估
OOPSLA公司
米卡·迈耶EPFL,瑞士维克托·库恰克EPFL,瑞士拉维·丘格芝加哥大学
15:52
2200万
谈话
BioScript:在芯片实验室上编程安全化学杰出论文奖
OOPSLA公司
杰森·奥特加州大学河滨分校泰森无爱加州大学河滨分校克里斯柯蒂斯加州大学河滨分校莫森·莱萨尼加州大学河滨分校菲利普·布里斯克加州大学河滨分校
16:15
2200万
谈话
使用ScalaLoci进行分布式系统开发
OOPSLA公司
帕斯卡·魏森伯格达姆施塔特科技大学米尔科·科勒 吉多·萨尔瓦内奇达姆施塔特工业大学
16:37
2200万
谈话
具有角色的并发软件面向对象编程
OOPSLA公司
迈克尔·费斯苏黎世ETH托马斯·格鲁斯苏黎世ETH
链接到出版物内政部
15:30 - 17:00
编译器优化OOPSLA公司工作室2
主席:林立信滑铁卢大学
15:30
2200万
谈话
稀疏张量代数编译器的格式抽象
OOPSLA公司
史提芬周麻省理工学院CSAIL弗雷德里克·克约斯塔德麻省理工学院CSAIL萨曼·阿马拉辛格麻省理工学院
15:52
2200万
谈话
ShareJIT:JIT跨进程的代码缓存共享及其实际实现
OOPSLA公司
徐晓然莱斯大学基思·库珀莱斯大学雅各布·布洛克罗切斯特大学张燕(音译) 韩东冶Futurewei科技
16:15
2200万
谈话
协调LLVM中的高级优化和低级代码
OOPSLA公司
朱尼扬·李首尔国立大学中基尔湖首尔国立大学拉尔夫·荣格MPI-SWS公司刘正阳犹他大学约翰·雷格尔犹他大学努诺·P·洛佩斯微软研究院
预打印
16:37
2200万
谈话
源代码级循环转换对编译器稳定性影响的实证研究
OOPSLA公司
张晓文宫伊利诺伊大学香槟分校Zhi Chen先生加州大学欧文分校贾斯汀·萨代伊利诺伊大学香槟分校大卫·王英特尔泽拉·苏拉IBM研究内夫塔利·沃特金森 赛义德·马利基微软研究院大卫·帕多瓦伊利诺伊大学香槟分校亚历山大·维登鲍姆加州大学欧文分校亚历山德鲁·尼古拉加州大学欧文分校约塞普·托雷拉斯伊利诺伊大学香槟分校
媒体已连接
17:05 - 18:00
奖项/SIGPLAN市政厅会议OOPSLA公司工作室1
主席:延斯·帕尔斯伯格加利福尼亚大学,洛杉矶马努·斯里德哈兰优步

11月8日星期四

显示的时区:瓜达拉哈拉、墨西哥城、蒙特雷 改变

10:30 - 12:00
弱记忆和重构OOPSLA公司工作室1
主席:理查德·琼斯肯特大学
10:30
2200万
谈话
发布获取语义下的最优无状态模型检查
OOPSLA公司
帕罗什·阿齐兹·阿卜杜拉瑞典乌普萨拉大学穆罕默德·法乌齐·阿提格瑞典乌普萨拉大学本特·琼森瑞典乌普萨拉大学Tuan Phong Ngo村瑞典乌普萨拉大学
10:52
2200万
谈话
了解避免空中意外结果的成本
OOPSLA公司
裴兆欧加州大学欧文分校布莱恩·德姆斯基加州大学欧文分校
11:15
2200万
谈话
弱记忆的持久语义
OOPSLA公司
杜鹃花MPI-SWS,德国维克托·瓦菲亚迪斯MPI-SWS,德国
11:37
2200万
谈话
确定用子类和状态替换类型代码的重构机会
OOPSLA公司
Jyothi Vedurada公司马德拉斯分校V克里斯纳·南迪瓦达马德拉斯分校
10:30 - 12:00
类型和合同OOPSLA公司工作室2
主席:Hakjoo噢韩国大学
10:30
2200万
谈话
用于合成不变量和契约的Horn ICE学习
OOPSLA公司
Deepak D'Souza公司 Ezudheen P公司 普拉纳夫加尔格伊利诺伊大学香槟分校丹尼尔·奈德马克斯·普朗克软件系统研究所P.马都苏丹伊利诺伊大学香槟分校
10:52
2200万
谈话
逐步液体类型推断杰出论文奖
OOPSLA公司
尼基·瓦祖IMDEA软件研究所埃里克·坦特智利和巴黎Inria大学大卫·范·霍恩美国马里兰大学
11:15
2200万
谈话
可折叠合同:修复渐进式打字的病态
OOPSLA公司
丹尼尔·费尔蒂美国西北大学本·格林曼美国东北大学克里斯托夫·斯科利尔斯比利时根特大学罗伯特·布鲁斯·芬德勒美国西北大学文森特·圣穆尔西北大学
11:37
2200万
谈话
责任的根源:交叉型和联合型合同
OOPSLA公司
杰克·威廉姆斯英国爱丁堡大学J.加勒特·莫里斯美国堪萨斯大学菲利普·沃德勒英国爱丁堡大学
13:30 - 15:00
平行性和正确性OOPSLA公司工作室1
主席:沃纳·迪特尔加拿大滑铁卢大学
13时30分
2200万
谈话
线程安全的反应式编程
OOPSLA公司
乔沙·德雷克斯勒达姆施塔特科技大学拉格纳尔·莫克达姆施塔特科技大学吉多·萨尔瓦内奇达姆施塔特工业大学米拉·梅齐尼达姆施塔特工业大学
内政部预打印附加的文件
13:52
2200万
谈话
RacerD:合成静态种族检测
OOPSLA公司
萨姆·布莱克希尔脸谱网Nikos Gorogannis公司 彼得·W·奥赫恩Facebook和伦敦大学学院伊利亚·谢尔盖Yale-NUS学院
预打印
14:15
2200万
谈话
第一场比赛后发生了什么?增强基于Happens-Before的动态种族检测的预测能力
OOPSLA公司
乌芒·马图尔伊利诺伊大学香槟分校迪利普·基尼伊利诺伊大学香槟分校马赫什·维斯瓦纳坦伊利诺伊大学香槟分校
内政部授权者链接预打印
14:37
2200万
谈话
声音死锁预测
OOPSLA公司
克里斯蒂安·格拉姆·卡尔豪格(Christian Gram Kalhauge)加利福尼亚大学,洛杉矶延斯·帕尔斯伯格加利福尼亚大学,洛杉矶
13:30 - 15:00
静态分析OOPSLA公司工作室2
主席:卡里姆·阿里阿尔伯塔大学
13:30
2200万
谈话
在数据日志中增量化基于格的程序分析
OOPSLA公司
塔马斯·萨博itemis/TU代尔夫特加博尔·伯格曼匈牙利布达佩斯科技经济大学/MTA-BME Lendület网络物理系统研究小组塞巴斯蒂安·埃尔德维格荷兰代尔夫特理工大学马库斯·沃尔特独立/itemis,德国
13:52
2200万
谈话
通过数据驱动的上下文隧道实现精确和可扩展的分析点
OOPSLA公司
Minseok Jeon公司韩国韩国大学Sehun Jeong公司韩国大学Hakjoo噢韩国大学
14:15
2200万
谈话
指针分析的精确引导上下文敏感性
OOPSLA公司
岳丽丹麦奥胡斯大学天坛丹麦奥胡斯大学安德斯·默勒奥胡斯大学亚尼斯·斯马拉格达基斯雅典大学
14:37
2200万
谈话
通过切片细化对象敏感点以进行分析
OOPSLA公司
吉里什·马斯克里·拉玛Infosys有限公司Raghavan Komondoor公司印度科学院,班加罗尔希曼舒·夏尔马印度科学研究所,班加罗尔
15:30 - 17:00
性能OOPSLA公司工作室1
主席:亚当·韦尔克优步科技
15:30
2200万
谈话
跨组件垃圾收集
OOPSLA公司
内政部媒体已连接
15:52
2200万
谈话
组合服务的反应式缓存
OOPSLA公司
塞巴斯蒂安·伯克哈特微软研究院蒂姆·科皮特斯比利时布鲁塞尔Vrije大学
16:15
2200万
谈话
非易失性内存的面向对象恢复
OOPSLA公司
纳克肖恩·科恩EPFL,瑞士大卫·T·阿克森EPFL公司詹姆斯拉诺斯EPFL公司
16:37
2200万
谈话
软件复用:共享库并静态链接它们
OOPSLA公司
威尔·迪茨伊利诺伊大学香槟分校维克拉姆·S·阿德伊利诺伊大学香槟分校
链接到出版物内政部预打印
15:30 - 17:00
Potpourri公司OOPSLA公司工作室2
主席:安德斯·默勒奥胡斯大学
15:30
2200万
谈话
DeepBugs:一种基于名称的错误检测的学习方法
OOPSLA公司
迈克尔·普拉德尔达姆施塔特工业大学库什克森加州大学伯克利分校
15:52
2200万
谈话
ExceLint:自动查找电子表格公式错误
OOPSLA公司
丹·巴罗维 埃默里·伯杰马萨诸塞大学阿默斯特分校本杰明·佐恩微软研究院
16:15
2200万
谈话
查找在符号求值下爆炸的代码
OOPSLA公司
詹姆斯·博恩霍尔特华盛顿大学埃米娜·托拉克华盛顿大学
16:37
2200万
谈话
FlashProfile:合成数据配置文件的框架
OOPSLA公司
萨斯瓦特·帕迪加利福尼亚大学,洛杉矶Pratek Jain公司Microsoft研究实验室,印度丹尼尔·佩雷尔曼美国华盛顿大学亚历克斯·波洛佐夫微软研究院苏米特·古尔瓦尼微软研究院托德·米尔斯坦加利福尼亚大学,洛杉矶

11月9日星期五

显示的时区:瓜达拉哈拉,墨西哥城,蒙特雷 改变

10:30 - 12:00
测试OOPSLA公司工作室1
主席:金·布鲁斯波莫纳学院
10:30
2200万
谈话
动态分布式系统的组合编程与测试
OOPSLA公司
Ankush Desai公司加州大学伯克利分校阿马尔·法尼什耶伊微软研究院沙兹·卡迪尔微软研究院桑吉特·塞希亚加州大学伯克利分校
10:52
2200万
谈话
具有概率保证的分布式系统的随机测试杰出论文奖
OOPSLA公司
Burcu Kulahcioglu Ozkan先生MPI-SWS,德国鲁帕克·马朱姆达尔MPI-SWS,德国菲利普·尼基奇MPI-SWS公司Mitra Tabaei Befrouei公司维也纳科技大学乔治·魏森巴赫维也纳理工大学
11:15
2200万
谈话
动态语言中高阶函数的测试生成
OOPSLA公司
玛丽亚·塞拉科维奇德国达姆施塔特大学迈克尔·普拉德尔达姆施塔特工业大学雷兹瓦娜·卡里姆·纳温三星研究美国弗兰克·蒂普东北大学
11:37
2200万
谈话
在异步JavaScript程序中发现失信的承诺
OOPSLA公司
萨巴·阿利马达迪东北大学狄忠美国东北大学马格努斯·马德森奥胡斯大学弗兰克·蒂普东北大学
10:30 - 12:00
程序综合OOPSLA公司工作室2
主席:延斯·帕尔斯伯格加利福尼亚大学,洛杉矶
10:30
2200万
谈话
关系程序综合
OOPSLA公司
王月鹏德克萨斯大学奥斯汀分校王新余德州大学奥斯汀分校伊森·迪利格德州大学奥斯汀分校
10:52
2200万
谈话
基于Android示例的稳健关系布局综合
OOPSLA公司
帕沃尔·比利克苏黎世联邦理工大学马克·费舍尔苏黎世ETH马丁·维切夫苏黎世联邦理工大学
11:15
2200万
谈话
加快关系查询的符号推理
OOPSLA公司
王成龙美国华盛顿大学张爱文(Alvin Cheung)华盛顿大学拉斯蒂斯拉夫·博迪克华盛顿大学
11:37
2200万
谈话
函数编程赋值逻辑错误的自动诊断与纠正
OOPSLA公司
李俊昊韩国大学Dowon Song先生韩国大学Sunbeom So公司韩国大学Hakjoo噢韩国大学
13:30 - 14:15
验证OOPSLA公司工作室1
主席:托尼·霍斯金澳大利亚国立大学/Data61
13:30
2200万
谈话
Leto:通过参数化执行模型验证特定于应用程序的容错性
OOPSLA公司
布雷特·波士顿麻省理工学院佐伊·贡麻省理工学院迈克尔·卡宾麻省理工学院
13:52
2200万
谈话
通过有界并发验证实现安全复制
OOPSLA公司
戈瑟姆·卡基普渡大学Kapil Earanky公司普渡大学KC Sivaramakrishnan公司剑桥大学苏雷什·贾甘纳坦普渡大学
13:30 - 14:15
安全合并OOPSLA公司工作室2
主席:大卫·J·皮尔斯惠灵顿维多利亚大学
13:30
2200万
谈话
已验证的三路程序合并
OOPSLA公司
马塞洛·索萨牛津大学伊森·迪利格德州大学奥斯汀分校舒文杜·拉希里微软研究院
13:52
2200万
谈话
基于版本空间代数的结构化合并冲突消解
OOPSLA公司
朱凤敏 飞鹤清华大学

我很高兴介绍2018年ACM SIGPLAN面向对象编程、系统、语言和应用会议的计划。OOPSLA已经大大扩展,超出了最初对面向对象编程的关注,今年的计划包含了一系列不同主题的论文,解决了传统和新兴领域中跨软件开发生命周期的挑战。

这是OOPSLA论文作为《美国计算机学会编程语言会议录》(PACMPL)第二年出版。作为OOPSLA审查委员会主席,我负责组建和领导审查委员会,该委员会对提交的论文提供反馈,并决定哪些论文将出现在今年的PACMPL OOPSLA问题中。

在组建审查委员会时,我的目标是确保OOPSLA广泛的主题范围内有足够的专业知识,同时实现资历、人口统计、地理和机构类型(行业与学术界)的多样性。我利用Frank Tip的个人电脑管理工具和OOPSLA指导委员会的有用反馈形成了候选人名单。审查委员会做得很出色,就提交的文件提供了详细的建设性反馈,并选择了一套优秀的论文发表;我真的为他们的努力和奉献感到惊讶。

在审查过程中,大多数论文都接受了三次审查,当缺乏专业知识或信心时,会分配额外的审查。经过广泛的在线讨论,选择了一位评审冠军的论文在与2018年PLDI合办的现场评审委员会会议上进行讨论。在会议期间,我们试图在讨论中保持积极态度:如果一篇论文有一位热情的拥护者,并且没有其他评论员提出严重的担忧,我们通常会接受该论文。OOPSLA的两阶段审查过程有助于这种方法,因为我们可以接受在第二阶段截止日期前(第一阶段通知后大约6周)可以解决的有微小缺陷的论文。在我感到矛盾的文件中,David Grove负责决策过程并领导讨论。最终,我们接受了216份提交文件中的60份,接受率为27.8%。

外部审查委员会的主要任务是审查由主要审查委员会成员或总主席共同编写的所有提交文件。根据SIGPLAN的要求,审查委员会提交的文件应达到更高的标准,以避免任何偏袒的表现。在25份此类提交的文件中,有10份被接受。外部审查委员会在提供详细的审查反馈和积极参与在线讨论方面做得很好。

OOPSLA审查和发布过程的其他方面与前几年保持不变。作为PACMPL的一个问题,所有OOPSLA论文都可以从ACM数字图书馆开放访问,SIGPLAN在作者无法访问时支付开放访问费。OOPSLA继续其前几年的两阶段审查过程(PACMPL问题的要求),我们继续运行单独的工件评估过程,以帮助验证已接受论文的补充工件。

我非常荣幸能担任OOPSLA审查委员会主席。我感谢论文作者向OOPSLA提交了如此激动人心的工作,并再次感谢审查委员会的仔细和详细的审查工作。感谢前任主席Yannis Smaragdakis和Jonathan Aldrich在整个过程中提供的帮助和建议。最后,感谢Jan Vitek,他以总主席的身份为2018年SPLASH的成功付出了惊人的努力。

欢迎光临,享受OOPSLA 2018!

马努·斯里德哈兰
优步
OOPSLA 2018审查委员会主席
PACMPL第2卷第OOPSLA期主编

提交准备说明

PACMPL(OOPSLA)采用两阶段轻量级双盲复习过程,所以论文必须匿名。

格式化:提交的文件必须为PDF格式,可在美国信纸大小的纸张上以黑白打印。所有提交的文件必须符合以下地址提供的“ACM Small”模板(LaTeX和Word格式):http://www.acm.org/publications/authors/submissions。对于LaTeX用户,请使用acmart-pacmpl-模板.tex,一个只包含基本文件的轻量级软件包,带有acmsmall、匿名和审阅选项。LaTeX特定问题由ACM公司.

提交的论文最多可能是23页10号字体,不包括参考书目和附录。

参考书目和附录没有页数限制。然而,评审员没有义务阅读附录。

不符合上述要求的提交文件将被拒绝,不予审查。

引文:论文应使用作者年引文。作者年引文可以用作名词短语,如“lambda calculation最初由Church(1932)构思”,也可以用作附加语阶段,如“The lambda alculation(Church 1932)意在作为数学基础”。(括号或方括号都可以用来括起引文。)这是一个有用的测试,用于正确使用它,以确保在省略任何引用的括号部分时,文本仍能正确阅读。注意介词;在上面的第一个例子中,“by”比“in”更合适,因为它可以正确阅读文本,作为对作者的引用。有时,可以通过在子句或句子末尾加上附加说明的引文来提高可读性,例如“lambda演算提供了数学基础(Church 1932)”。在LaTeX中,使用引文{Church-1932}作为名词短语,使用引语{Church(1932),使用引言{Churchir-1932}作为附加短语,“(Church 1932)”;有关详细信息,请参阅natbib文件的第2.3–2.5节(纳特比布).

作者响应期:2018年6月8日至10日,作者将能够阅读评论并作出回应。

补充资料:作者可以在提交的材料中附加非匿名补充材料,但有一项谅解,即审核人员可能会选择不看。材料应在提交时上传,以单个pdf或tarball格式上传,而不是通过URL上传。此补充材料无需匿名;只有在评审人员提交评审后,才会向评审人员披露。

作者策略:所有提交文件均应符合ACM作者政策.

重新发布策略:论文必须描述目前尚未提交到别处出版的未出版作品,如SIGPLAN的重新发布政策。提交人还应了解ACM关于剽窃的政策和程序.

接受论文作者信息

  • 论文最终版本的页数限制为27页(不包括参考文献),以确保作者有空间回应审稿人的评论和强制性修订。
  • PACMPL是一份黄金开放存取期刊。作者可以自愿支付文章处理费用(目前为400美元)。
  • 我们欢迎所有作者参加OOPSLA并提交公认的论文,无论其国籍如何。如果任何作者有与签证相关的困难,我们将安排远程参与。
  • 正式出版日期是论文在ACM数字图书馆中提供的日期。该日期可能最早在会议第一天之前两周。官方发布日期影响与已发布作品相关的任何专利申请的截止日期。

以下内容基于Mike Hicks的指导原则,来自Frank Tip、Keshav Pingali、Richard Jones、John Boyland、Yannis Smaragdakis和Jonathan Aldrich。

概述

Q: 为什么要双盲复习?

A: 我们的目标是给每个审稿人一个公正的“第一眼”看每篇论文。研究表明,审稿人对投稿的态度可能会受到作者身份的影响,甚至是无意识的。我们希望审稿人能够在处理每一份稿件时,不会出现诸如“巴纳比;他写了一篇好论文”或“这些人是谁?我从未听说过他们”之类的非自愿反应。因此,我们要求作者在稿件中省略他们的名字,并避免通过引用来暴露自己的身份。要记住的一个关键原则是,我们希望这一进程是合作的,而不是对抗的。如果评论员通过微妙的线索或疏忽发现了作者的身份,作者将不会受到处罚。

Q: 你认为致盲有效吗?

A: 对我们使用的味道进行盲法研究表明,53%到79%的时间内,作者身份仍然未知。此外,大约5-10%的时间里,评论员对作者是肯定的,但后来证明至少有部分错误。Yannis Smaragdakis对OOPSLA 2016个人电脑的调查显示,任何一位评论员或一篇论文在26-34%的时间里,对至少一位作者的猜测都是正确的,这取决于你将对调查的不回应视为猜测失败还是回答失败。因此,虽然有时可以正确地猜测作者身份,但问题是,不完美的致盲是否比完全不致盲更好?我们的推测是,总的来说,答案是“是”。

Q: 盲目提交是否会导致同一作者根据之前的工作拒绝论文?

A: 审稿人提交评论后,在做出最终决定之前,会向审稿人透露作者姓名。因此,如果审稿人确实对作者进行了不适当的惩罚,他们可以纠正他们的评论。在PC会议之前揭开盲页还可以避免审稿人最终提出与他们有冲突的论文的原因。

对于作者

Q: 我必须做什么?

A: 您的工作不是让您的身份无法被发现,而是让我们的审查人员能够在不知道您是谁的情况下评估您的提交。主要的指导原则很简单:在你的标题页上省略作者的名字,当你引用自己的作品时,用第三人称来指代。例如,如果您的名字是Smith,并且您从事过两栖类系统的工作,那么您可以说“我们扩展了Smith(2004)在静态类型蟾蜍方面的早期工作”,而不是说“我们拓展了Smith's(2004)早期在静态类型的蟾蜍上的工作”。此外,请确保不要包含任何会泄露您身份的确认信息。

Q: 我如何提供补充材料?

A: 在提交网站上,你可以选择随同论文一起提交补充材料。此补充材料无需匿名。审查人员没有义务查看此材料。提交文件本身是审查的对象,因此应努力说服读者至少相信报告结果的合理性。当然,评审员可以在查看补充材料时自由更改评审。对于那些希望补充的作者,我们鼓励他们在论文正文中提及补充,并明确补充材料是否匿名。例如,“引理1的证明包含在随本文提交的非匿名补充材料中。”

Q: 我正在XYZ系统上构建我的工作。我会为匿名而重命名它吗?

A: 不,你不能改变名字,你当然应该引用你过去发表的作品!系统和作者之间的关系会随着时间的推移而变化,因此至少会有一些关于作者身份的疑问。

Q: 我可以提交一份扩展研讨会论文的论文吗?

A: 通常是的,但理想的行动方案取决于相似程度和出版状态。从一个极端来看,如果你的研讨会论文是一份出版物(即研讨会发表了一篇论文集,其中包含你的论文),并且你当前提交的论文在这方面有所改进,那么你应该引用研讨会论文,就像它是由其他人写的一样。另一方面,如果您提交的文件实际上是一份更长、更完整的未发表研讨会论文版本(例如,没有正式的会议记录),那么您应该包括一份(最好是匿名的)研讨会论文版本作为补充材料。一般来说,很少有好的理由匿名引用。如有疑问,请联系PC主席。

Q: 我可以在我的网页上发表论文、在邮件列表上做广告、发送给同事或发表演讲吗?

A: 双盲审查不应妨碍结果的正常交流。也就是说,我们要求你不要故意破坏双盲审查过程,向论文的潜在审稿人公布论文作者的姓名。在这里,很难准确定义什么是“颠覆”,但一个明显的例子是向个人电脑成员发送个人电子邮件,介绍你的工作。另一方面,访问其他机构,谈论你的工作,在面试期间展示你提交的工作,在专业会议上展示你的工作,或在网页上发布你的工作。PC成员不会被要求回避审阅您的论文,除非他们觉得您已经竭尽全力向他们宣传您的作者信息。如果你不确定什么是“让路”,请直接咨询项目主席。

我们认识到,一些研究人员采用开放式的研究方式,工作在产生时在邮件列表、arxiv或社交媒体上共享。我们认为,如果作者遵循简单的指导原则,这种研究风格可以与双盲审查共存。您可以在邮件列表、arxiv、社交媒体或其他宣传渠道上发布您的工作,但不要提及论文的提交位置,也不要在帖子中使用准确的提交标题。

Q: 双盲对处理利益冲突有影响吗?

A: 不。作为一名作者,你应该列出你认为与你有冲突的个人电脑成员(以及其他任何人,因为其他人可能会被要求提供外部评论)。

对于审阅者

Q: 如果我知道作者的身份,我该怎么办?

A: 如果在任何时候你觉得作者的行动主要是为了确保潜在的评审员知道他们的身份,你应该联系项目主席。否则,你不应该将双盲复习与常规的盲复习区别对待。特别是,您应该避免查找作者身份信息,但如果您意外发现,这不会自动取消您作为审阅者的资格。运用你最好的判断力。

Q: 作者提供了补充材料的URL,我担心他们会窃取我的IP地址。我该怎么办?

A: 联系项目主席,他将代表您下载材料并提供给您。

Q: 我可以寻求外部审查吗?

A: 不可以。PC成员应该自己做评估。如果这样做有问题,例如,你觉得自己不合格,那么考虑以下选项。首先,提交一份尽可能仔细的综述,概述你认为自己知识不足的地方。假设我们有足够的专家评论,那可能就到此为止了:非专业评论也很有价值。其次,评审表提供了一种机制,可以向PC主席推荐其他专家评审员,如果需要其他专业知识,PC主席可以联系他们。

我们感谢以下研究人员为OOPSLA提交文件提供了额外的外部审查。

  • 奥斯·阿尔巴古蒂
  • 罗伯特·艾奇
  • 拉杰·巴里克
  • 萨姆·布莱克希尔
  • 比约恩·勃兰登堡
  • 塞巴斯蒂安·伯克哈特
  • 迈克尔·卡宾
  • 阿列克桑达尔·查卡洛夫
  • 斯蒂芬·张
  • 基思·查普曼
  • 贾科姆·库尼亚
  • Hoang-Hai Dang公司
  • 伊西尔·迪利格
  • 马提亚斯·费莱森
  • 维杰·加内什
  • 罗伯特·格林
  • 马修·哈默
  • 克里斯·霍布利泽尔
  • 希克斯
  • 中基尔湖
  • Jean-Baptiste珍妮
  • 迈克尔·佩顿·琼斯
  • 拉尔夫·荣格
  • Jan-Oliver凯撒
  • 奥哈德·卡马尔
  • 阮淦
  • 悉达斯·克里希纳
  • 加里·利文斯
  • 林小珠(Felix Xiaozhu Lin)
  • 萨姆·林德利
  • 克里斯蒂娜·洛佩斯
  • 朱利亚诺·洛萨
  • 马格努斯·马德森
  • 马克·马隆
  • 保罗·麦肯尼
  • 凯万·梅马里安
  • 阿里·梅斯巴
  • 马丁·蒙佩鲁斯
  • 安德鲁·迈尔斯
  • 博亚娜·诺里斯
  • 迈克尔·诺里什
  • 大卫·帕多瓦
  • 米查·帕·卡
  • 托马索·彼得鲁奇亚尼
  • 鲁齐卡·皮斯卡
  • 杜鹃花
  • 鲁本·罗
  • 科尔·施莱辛格
  • 里沙布·辛格
  • 宋永州
  • 迈克尔·斯皮尔
  • 奥利维尔·塔迪厄
  • 罗斯·泰特
  • 詹姆斯·威尔科克斯
  • 吉田信子