2018年规划:法国尼斯
模型转换
约翰逊 , 佩迪塔·史蒂文斯 :
(模型驱动的)软件开发过程中的保密性。 1-8 帕特里克·斯滕克尔(Patrick Stünkel) , 哈拉尔德·科尼格 , Yngve Lamo公司 , 阿德里安·拉特 :
通过模型间约束实现多模型对应。 9-17 安东尼·安约林 , Enes Yigitbas公司 , 赫尔曼·坎德尔 , 罗马流行音乐 :
关于开发一致的用户界面(扩展抽象)。 18-20
数学基础
工具和系统
经验报告
阿德里安·杜什内 , 雨果斯·马查尔 , 镇江湖 , 皮埃尔·伊夫·肖本斯 :
基于双向转换的轻量级数据共享系统。 42-45
2018年更多虚拟机
詹姆斯·克拉克森 , 胡安·福梅罗 , 米歇尔·帕帕迪米特里奥 , 玛丽亚·谢卡拉基 , 克里斯托斯·科采利迪斯 :
面向实际的异构虚拟机。 46-48 胡安·曼努埃尔·马丁内斯·卡马尼奥 , 谢尔盖·盖尔顿 :
Easy::Jit:编译器辅助库,支持C++代码中的实时编译。 49-50 Foivos S.Zakkak公司 , 安迪·尼斯贝特 , 约翰·马沃 , 蒂姆·哈特雷 , 尼科斯·福特里斯 , 猎户座帕帕达克斯 , 安德烈亚斯·安德罗尼卡基斯 , 伊恩·阿普列特塞 , 克里斯托斯·科采利迪斯 :
虚拟机研究的未来:硬件/软件视角。 51-53 安德烈亚·罗莎 , 爱德华多·罗萨莱斯 , 菲利波·夏维奥 , 沃尔特·宾德 :
了解JVM上的任务粒度:分析、分析和优化。 54-56 安迪·温戈 :
自带脚本。 57 曼努埃尔起重工 , 罗兰·沙茨 , 雅各布·克林德尔 , 克里斯蒂安·胡贝尔 , 汉斯彼得·莫森博克 :
苏隆,谢谢你的鱼。 58-60 斯蒂芬·凯尔 :
虚拟机不可避免的死亡:进展报告。 61-62
ProWeb 2018
Jihyeok公园 , Joonyoung公园 , 李尹京 , Chul-Joo Kim先生 , Byoungoh Kim先生 , 苏京琉 :
具有最终一致性的动态设备间任务调度框架。 63-68 鲍勃·雷恩德斯 , 迈克尔·格里夫斯 , 多米尼克·德弗里斯 , 弗兰克·皮森斯 :
Scalagna 0.1:使用Scala和Scala.js实现多层编程。 69-74
2018年通过
Shoaib Akram公司 , 凯瑟琳·麦金利 , 詹妮弗·萨托 , Lieven Eeckhout公司 :
通过预测对象写入强度来管理混合内存。 75-80 马提亚斯·艾奇霍尔茨 , 吉多·萨尔瓦内奇 , 米拉·梅齐尼 :
实现网络功能的安全模块化组合。 81-86 桑德拉·科斯托娃 , 瓦伦蒂诺·弗拉尼奇 :
在移动应用程序域中应用面向方面的更改实现。 87-92 帕斯卡·范·加斯特尔 , 伯纳德·范·加斯特尔 , 马可·C·J·D·范·埃克伦 :
使用模型检查检测控制软件中的能量错误和热点。 93-98
PX/18型
路易斯·斯皮内利 , 毛利什·潘迪 , 史蒂夫·奥尼 :
代码动画的注意模式:使用眼睛跟踪器评估动态代码表示技术。 99-104 拉格纳尔·莫克 , 吉多·萨尔瓦内奇 , 米拉·梅齐尼 :
REScala的反应式编程经验。 105-112 帕特里克·雷因 , 罗伯特·赫施菲尔德 :
探索工作区:在smalltalk中交错实现和使用普通对象。 113-116 亚历山大·贝格尔 , 波林·梅拉塔吉 , 谢尔盖·斯汀克维奇 :
一个API和可视化环境,使用神经网络对源代码进行推理。 117-120 阿尔弗雷德·奥克森 , 马蒂亚斯·诺达尔 , 戈雷尔·赫丁 , 鲍里斯·马格努森 :
PalCom物联网的实时编程。 121-126 齐格弗里德·霍斯基 , 托尼·马蒂斯 , 罗伯特·赫施菲尔德 :
Java程序员编写的Python更好吗? 研究GitHub上的非语言代码质量。 127-134 斯特凡·马尔 , 伯努瓦·达洛泽 :
多功能集合少而专业集合多:如何为探索性编程设计集合库? 135-143 史蒂文·科斯蒂奥 , 米卡埃尔·科尔博夫 , 阿兰·普兰泰克 , 马库斯·丹克 :
收集器。 144-152 格林堡 :
Word扩展支持POSIX shell交互。 153-160 帕维尔·巴赞特 , 迈克拉·马尔萨尔科娃 :
具有广泛适用性的非标准电子表格。 161-165
拒绝沙龙
拉斐尔·威默 :
文件作为目录:关于访问文件中的结构化数据的一些想法。 166-170 斯蒂芬·凯尔 :
对“文件作为目录:访问文件中结构化数据的一些想法”的评论(2)。 175-179 阿尔瓦罗·维德拉 :
Codigo中的Lector或读者角色。 180-186 卢克教堂 :
批评“Codigo中的讲师或读者的角色”。 187 安特拉尼格·巴斯曼 , 菲利普·切纳夫斯基 , 西蒙·贝茨 , 米歇尔·博杜安·拉丰 :
互动剖析:共现与纠缠。 188-196 托马斯·彼得里切克 :
对“互动剖析:共现与纠缠”的批判。 197-201 奥利·夏普 :
Semlol:一种符号学编程语言。 202-213 安特拉尼格·巴斯曼 :
对“Semlol:一种符号学编程语言”的批判。 214-217
本科生类别
富兰克林·施兰斯 , 苏珊·艾森巴赫 , 索菲亚·德罗索波卢 :
在Flint中编写安全智能合同。 218-219 埃兹拉·齐格蒙德 :
针对数据库支持应用程序的细粒度动态访问控制。 220-221 瓦苏·金达尔 :
面向智能故障预测代码编辑器,使用深度学习提高软件质量。 222-223 阿里萨·加齐祖利纳 :
用于安全计算的全同态加密方案。 224-226
研究生类别
曼努埃尔起重工 :
在Java虚拟机上沙盒执行C和其他不安全语言。 227-229 阿迪拉·苏松吉 :
关于循环转换语言的语义。 230-231 托尼·马蒂斯 :
使用共现图中的社区检测从代码中挖掘概念。 232-233 杰斯珀·奎斯特 :
ExtendJ:可扩展Java编译器。 234-235 帕特里克·雷因 :
对象汤:在全局对象图中访问域对象的方便接口。 236-238 阿尔弗雷德·奥克森 :
用于最终用户服务组合的DSL。 239-240 马蒂奥·马拉 :
对大数据处理应用程序的调试支持。 241-242 乔恩·M·R·科贝特 :
文化维护的本土化计算机编程。 243-244
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)