Program

July 1st

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) 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.

July 2nd

 

8:45am-9am Opening Remarks
9am-10am
Keynote
The Essence of Language-Integrated Query
Prof. Philip Wadler, University of Edinburgh


10am-10:30am
Coffee Break

Session 1: Compilation and Debugging
10:30am-11am Scala Macros: Let Our Powers Combine!
Eugene Burmako (EPFL)
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)
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)

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)
5:20pm-5:40pm Open GADTs and Declaration-site Variance: A Problem Statement
Paolo G. Giarrusso (University of Marburg)
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).
CafeSat: A Modern SAT Solver for Scala Tool Demo
by Régis Blanc (EPFL).
Scala Macros: Let Our Powers Combine! Full Paper
by Eugene Burmako (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)
Open GADTs and Declaration-site Variance: A Problem Statement Short Paper
by Paolo G. Giarrusso (University of Marburg).
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).
Parsing Graphs – Applying Parser Combinators to Graph Traversals Short Paper
by Daniel Kröni (FHNW) and Raphael Schweizer (FHNW).
Scalad: An Interactive Type-Level Debugger Tool Demo
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).
Bridging Islands of Specialized Code using Macros and Reified Types Short Paper
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).

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).