Mobile! 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
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
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
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

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

Mon 31 Oct

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

Tue 1 Nov

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

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

Wed 2 Nov

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

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

Thu 3 Nov

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

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

Fri 4 Nov

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

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

Mon 31 Oct

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

Tue 1 Nov

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

Wed 2 Nov

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

Thu 3 Nov

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

Fri 4 Nov

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