Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
SPLASH 2016 (series) / Mövenpick Hotel Amsterdam City Centre /

Room information: Matterhorn 3

VenueMövenpick Hotel Amsterdam City Centre
Room nameMatterhorn 3
Floor0
Room InformationNo extra information available
Program

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 TransformationMETA 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 ReflectionMETA 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 DesignsMETA 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 ReflectionMETA 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 computingKeynote
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 5SPLASH-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 6SPLASH-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 8SPLASH-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 9SPLASH-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 10SPLASH-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 11SPLASH-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 12SPLASH-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 14SPLASH-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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room10:003011:003012:003013:003014:003015:003016:003017:0030
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

Room10:003011:003012:003013:003014:003015:003016:003017:0030
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

Room10:003011:003012:003013:003014:003015:003016:003017:0030
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

Room10:003011:003012:003013:003014:003015:003016:003017:0030
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

Room10:003011:003012:003013:003014:003015:0030
Matterhorn 3

SPLASH-I

Session 13 (Languages)

SPLASH-I

Session 14

Sun 30 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Matterhorn 3
SPLASH -IKeynote
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
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