写博客>>
2017年Scala
2017年10月23日星期日至星期一加拿大温哥华
与同一地点2017年SPLASH

欢迎参加2017年第八届ACM SIGPLAN Scala研讨会!

斯卡拉是一种通用编程语言,旨在以简洁、优雅和类型安全的方式表达常见的编程模式。它平滑地集成了面向对象语言和函数语言的特性。

Scala研讨会是研究人员从业者与Scala编程语言相关。我们欢迎广泛的研究课题,并支持许多提交格式无论是工业界还是学术界。

今年的Scala研讨会与2017年飞溅.

跟随@鳞片symposium在推特上获取更新。

今年我们正在使用松弛(Slack)支持与其他参与者的轻松协作、讨论和交流,并促进围绕研讨会组织社会活动。我们邀请所有参与者在研讨会的Slack实例.

主讲人

我们很高兴今年有两位优秀的主讲人:

  • Reynold Xin(Databricks),关于Spark和Scala.
  • Dwayne Reeves(脸书),关于黑客编程语言

雷诺德·辛

雷诺德·辛

雷诺德·辛是联合创始人兼首席架构师数据积木在Databricks,他领导了Apache Spark的开发,并支持了最近的许多工作,例如:

  • 数据帧:Scala/Java/Python/R中的高级DSL,用于处理大数据
  • 钨项目:一种新的执行引擎,使用代码生成实现10倍到100倍的性能

在加入Databricks之前,他在加州大学伯克利分校AMPLab他在那里从事大规模数据处理。

德韦恩·里夫斯

德韦恩·里夫斯

德韦恩·里夫斯是Facebook的工程经理,专攻软件设计、静态分析和编程语言。在他近6年的职业生涯中,德韦恩参与并领导了几项旨在提高Facebook代码效率和正确性的计划。他目前是黑客编程语言团队的技术主管,开发新功能并确定该语言的未来方向。Dwayne拥有麻省理工学院计算机科学与工程学士学位和工程硕士学位。

赞助商

我们非常感谢我们伟大合作伙伴的赞助!赞助资金用于支付入选Scala项目的优秀学生的注册费。

想帮忙吗?

我们仍在寻求赞助商支持更多年轻学者。如果您有兴趣赞助Scala的未来,请联系我们!在我们的请求赞助.

学生支持

如果你是一名通过学生讲座的学生,你有资格获得我们的助学金(由我们的赞助商捐赠),如论文征集中所述。

由于Scala研讨会是由SIGPLAN赞助的,如果你是一名合著论文(不仅仅是一篇演讲)的学生,你通常有资格获得SIGPLAN PAC的资助(如果你的导师是SIGPLAN成员)。有关详细信息,请参阅http://www.sigplan.org/PAC/.

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

10月22日周日

显示的时区:蒂华纳,下加利福尼亚州 改变

08:30 - 10:00
周日主题演讲2017年Scala摄政区C
主席:菲利普·哈勒瑞典皇家理工学院
08:45
1500万
开放日
开幕式-第1天
2017年Scala

09:00
6000万
谈话
Spark和Scala
2017年Scala
克:雷诺德·辛数据积木
13:30 - 15:00
汇编2017年Scala摄政区C
主席:保罗·贾鲁索德国图宾根大学
13:30
3000万
谈话
用于超级编译的Scala框架
2017年Scala
内政部
14:00
3000万
谈话
使用主动JIT编译优化收集操作
2017年Scala
Aleksandar Prokopec公司Oracle实验室,大卫·利奥波德塞德约翰开普勒林茨大学,吉尔斯·杜博斯克Oracle实验室,托马斯·伍廷格Oracle实验室
内政部
14:30
3000万
谈话
ScalaSMT:Scala中的可满足性模理论(工具文件)
2017年Scala
弗兰克·卡塞兹澳大利亚麦格理大学,安东尼·斯隆麦格理大学
内政部
15:30 - 17:00
开放源代码和学生对话2017年Scala摄政区C
主席:吉多·萨尔瓦内奇达姆施塔特工业大学
15:30
2200万
谈话
Scala中的基因组数据分析(开源对话)
2017年Scala
媒体已连接
15:52
2200万
谈话
Flare:Spark中优化UDF的简要探讨(学生对话)
2017年Scala
媒体已连接
16:15
2200万
谈话
Scala中的分隔控件(学生对话)
2017年Scala
16:37
2200万
谈话
图书馆界面设计(学生对话)
2017年Scala

10月23日周一

显示的时区:蒂华纳,下加利福尼亚州 改变

