Two exciting keynotes

Programming with Dependent Types in Idris
Edwin Brady
University of St. Andrews
Creator of Idris Programming Language

Experiences with Scala for Introductory CS
Mark Lewis
Trinity University
Author of Introduction to the Art of Programming Using Scala

An unforgettable panel discussion,

Scala & Next-Generation Languages:
Language Design for Mainstream Software Engineering

Jonathan Aldrich, Carnegie Mellon University

Edwin Brady, University of St. Andrews

Doug Lea, SUNY Oswego

Martin Odersky, EPFL

Peter Van Roy, Catholic University of Louvain

Julien Verlaguet, Facebook

Jan Vitek, Purdue University

As well as a full program of academic & industrial talks...

Academic

Student Talks

Short 5-10 minute talks by students presenting ongoing or completed research related to Scala, or announcing a project that would be of interest to the Scala community.

Tool Demos

A live demonstration of a tool (typically complete, robust, and well-documented), accompanied by a short paper providing an overview of the tool.

Research Papers

Papers describing original research or experience reports related to Scala.

Research papers come in two flavors:
- Regular (10 page) papers
- Short (4 page) papers

Both in ACM double-column style.

Industrial

(& Open Source)

Open Source Talks
Short talks by Scala enthusiasts and students presenting open source projects using Scala that they authored and/or contribute to.

Invited Industrial Talks
Invited talks by prominent speakers from industry, showcasing their use of Scala in production systems.

Meet Some Scala Shops
Short presentations by our industrial sponsors. Networking with recent graduates and the Scala community.

Papers/Talks due: May 14^th

(Abstracts due May 7^th)

Call for Papers

Program

Monday, July 28^th

9:00-9:05

Scala'14 Opening Remarks

Philipp Haller and Heather Miller

9:05-10:05

Keynote:

Experiences with Scala for Introductory CS

Mark Lewis, Trinity University

10:05-10:30

Coffee Break, served outside of Lecture Hall X

10:30-12:00

Concurrency and Effects:

Typecasting Actors: from Akka to TAkka

Jiansen He, Philip Wadler, Philip Trinder

Containers and Aggregates, Mutators and Isolates for Reactive Programming

Aleksandar Prokopec, Philipp Haller, Martin Odersky

Type-Directed Language Extension for Effectful Computations

Evgenii Kotelnikov

12:00-13:30

Lunch, at Norrland's nation

13:30-14:30

Keynote:

The Evolution of Scala

Martin Odersky, EPFL

(Joint with PLE'14)

14:30-15:00

Student Talks

15:00-15:30

Coffee Break, served outside of Lecture Hall X

15:30-17:30

Practice:

Resilient Applications with Akka Persistence

Jonas Bonér, Typesafe

42.type: Literal-based Singleton Types in Scala

George Leontiev, SoundCloud

Battle-hardened Scala: How I Learnt to Stop Worrying and Push Code Safely

Tim Dinsdale, Goldman Sachs

Using Scala to Drive Modernization in Enterprise Environments

Martin Schmidt, innoQ

17:30-20:00

Workshop Banquet, at the Uppsala Botanical Gardens

Tuesday, July 29^th

9:00-10:00

Keynote:

Programming with Dependent Types in Idris

Edwin Brady, University of St. Andrews

10:00-10:30

Coffee Break, served outside of Lecture Hall X

10:30-12:10

Language Implementation:

Towards Virtual Traits in Scala

Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini

Accelerating Parser Combinators with Macros

Eric Béguet, Manohar Jonnalagedda

MorphScala: Safe Class Morphing with Macros

Aggelos Biboudis, Eugene Burmako

ScalaDyno: Making Name Resolution and Type Checking Fault-Tolerant

Cédric Bastin, Vlad Ureche, Martin Odersky

12:10-13:30

Lunch, at Norrland's nation

13:30-14:30

Testing, Tools, Performance:

SciFe: Scala Framework for Effcient Enumeration of Data Structures with Invariants

Ivan Kuraj, Viktor Kuncak

Real-Time Collaborative Scala Development with Clide

Martin Ring, Christoph Lüth

Improving the Performance of Scala Collections with Miniboxing

Aymeric Genêt, Vlad Ureche, Martin Odersky

14:30-15:00

Student Talks

15:00-15:30

Coffee Break, served outside of Lecture Hall X

15:30-16:00

Open Source:

Abstracting over method return types using Return-Type Strategies

Jon Pretty

16:15-17:30

Panel:

Scala & Next-Generation Languages:
Language Design for Mainstream Software Engineering

Jonathan Aldrich, Carnegie Mellon University

Edwin Brady, University of St. Andrews

Doug Lea, SUNY Oswego

Martin Odersky, EPFL

Peter Van Roy, Catholic University of Louvain

Julien Verlaguet, Facebook

Jan Vitek, Purdue University

18:00-20:00

Scala'14 Reception, at Uppsala University's Department of Information Technology, building 4 (Alternate directions)

Accepted Papers

ScalaDyno: Making Name Resolution and Type Checking Fault-Tolerant

Cédric Bastin, Vlad Ureche, Martin Odersky (EPFL)

Accelerating Parser Combinators with Macros

Eric Béguet, Manohar Jonnalagedda (EPFL)

MorphScala: Safe Class Morphing with Macros

Aggelos Biboudis (University of Athens), Eugene Burmako (EPFL)

Typecasting Actors: from Akka to TAkka

Jiansen He, Philip Wadler (University of Edinburgh), Philip Trinder (University of Glasgow)

Type-Directed Language Extension for Effectful Computations

Evgenii Kotelnikov (Chalmers University of Technology)

SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants

Ivan Kuraj, Viktor Kuncak (EPFL)

Containers and Aggregates, Mutators and Isolates for Reactive Programming

Aleksandar Prokopec (EPFL), Philipp Haller (Typesafe), Martin Odersky (EPFL)

Real-Time Collaborative Scala Development with Clide

Martin Ring (DFKI Bremen), Christoph Lüth (DFKI Bremen, Universität Bremen)

Towards Virtual Traits in Scala

Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini (TU Darmstadt)

These are the people making Scala'14 awesome.

Program Committee

Jonathan Aldrich, Carnegie Mellon University
Michael Armbrust, Databricks
Werner Dietl, University of Waterloo
Marius Eriksen, Twitter
Shriram Krishnamurthi, Brown University
Doug Lea, SUNY Oswego
Erik Meijer, Applied Duality/TU Delft
Bruno Oliveira, The University of Hong Kong
Klaus Ostermann, University of Marburg
Aleksandar Prokopec, EPFL
Ilya Sergey, IMDEA Software Institute
Philippe Suter, IBM Research
Sam Tobin-Hochstadt, Indiana University
Tom Van Cutsem, Alcatel-Lucent Bell Labs, Belgium
Peter Van Roy, Catholic University of Louvain
Damien Zufferey, MIT

Organizers

Heather Miller
EPFL
(Co-Chair)

Philipp Haller
Typesafe
(Co-Chair)

Stephan Brandauer
Uppsala University
(Local Arrangements)

Martin Odersky
EPFL

Doug Lea
SUNY Oswego