Scala2013’s parallelism/concurrency session will be co-sponsored by LaME’13 (Workshop on Languages for the Multicore Era) and will be held on Monday, July 1st.

Parallelism/Concurrency

2:00pm-2:30pm A New Concurrency Model for Scala Based on a Declarative Dataflow Core

Sébastien Doeraene (EPFL) Follow @sjrdoeraene and Peter Van Roy (Université catholique de Louvain). 2:30pm-3:00pm Implicit Parallelism in a Functional Subset of Scala

Shams Imam (Rice University), Robert Cartwright (Rice University) and Vivek Sarkar (Rice University). 3:00pm-3:30pm Dataflow Constructs for a Language Extension Based on the Algebra of Communicating Processes

André Van Delft.





8:45am-9am Opening Remarks



9am-10am Keynote The Essence of Language-Integrated Query

Prof. Philip Wadler, University of Edinburgh Follow @PhilipWadler

10am-10:30am Coffee Break

Session 1: Compilation and Debugging

10:30am-11am Scala Macros: Let Our Powers Combine!

Eugene Burmako (EPFL) Follow @xeno_by 11am-11:30am An Experimental Study of the Influence of Dynamic Compiler Optimizations on Scala Performance

Lukas Stadler (Johannes Kepler University), Gilles Duboscq (Johannes Kepler University), Hanspeter Mössenböck (Johannes Kepler University),

Thomas Wuerthinger (Oracle Labs) and Doug Simon (Oracle Labs) 11:30am-11:50am Bridging Islands of Specialized Code using Macros and Reified Types

Nicolas Stucki (EPFL) and Vlad Ureche (EPFL) 11:50am-12:10pm Stack Retention in Debuggers For Concurrent Programs

Iulian Dragos (Typesafe) Follow @jaguarul 12:10pm-12:30pm Scalad: An interactive type-level debugger Tool Demo

Hubert Plociniczak (EPFL)

Student Talks, Session 1: 12:30pm-12:45pm

12:30pm-12:35pm 12:35pm-12:40pm 12:40pm-12:45pm Modular Quasiquotes for Scala

Denys Shabalin (EPFL) Model Manipulation using embedded DSLs in Scala

Filip Krikava

(Université de Nice Sophia Antipolis) A Responsive Framework for Complex Computations

Ellis Whitehead (ETH Zürich)

12:45pm-2:15pm Lunch Break

Session 2: Libraries and Frameworks

2:15pm-2:45pm What are the Odds? -- Probabilistic Programming in Scala

Sandro Stucki (EPFL), Nada Amin (EPFL), Manohar Jonnalagedda (EPFL) and Tiark Rompf (EPFL, Oracle Labs) 2:45pm-3:05pm Towards a Tight Integration of a Functional Web Client Language into Scala

Christoph Höger (TU Berlin) and Martin Zuber (TU Berlin) 3:05pm-3:25pm Parsing Graphs -- Applying Parser Combinators to Graph Traversals

Daniel Kröni (FHNW) and Raphael Schweizer (FHNW) 3:25pm-3:45pm CafeSat: A Modern SAT Solver for Scala Tool Demo

Régis Blanc (EPFL)

Student Talks, Session 2: 3:45pm-4:00pm

3:45pm-3:50pm 3:50pm-3:55pm 3:55pm-4:00pm Linter: A Static Analysis Compiler Plugin

Matic Potočnik

(University of Ljubljana) InSynth: Type-Driven Interactive Synthesis of Code Snippets

Tihomir Gvero (EPFL) Flexible Implicits for Scala (from Agda)

Paolo G. Giarrusso (University of Marburg) Follow @Blaisorblade

4pm-4:30pm Coffee Break

Session 3: Types and Verification

4:30pm-5pm Verification by Translation to Recursive Functions

Régis Blanc (EPFL), Etienne Kneuss (EPFL), Viktor Kuncak (EPFL) and Philippe Suter (EPFL) 5pm-5:20pm Reducing boilerplate by generating type class instances automatically

