Scala 2016
Sun 30 - Mon 31 October 2016
Amsterdam, Netherlands
co-located with
SPLASH 2016
Toggle navigation
Attending
Restaurant: Fifteen
Venue: Mövenpick Hotel Amsterdam City Centre
Venue: Banquet at Beurs van Berlage
Co-located with SPLASH 2016
Program
Complete Program
Your Program
Sun 30 Oct
Mon 31 Oct
Track/Call
Organization
Scala 2016 Committees
Track Committees
Keynote Speakers
Program Committee
Organizing Committee
Contributors
People Index
Search
Series
Series
Scala 2022
Scala 2021
Scala 2020
Scala 2019
Scala 2018
Scala 2017
Scala 2016
Scala 2015
Sign in
Sign up
SPLASH 2016
(
series
) /
Scala 2016 (
series
) /
Mövenpick Hotel Amsterdam City Centre
/
Room information: Matterhorn 3
Venue
Mövenpick Hotel Amsterdam City Centre
Room name
Matterhorn 3
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 30 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 10:00
Model Checking and Transformation
META
at
Matterhorn 3
Chair(s):
Ralf Laemmel
University of Koblenz-Landau, Germany
08:30
30m
Talk
Evolution of Metaprograms: XSLT as a Metaprogramming Language
META
Vadim Zaytsev
Raincode, Belgium
Media Attached
File Attached
09:00
30m
Talk
Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
META
Harumi Watanabe
Tokai University
,
Ikuta Tanigawa
Kyusyu University
,
Nobuhiko Ogura
Tokyo City University
,
Midori Sugaya
Shibaura Institute of Technology
,
Kenji Hisazumi
Kyushu University
,
Akira Fukuda
Kyushu University
File Attached
09:30
30m
Talk
Implementation of LMNtal Model Checkers: a Metaprogramming Approach
META
Yutaro Tsunekawa
Waseda University
,
Taichi Tomioka
Waseda University
,
Kazunori Ueda
Waseda University
Media Attached
File Attached
10:30 - 12:10
Run-time Reflection
META
at
Matterhorn 3
Chair(s):
Stefan Marr
Johannes Kepler University Linz
10:30
30m
Talk
A model for Reflection in Rule-Based Languages
META
Simon Van de Water
VUB
,
Thierry Renaux
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel, Belgium
Media Attached
File Attached
11:00
30m
Talk
Instance Migration in Dynamic Software Update
META
Pablo Tesone
Inria Lille–Nord Europe, France Mines Douai, IA, Univ. Lille, France
,
Guillermo Polito
Inria
,
Luc Fabresse
Mines Douai
,
Noury Bouraqadi
Mines Douai
,
Stéphane Ducasse
INRIA Lille
Media Attached
File Attached
11:30
30m
Talk
AST Specialisation and Partial Evaluation for Easy High-Performance Metaprogramming
META
Chris Seaton
Oracle Labs
Pre-print
Media Attached
File Attached
13:30 - 15:10
Security & Capability-based Designs
META
at
Matterhorn 3
Chair(s):
Shigeru Chiba
University of Tokyo
13:30
30m
Talk
Declaratively Specifying Security Policies For Web Applications
META
Angel Luis Scull Pupo
Sofware Languages Lab, Vrije Universiteit Brussel
,
Jens Nicolay
Vrije Universiteit Brussel, Belgium
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel
Media Attached
File Attached
14:00
30m
Talk
Virtual Values for Taint and Information Flow Analysis
META
Prakasam Kannan
San Jose State University
,
Thomas H. Austin
,
Mark Stamp
San Jose State University
,
Tim Disney
,
Cormac Flanagan
University of California, Santa Cruz
Media Attached
File Attached
14:30
30m
Talk
Capability Safe Reflection for the Wyvern Language
META
Esther Wang
Carnegie Mellon University
,
Jonathan Aldrich
Carnegie Mellon University
Media Attached
File Attached
15:40 - 17:20
Mirror-based Reflection
META
at
Matterhorn 3
Chair(s):
Elisa Gonzalez Boix
Vrije Universiteit Brussel
15:40
60m
Talk
Reflection in Dart: A Cautionary Experience
META
K:
Gilad Bracha
Google
16:40
40m
Talk
ChromaKey: Towards Extensible Mirror Architectures
META
Pablo Inostroza
CWI
,
Tijs van der Storm
CWI & University of Groningen
Pre-print
Media Attached
File Attached
Mon 31 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:10
Session 1 (SPLASH-E)
SPLASH -I
at
Matterhorn 3
Chair(s):
Matthias Hauswirth
University of Lugano
10:30
50m
Talk
SPLASH-I/E Keynote: The dream of a lifetime: Shaping how our children learn computing
Keynote
SPLASH -I
Simon Peyton Jones
Microsoft Research, Cambridge
Media Attached
File Attached
11:20
50m
Talk
Snap!: Scheme Disguised as Scratch
SPLASH -I
Brian Harvey
University of California, Berkeley
Media Attached
13:30 - 15:10
Session 2 (AGERE)
SPLASH -I
at
Matterhorn 3
Chair(s):
Alessandro Ricci
University of Bologna, Italy
13:30
1h40m
Talk
Agent-Oriented Programming
SPLASH -I
Amal El Fallah-Segrouchni
LIP6
,
John-Jules Meyer
Universiteit Utrecht
,
Mehdi Dastani
,
Rafael Bordini
PUCRS
,
Koen Hindriks
Delft University of Technology, Netherlands
,
Rem Collier
University College Dublin
,
Alessandro Ricci
University of Bologna, Italy
Media Attached
15:40 - 17:20
Session 3 (Philosophy of Computing)
SPLASH -I
at
Matterhorn 3
Chair(s):
Richard P. Gabriel
Dream Songs, Inc. & IBM Research
15:40
1h40m
Talk
The elements of decision alignment: Large programs as complex organizations
SPLASH -I
I:
Mark Miller
Google Inc.
,
I:
Bill Tulloh
eRights.org
Media Attached
Tue 1 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:10
Session 4 (SPLASH-E)
SPLASH -I
at
Matterhorn 3
Chair(s):
Matthias Hauswirth
University of Lugano
10:30
1h40m
Talk
Bootstrap: Build Bridges, not Walls
SPLASH -I
Emmanuel Schanzer
Brown University
Media Attached
13:30 - 15:10
Session 5
SPLASH -I
at
Matterhorn 3
Chair(s):
Sebastian Erdweg
Delft University of Technology, Netherlands
13:30
50m
Talk
From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration
SPLASH -I
Emma Söderberg
Google
Media Attached
14:20
50m
Talk
Designing and Debugging Surveys with SurveyMan
SPLASH -I
Emma Tosch
University of Massachusetts, Amherst
Media Attached
15:40 - 17:20
Session 6
SPLASH -I
at
Matterhorn 3
Chair(s):
Tiark Rompf
Purdue University, USA
15:40
50m
Talk
Type-driven Development in Idris
SPLASH -I
Edwin Brady
University of St Andrews
16:30
50m
Talk
Fact or fiction? What software analytics can do for us (developers and researchers)
SPLASH -I
Andy Zaidman
TU Delft
Media Attached
Wed 2 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:10
Session 7 (Modeling)
SPLASH -I
at
Matterhorn 3
Chair(s):
Laurence Tratt
King's College London
10:30
50m
Talk
How Domain Requirements Shape Languages
SPLASH -I
Markus Völter
itemis, Germany
Media Attached
11:20
50m
Talk
Making Mendix Meta Model Driven
SPLASH -I
Jos Warmer
Independent
13:30 - 15:10
Session 8
SPLASH -I
at
Matterhorn 3
Chair(s):
Ulrik Pagh Schultz
University of Southern Denmark
13:30
50m
Talk
Define Your App, Don’t Implement It: Building a Scalable Social Network in 45 minutes
SPLASH -I
Boaz Rosenan
University of Haifa
,
David H. Lorenz
Open University and Technion IIT
14:20
50m
Talk
The basic skill set of software language engineering
SPLASH -I
Ralf Laemmel
University of Koblenz-Landau, Germany
Media Attached
15:40 - 17:20
Session 9
SPLASH -I
at
Matterhorn 3
Chair(s):
Ross Tate
Cornell University
15:40
50m
Talk
Using Docker Containers to Improve Reproducibility in PL/SE Research
SPLASH -I
Jürgen Cito
University of Zurich
Media Attached
16:30
50m
Talk
Adventures in Software Evolution
SPLASH -I
Robert Grimm
Goldman Sachs
Thu 3 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:10
Session 10
SPLASH -I
at
Matterhorn 3
Chair(s):
Tijs van der Storm
CWI & University of Groningen
10:30
50m
Talk
Responsive Language Tooling For Cloud-based IDEs
SPLASH -I
Lennart Kats
Cloud9
Media Attached
11:20
50m
Talk
Simulating Cities: The Spacetime Framework
SPLASH -I
Crista Lopes
University of California, Irvine
Media Attached
13:30 - 15:10
Session 11
SPLASH -I
at
Matterhorn 3
Chair(s):
Philipp Haller
KTH Royal Institute of Technology
13:30
50m
Talk
Exploratory Analysis in Virtual Reality: The New Frontier
SPLASH -I
Derek Jacoby
Qvirt
,
Yvonne Coady
University of Victoria
Media Attached
14:20
50m
Talk
Truffle and Graal: Fast Programming Languages With Modest Effort
SPLASH -I
Chris Seaton
Oracle Labs
,
Adam Welc
Oracle Labs, USA
Media Attached
15:40 - 17:20
Session 12
SPLASH -I
at
Matterhorn 3
Chair(s):
Coen De Roover
Vrije Universiteit Brussel, Belgium
15:40
50m
Talk
Language Support for Distributed Systems
SPLASH -I
Heather Miller
Ecole Polytechnique Federale de Lausanne
16:30
50m
Talk
Pony: Co-designing a Type System and a Runtime
SPLASH -I
Sylvan Clebsch
Imperial College London
Media Attached
Fri 4 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:10
Session 13 (Languages)
SPLASH -I
at
Matterhorn 3
Chair(s):
Craig Anslow
Middlesex University, UK
10:30
50m
Talk
Stencils: Graphical User Interfaces in Ensō
SPLASH -I
William Cook
UT Austin
Media Attached
11:20
50m
Talk
Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web
SPLASH -I
Adam Chlipala
MIT CSAIL
Media Attached
13:30 - 15:10
Session 14
SPLASH -I
at
Matterhorn 3
Chair(s):
Stefan Marr
Johannes Kepler University Linz
13:30
50m
Talk
Fast Datalog
SPLASH -I
Todd Veldhuizen
LogicBlox
Media Attached
File Attached
14:20
50m
Talk
Software Environmentalism
SPLASH -I
Tudor Gîrba
feenk.com
Media Attached
Sun 30 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matterhorn 3
META
Model Checking and Transformation
META
Run-time Reflection
META
Security & Capability-based Designs
META
Mirror-based Reflection
Mon 31 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matterhorn 3
SPLASH -I
Session 1 (SPLASH-E)
SPLASH -I
Session 2 (AGERE)
SPLASH -I
Session 3 (Philosophy of Computing)
Tue 1 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matterhorn 3
SPLASH -I
Session 4 (SPLASH-E)
SPLASH -I
Session 5
SPLASH -I
Session 6
Wed 2 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matterhorn 3
SPLASH -I
Session 7 (Modeling)
SPLASH -I
Session 8
SPLASH -I
Session 9
Thu 3 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Matterhorn 3
SPLASH -I
Session 10
SPLASH -I
Session 11
SPLASH -I
Session 12
Fri 4 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Matterhorn 3
SPLASH -I
Session 13 (Languages)
SPLASH -I
Session 14
Sun 30 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Matterhorn 3
META
Evolution of Metaprograms: XSLT as a Metaprogramming Language
08:30 - 09:00
META
Coloured Petri-Nets Framework for Simulating Method Invocations on Cont ...
09:00 - 09:30
META
Implementation of LMNtal Model Checkers: a Metaprogramming Approach
09:30 - 10:00
META
A model for Reflection in Rule-Based Languages
10:30 - 11:00
META
Instance Migration in Dynamic Software Update
11:00 - 11:30
META
AST Specialisation and Partial Evaluation for Easy High-Performance Met ...
11:30 - 12:00
META
Declaratively Specifying Security Policies For Web Applications
13:30 - 14:00
META
Virtual Values for Taint and Information Flow Analysis
14:00 - 14:30
META
Capability Safe Reflection for the Wyvern Language
14:30 - 15:00
META
Reflection in Dart: A Cautionary Experience
15:40 - 16:40
META
ChromaKey: Towards Extensible Mirror Architectures
16:40 - 17:20
Mon 31 Oct
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Matterhorn 3
SPLASH -I
Keynote
SPLASH-I/E Keynote: The dream of a lifetime: Shaping how our children ...
10:30 - 11:20
SPLASH -I
Snap!: Scheme Disguised as Scratch
11:20 - 12:10
SPLASH -I
Agent-Oriented Programming
13:30 - 15:10
SPLASH -I
The elements of decision alignment: Large programs as complex organizations
15:40 - 17:20
Tue 1 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Matterhorn 3
SPLASH -I
Bootstrap: Build Bridges, not Walls
10:30 - 12:10
SPLASH -I
From Tricorder to Tricium: Useful Static Analysis and the Importance of ...
13:30 - 14:20
SPLASH -I
Designing and Debugging Surveys with SurveyMan
14:20 - 15:10
SPLASH -I
Type-driven Development in Idris
15:40 - 16:30
SPLASH -I
Fact or fiction? What software analytics can do for us (developers and ...
16:30 - 17:20
Wed 2 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Matterhorn 3
SPLASH -I
How Domain Requirements Shape Languages
10:30 - 11:20
SPLASH -I
Making Mendix Meta Model Driven
11:20 - 12:10
SPLASH -I
Define Your App, Don’t Implement It: Building a Scalable Social Network ...
13:30 - 14:20
SPLASH -I
The basic skill set of software language engineering
14:20 - 15:10
SPLASH -I
Using Docker Containers to Improve Reproducibility in PL/SE Research
15:40 - 16:30
SPLASH -I
Adventures in Software Evolution
16:30 - 17:20
Thu 3 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Matterhorn 3
SPLASH -I
Responsive Language Tooling For Cloud-based IDEs
10:30 - 11:20
SPLASH -I
Simulating Cities: The Spacetime Framework
11:20 - 12:10
SPLASH -I
Exploratory Analysis in Virtual Reality: The New Frontier
13:30 - 14:20
SPLASH -I
Truffle and Graal: Fast Programming Languages With Modest Effort
14:20 - 15:10
SPLASH -I
Language Support for Distributed Systems
15:40 - 16:30
SPLASH -I
Pony: Co-designing a Type System and a Runtime
16:30 - 17:20
Fri 4 Nov
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Matterhorn 3
SPLASH -I
Stencils: Graphical User Interfaces in Ensō
10:30 - 11:20
SPLASH -I
Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web
11:20 - 12:10
SPLASH -I
Fast Datalog
13:30 - 14:20
SPLASH -I
Software Environmentalism
14:20 - 15:10
x
Fri 8 Nov 22:50