SPLASH 2016 (series) / Scala 2016 (series) /
Scala 2016 Program
This is the Scala 2016 program - see the full program for SPLASH 2016 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 30 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | |||
08:30 30mDay opening | Opening - Day 1 Scala | ||
09:00 60mTalk | Fine-grained language composition without a common VMKeynote Scala Laurence Tratt King's College London Media Attached | ||
10:30 - 12:10 | |||
10:30 25mTalk | Implementing Higher-Kinded Types in Dotty Scala Martin Odersky EPFL, Switzerland, Guillaume Martres EPFL, Switzerland, Dmitry Petrashko EPFL, Switzerland DOI Pre-print Media Attached | ||
10:55 25mTalk | Semantics-Driven Interoperability between Scala.js and JavaScript Scala Sébastien Doeraene EPFL, Switzerland, Tobias Schlatter EPFL, Switzerland, Nicolas Stucki EPFL, Switzerland DOI Pre-print | ||
11:20 25mTalk | A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper) Scala Fengyun Liu EPFL, Switzerland DOI Media Attached | ||
11:45 25mTalk | Scaps: Type-Directed API Search for Scala Scala Lukas Wegmann 1plusX, Switzerland, Farhad Mehta University of Applied Sciences Rapperswil, Switzerland, Peter Sommerlad University of Applied Sciences Rapperswil, Switzerland, Mirko Stocker University of Applied Sciences Rapperswil, Switzerland DOI File Attached | ||
13:30 - 15:10 | |||
13:30 25mTalk | RandIR: Differential Testing for Embedded Compilers Scala Georg Ofenbeck ETH Zurich, Switzerland, Tiark Rompf Purdue University, USA, Markus Püschel ETH Zurich DOI File Attached | ||
13:55 25mTalk | Reflections on LMS: Exploring Front-End Alternatives Scala Tiark Rompf Purdue University, USA DOI | ||
14:20 25mTalk | SecureScala: Scala Embedding of Secure Computations Scala Markus Hauck codecentric AG, Savvas Savvides Purdue University, Patrick Eugster Purdue University, Mira Mezini TU Darmstadt, Guido Salvaneschi TU Darmstadt, Germany DOI Pre-print Media Attached | ||
14:45 25mTalk | Towards a Scala embedded information system description DSL Scala Zeljko Bajic , Milan Jovic Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad | ||
15:40 - 17:20 | |||
15:40 25mTalk | Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions” Scala Paolo G. Giarrusso University of Tübingen, Germany, Jonathan Immanuel Brachthäuser University of Tübingen, Germany | ||
16:05 25mTalk | A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report Scala Tim van der Lippe Delft University of Technology, Netherlands, Thomas Smith Delft University of Technology, Netherlands, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands DOI File Attached | ||
16:30 50mOther | Unconference 1 Scala | ||
Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 31 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | |||
08:30 30mDay opening | Opening - Day 2 Scala | ||
09:00 60mTalk | This is not a Type: Gradual typing in practiceKeynote Scala Jan Vitek Northeastern University | ||
10:30 - 12:10 | Reactive, Concurrent, Distributed Computation | ParsingScala at Matterhorn 2 Chair(s): Sébastien Doeraene EPFL, Switzerland | ||
10:30 25mTalk | Practical Aggregate Programming in Scala Scala Roberto Casadei University of Bologna, Italy Media Attached | ||
10:55 25mTalk | DynaML: A Scala machine learning environment Scala Mandar Chandorkar Centrum Wiskunde & Informatica | ||
11:20 25mTalk | Scala-Gopher: CSP-style programming techniques with idiomatic Scala. Scala Ruslan Shevchenko vertamedia Media Attached | ||
11:45 25mTalk | Reactive Async: Expressive Deterministic Concurrency Scala Philipp Haller KTH Royal Institute of Technology, Simon Geries KTH Royal Institute of Technology, Sweden, Michael Eichberg TU Darmstadt, Germany, Guido Salvaneschi TU Darmstadt, Germany DOI Pre-print Media Attached | ||
13:30 - 15:10 | Analysis, Testing & VerificationScala at Matterhorn 2 Chair(s): Philipp Haller KTH Royal Institute of Technology | ||
13:30 25mTalk | SMT-Based Checking of Predicate-Qualified Types for Scala Scala DOI File Attached | ||
13:55 25mTalk | A Scala Library for Testing Student Assignments on Concurrent Programming Scala DOI File Attached | ||
14:20 25mTalk | Building a Modular Static Analysis Framework in Scala (Tool Paper) Scala Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Jens Nicolay Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium, Coen De Roover Vrije Universiteit Brussel, Belgium DOI | ||
14:45 25mTalk | Automatically finding Scala soundness bugs Scala Media Attached | ||
15:40 - 17:20 | |||
15:40 25mTalk | Using Scala’s pattern matching features for an attribute grammar formalisation of the CSS layout specification Scala Scott Buckley Macquarie University, Australia | ||
16:05 25mTalk | The sbt-rats Parser Generator Plugin for Scala (Tool Paper) Scala Anthony Sloane Macquarie University, Australia, Franck Cassez Macquarie University, Australia, Scott Buckley Macquarie University, Australia DOI Media Attached | ||
16:30 50mOther | Unconference 2 Scala | ||