08:30 - 10:00
周一主题演讲2017年Scala摄政区C
主席:Ondřej Lhoták加拿大滑铁卢大学
08:45
1500万
开放日
开幕式-第2天
2017年Scala

09:00
6000万
谈话
黑客编程语言
2017年Scala
克:德韦恩·里夫斯脸谱网
15:30 - 17:00
非会议2017年Scala摄政区C
主席:Jonathan Immanuel Brachthä用户德国图宾根大学
15:30
9000万
谈话
非会议
2017年Scala

接受的论文

标题
用于超级编译的Scala框架
2017年Scala
内政部
Scala中的分隔控件(学生对话)
2017年Scala
图书馆界面设计(学生对话)
2017年Scala
Effekt:Scala中的可扩展代数效应(短文)
2017年Scala
内政部预打印媒体已连接附加的文件
Flare:Spark中优化UDF的简要探讨(学生对话)
2017年Scala
媒体已连接
Scala中的基因组数据分析(开源对话)
2017年Scala
媒体已连接
使用Dotty编译器进行交互式开发(工具文件)
2017年Scala
内政部预打印媒体已连接
Kompics Scala:缩小算法规范和可执行代码之间的差距(短文)
2017年Scala
内政部附加的文件
使用主动JIT编译优化收集操作
2017年Scala
内政部
二级值锈状借款(短文)
2017年Scala
内政部媒体已连接
ScalaSMT:Scala中的可满足性模理论(工具文件)
2017年Scala
内政部
鱿鱼:类型安全、卫生和可重复使用的准引号
2017年Scala
内政部媒体已连接
类型类作为子类型隐含词的局限性(短文)
2017年Scala
内政部预打印
DOT算法打字(短文)
2017年Scala
内政部预打印附加的文件
张量运算的类型安全摘要(短文)
2017年Scala
内政部预打印媒体已连接

文件征集

我们寻求提交与Scala相关的所有主题,包括(但不限于):

  • 语言设计和实现——语言扩展、优化和性能评估。
  • 扩展Scala的库设计和实现模式——独立的Scala库、嵌入式领域特定语言、结合语言功能、通用和元编程。
  • Scala-like程序的形式化技术——语言、类型系统和语义的形式化,拟议的语言扩展和变体、依赖对象类型、类型和效果系统的形式化。
  • 并发和分布式编程——库、框架、语言扩展、编程模型、性能评估、实验结果。
  • 使用Scala编程语言的大数据和机器学习库和应用程序。
  • 安全性和可靠性——可插拔型系统、合同、静态分析和验证、运行时监控。
  • 与其他语言和运行时的互操作性,如JavaScript、Java 8(lambdas)、Graal等。
  • 工具——开发环境、调试器、重构工具、测试框架。
  • 案例研究、经验报告和珍珠。

重要日期

  • 无抽象注册
  • 论文提交截止日期延长至:2017年7月20日
  • 纸质通知:2017年8月20日
  • 学生演讲提交日期:2017年8月30日
  • 相机准备就绪:2017年9月11日
  • 学生谈话通知:2017年9月17日

所有截止日期在一天结束的时候,“地球上任何地方”(AoE).

提交格式

为了满足研究人员和从业者,以及初学者和专家的需求,我们寻求几种提交材料,都是acmart/sigplan样式,10磅字体。

  • 全文(最多10页,不包括参考书目)
  • 短文(最多4页,不包括参考书目)
  • 工具文件(最多4页,不包括参考书目)
  • 学生谈话(仅简短摘要,纯文本)

接受的论文(全文、短文或工具论文,但不包括学生演讲)将在ACM数字图书馆中发布。每种提交的详细信息如下。格式要求详见作者须知.

请注意,每个已接受贡献的至少一位作者必须出席研讨会并介绍工作。如果是工具演示文件,则需要对所述工具进行实时演示。

全文和短文

完整和简短的论文应该描述与Scala语言相关的新颖想法、实验结果或项目。为了鼓励活跃的讨论,提交的论文可以描述正在进行的工作。此外,短文可能会提出问题,并提出Scala语言社区感兴趣的研究问题。所有论文将根据正确性、重要性、新颖性、清晰度和对社区的兴趣进行综合评判。

一般来说,论文应解释其最初的贡献,确定已完成的工作,解释其重要性,并将其与以前的工作联系起来(适当时也适用于其他语言)。

工具文件

工具文件不必报告原始研究结果;他们可能会描述一个感兴趣的工具,报告对其他人有用的实际经验,新的Scala习惯用法,或者编程珍珠。在任何情况下,这样的论文都必须做出Scala社区感兴趣的贡献,或者Scala社区的其他成员可以从中受益。

