2019年第33届ECOOP:英国伦敦
阿拉斯泰尔·唐纳森 :
第33届欧洲面向对象编程会议,2019年7月15日至19日,英国伦敦,ECOOP 2019。 LIPIcs公司 134, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2019 ,国际标准图书编号 978-3-95977-111-5 -
前言、目录、前言、会议组织。 0:1-0:25 肖恩·迈尔 , 塞尔吉奥·莫弗 , Bor-Yuh Evan Chang先生 :
生存状态:事件驱动协议和回调控制流。 1:1-1:29 基科·费尔南德斯·雷耶斯 , 戴夫·克拉克 , 卢多维克·亨利奥 , 艾纳·布罗赫·约翰森 , 托比亚斯·箭牌 :
戈多:隐性和显性期货的所有好处。 2:1-2:28 帕斯卡·魏森伯格 , 吉多·萨尔瓦内奇 :
多层模块。 3点1-3分29秒 弗拉德·A·维尔古 , 安德鲁·托尔马赫 , 埃尔科·维瑟 :
范围和框架提高了元解释者的专业化。 4:1-4:30 理查德·罗伯茨 , 斯特凡·马尔 , 迈克尔·霍默 , 詹姆斯·诺布尔 :
瞬态类型检查(几乎)免费。 5:1-5:28 Jan de Muijnck-Hughes公司 , Wim Vanderbauwhede女士 :
硬件接口的打字规程。 6:1-6:27 亚历山大·米索尼日尼克 , 德米特里·莫德维诺夫 :
带方差的标称子类型的可满足性。 7:1-7:20 Sotiropoulos臭鼬 , 本杰明·利夫希茨 :
异步JavaScript程序的静态分析。 8:1-8:30 康拉德·瓦特 , 彼得·马克西莫维奇 , Neelakantan R.克里希纳斯瓦米 , 菲利普·加德纳 :
一种用于一阶封装WebAssembly的程序逻辑。 9:1-9:30 诺亚·范·埃斯 , 昆汀·斯蒂文纳特(Quentin Stiévenart) , 科恩·德鲁弗 :
通过抽象引用计数实现无垃圾抽象解释。 10:1-10:33 奥斯伯特·巴斯塔尼 , 拉胡尔·夏尔马 , 拉扎罗克拉普 , 萨斯瓦特·阿南德 , 亚历克斯·艾肯 :
最终声音指向与规范分析。 11:1-11:28 马提亚斯·艾奇霍尔茨 , 埃里克·海登·坎贝尔 , 内特·福斯特 , 吉多·萨尔瓦内奇 , 米拉·梅齐尼 :
如何避免犯十亿美元的错误:使用SafeP4进行类型安全的数据平面编程。 12:1-12:28 尤西·吉尔 , 奥里·罗斯 :
Fling-一个Fluent API生成器。 13:1-13:25 Druv C.Makwana博士 , Neelakantan R.克里希纳斯瓦米 :
NumLin:线性代数的线性类型。 14:1-14:25 乔治·福图尼斯 , 亚尼斯·斯马拉格达基斯 :
invokedynamic的深层静态建模。 15:1-15:28 阿列克西·图尔科特 , 埃伦·阿特卡 , 格雷戈·理查兹 :
在不建模外语的情况下推理外部函数接口。 16:1-16:32 马蒂亚斯·斯普林格 , Hidehiko Masuhara先生 :
DynaSOAr:一种并行内存分配器,用于在具有高效内存访问的GPU上进行面向对象编程。 17:1-17:37 苏瓦姆·穆克吉 , 尼丁·约翰·拉吉 , 克里希南·戈文德拉(Krishnan Govindraj) , 德利吉安人 , Chandramouleswaran Ravichandran公司 , 阿卡什·拉尔 , 阿西姆·拉斯托吉 , 拉贾·克里希纳斯瓦米 :
可靠状态机:编程可靠云服务的框架。 18:1-18:29 贾法尔·哈敏 , 雅各布施 :
通过同步转移债务。 19:1-19:58 亚历克斯·维拉佐恩 , 孙海阳 , 安德里亚·罗萨 , 爱德华多·罗萨莱斯 , 丹尼尔·博内塔 , 伊莎贝拉·德菲利皮斯 , 塞尔吉奥·波尔图 , 沃尔特·宾德 :
自动化大规模多语言动态程序分析(工具洞察论文)。 20:1-20:27 罗玲慧 , 朱利安·杜比 , 埃里克·博登 :
MagpieBridge:将静态分析集成到IDE和编辑器中的通用方法(工具洞察论文)。 21:1-21:25 洪金康 , 费迪安·图恩 , 朱莉娅·劳瓦尔 , 吉尔斯·穆勒 , 蒋凌霄 , 大卫·罗 :
Java程序转换的语义补丁(经验报告)。 22:1-22:27 阿伦·阿斯拉纳吉奇 , 豪尔赫·A·佩雷斯 , 埃里克·沃格德 :
最小会话类型(Pearl)。 23:1-23:28 本杰明·钟 , 弗朗西斯科·扎帕·纳德利 , 扬·维泰克 :
Julia的子类型联合和协变元组的高效算法(Pearl)。 24:1-24:15 阿米尔·谢赫哈 , 莱昂内尔·帕雷 :
最后,一个多态线性代数语言(Pearl)。 25:1-25:29 丹尼尔·佩尔斯梅克 , 亨德里克·范安特卫彭 , 埃尔科·维瑟 :
基于声明类型系统规范的语言参数语义编辑器服务(Brave New Idea Paper)。 26:1-26:18 卡门·托雷斯-洛佩兹 , 罗伯特·古德普·辛格 , 斯特凡·马尔 , 伊丽莎·冈萨雷斯-博伊克斯 , 克里斯托夫·斯科利尔斯 :
多元调试:非确定性程序的非确定性调试(Brave New Idea Paper)。 27分27秒30 鲁帕克·马久姆达尔 , 马库斯·皮龙 , 吉田信子 , 达米安·祖弗里 :
机器人交互的运动会话类型(Brave New Idea Paper)。 28:1-28:27