Lars Hupel (TU München) Follow @larsr_h 5:20pm-5:40pm Open GADTs and Declaration-site Variance: A Problem Statement

Paolo G. Giarrusso (University of Marburg) Follow @Blaisorblade

5:45pm Closing Remarks











Accepted Papers

(Listed in alphabetical order by first author's last name)



Verification by Translation to Recursive Functions Full Paper

by Régis Blanc (EPFL), Etienne Kneuss (EPFL), Viktor Kuncak (EPFL) and Philippe Suter (EPFL). by Régis Blanc (EPFL), Etienne Kneuss (EPFL), Viktor Kuncak (EPFL) and Philippe Suter (EPFL).

A New Concurrency Model for Scala Based on a Declarative Dataflow Core Full Paper

by Sébastien Doeraene (EPFL) and Peter Van Roy (Université catholique de Louvain) by Sébastien Doeraene (EPFL) and Peter Van Roy (Université catholique de Louvain)

Towards a Tight Integration of a Functional Web Client Language into Scala Short Paper

by Christoph Höger (TU Berlin) and Martin Zuber (TU Berlin). by Christoph Höger (TU Berlin) and Martin Zuber (TU Berlin).

Parsing Graphs – Applying Parser Combinators to Graph Traversals Short Paper

by Daniel Kröni (FHNW) and Raphael Schweizer (FHNW). by Daniel Kröni (FHNW) and Raphael Schweizer (FHNW).

Scalad: An Interactive Type-Level Debugger Tool Demo

by Hubert Plociniczak (EPFL). by Hubert Plociniczak (EPFL).

An Experimental Study of the Influence of Dynamic Compiler

Optimizations on Scala Performance Full Paper

by Lukas Stadler (Johannes Kepler University), Gilles Duboscq (Johannes Kepler University), Hanspeter Mössenböck (Johannes Kepler University), Thomas Wuerthinger (Oracle Labs) and Doug Simon (Oracle Labs). by Lukas Stadler (Johannes Kepler University), Gilles Duboscq (Johannes Kepler University), Hanspeter Mössenböck (Johannes Kepler University), Thomas Wuerthinger (Oracle Labs) and Doug Simon (Oracle Labs).

Bridging Islands of Specialized Code using Macros and Reified Types Short Paper

by Nicolas Stucki (EPFL) and Vlad Ureche (EPFL). by Nicolas Stucki (EPFL) and Vlad Ureche (EPFL).

What are the Odds? – Probabilistic Programming in Scala Full Paper

by Sandro Stucki (EPFL), Nada Amin (EPFL), Manohar Jonnalagedda (EPFL) and Tiark Rompf (EPFL, Oracle Labs). by Sandro Stucki (EPFL), Nada Amin (EPFL), Manohar Jonnalagedda (EPFL) and Tiark Rompf (EPFL, Oracle Labs).

Accepted Presentations

(Listed in alphabetical order by first author's last name)



Stack Retention in Debuggers For Concurrent Programs

Iulian Dragos (Typesafe).

Reducing boilerplate by generating type class instances automatically

Lars Hupel (TU München).

Implicit Parallelism in a Functional Subset of Scala

Shams Imam (Rice University), Robert Cartwright (Rice University) and Vivek Sarkar (Rice University).

Accepted Student Talks

(Listed in alphabetical order by author's last name)



Flexible Implicits for Scala (from Agda)

Paolo G. Giarrusso (University of Marburg).

InSynth: Type-Driven Interactive Synthesis of Code Snippets

Tihomir Gvero (EPFL).

Model Manipulation using embedded DSLs in Scala

Filip Krikava (Université de Nice Sophia Antipolis).

Linter: A Static Analysis Compiler Plugin

Matic Potočnik (University of Ljubljana).

Modular Quasiquotes for Scala

Denys Shabalin (EPFL).

A Responsive Framework for Complex Computations

Ellis Whitehead (ETH Zürich).