在适当的情况下,鼓励作者包含该工具网站的链接。为了获得灵感,你可以考虑https://conf.researchr.org/track/POPL-2016/pepm-2016-main#工具-纸质通知但我们将其视为无约束力。如有疑问,请联系项目主席。

学生演讲

除了定期的论文和工具演示外,我们还邀请学士/硕士/博士生进行简短的学生演讲。学生演讲不需要附纸(用纯文本提交演讲的简短摘要就足够了)。学生讲座约5-10分钟,介绍与Scala相关的正在进行或已完成的研究。在过去几年中,每个获得学生演讲认可的学生都会收到一笔赠款(由赞助商捐赠),用于支付注册和/或差旅费用。

开源会谈

我们还将接受由贡献者提供的关于使用Scala的开源项目的有限数量的简短讨论。开源演讲无需附论文(以纯文本形式提交演讲的简短摘要就足够了)。开放源代码的讲座大约有10分钟长,涉及与研讨会相关的主题,例如(但不仅限于)介绍或宣布Scala社区感兴趣的开放源代码项目。

提交网站

提交将通过HotCRP进行管理:https://scala17.hotcrp.com/

有关问题和其他澄清,请联系会议组织者。

可打印版本

一个简短的、可打印的版本可以通过公告板发布字母大小PDF.

提交文件应使用ACM公司acmart公司模板,信号平面图子格式,10磅字体和作者年引用样式。结果样式为相似但不相同与以前版本中使用的相同。所有提交文件均应为PDF格式。

LaTeX和Word模板可从SIGPLAN资源。对于使用LaTeX的作者,Scala’17作者的适当模板位于文件中acmart-sigplanproc-template.tex软件。如模板中所述,应使用信号平面图10磅选项,对于使用双盲提交的作者匿名的选项。使用回顾我们也强烈鼓励但不是必需的选项(回顾选项将添加行号,这将使审阅者更容易在评论中引用论文的特定部分,但对排版绝对没有其他影响)。有关LaTeX特定问题可用技术支持的详细信息,请访问http://www.acm.org/publications/proceedings-template#h-技术支持.

要启用author-year引用样式,作者应启用LaTeX命令\城市风格{acmauthoryear}在提供的模板中。否则,为了正确使用作者年引文风格,请参阅OOPSLA’17作者指南.

页面限制

  • 全文(最多10页,不包括参考书目)
  • 短文(最多4页,不包括参考书目)
  • 工具文件(最多4页,不包括参考书目)
  • 学生谈话(仅限简明摘要)

并发提交

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

出版日期(数字图书馆提前访问警告)

作者注意:官方发布日期是ACM数字图书馆提供会议记录的日期。该日期可能最早在会议第一天之前两周。正式出版日期会影响与已出版作品相关的任何专利申请的截止日期。

单盲或双盲提交

2017年的Scala是一次单盲会议,但提供作者可以选择双盲提交。例如,对于同时向双盲会议提交不同但相关工作的任何人来说,这可能很有用。如果您决定进行双盲提交,请在HotCRP提交表单中的“匿名提交”框中打勾。

2017年Scala研讨会与2017年SPLASH伞式活动。研讨会将与其他活动一起在以下地点举行:

温哥华凯悦酒店
Burrard街655号
第6版第2页第7页
温哥华
加拿大

有关位置和注册的最新详细信息,请参阅SPLASH网站.

注册费

由于与SPLASH位于同一地点,因此需要缴纳相应的SPLASH注册费。如果你只想参观Scala研讨会,费用是(已更新):

早鸟登记标准注册(也包括现场注册)
(美元价格)ACM或信号 非-微机 学生ACM | SIG公司 学生非我 ACM或信号 非-微机 学生ACM | SIG公司 学生非我
2天活动(仅限研讨会) $370 $420 $185 $205 $440 $500 $225 $260

鸟类登记提前至9月22日星期五。

登记表允许加入SIGPLAN(25美元,学生15美元)并立即使用折扣。

Scala’17的注册是通过以下SPLASH执行的链接.

获得旅行支持的学生讲座作者应联系Paolo Giarrusso获取注册说明。

星期一晚上,在研讨会的第二天之后,我们热情邀请所有与会者参加一个社交活动,在一个友好、热情的环境中继续讨论,同时分享一些啤酒或其他饮料。

社交活动将在蒸汽工厂酿酒厂(网站,地图),下午6:30开始。座位限制在40人以内。

请考虑让我们和其他参与者知道您是否将通过我们的松弛实例在通道中#社会事件.