Write a Blog >>
GPCE 2016
Mon 31 October - Tue 1 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
Model Checking and TransformationMETA at Matterhorn 3
Chair(s): Ralf LaemmelUniversity of Koblenz-Landau, Germany
08:30
30m
Talk
Evolution of Metaprograms: XSLT as a Metaprogramming Language
META
Vadim ZaytsevRaincode, Belgium
Media Attached File Attached
09:00
30m
Talk
Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
META
Harumi WatanabeTokai University, Ikuta TanigawaKyusyu University, Nobuhiko OguraTokyo City University, Midori SugayaShibaura Institute of Technology, Kenji HisazumiKyushu University, Akira FukudaKyushu University
File Attached
09:30
30m
Talk
Implementation of LMNtal Model Checkers: a Metaprogramming Approach
META
Yutaro TsunekawaWaseda University, Taichi TomiokaWaseda University, Kazunori UedaWaseda University
Media Attached File Attached
10:30 - 12:10
Run-time ReflectionMETA at Matterhorn 3
Chair(s): Stefan MarrJohannes Kepler University Linz
10:30
30m
Talk
A model for Reflection in Rule-Based Languages
META
Simon Van de WaterVUB, Thierry RenauxVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel, Belgium
Media Attached File Attached
11:00
30m
Talk
Instance Migration in Dynamic Software Update
META
Pablo TesoneInria Lille–Nord Europe, France Mines Douai, IA, Univ. Lille, France, Guillermo PolitoInria, Luc FabresseMines Douai, Noury BouraqadiMines 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 SeatonOracle Labs
Pre-print Media Attached File Attached
13:30 - 15:10
Security & Capability-based DesignsMETA at Matterhorn 3
Chair(s): Shigeru ChibaUniversity of Tokyo
13:30
30m
Talk
Declaratively Specifying Security Policies For Web Applications
META
Angel Luis Scull PupoSofware Languages Lab, Vrije Universiteit Brussel, Jens NicolayVrije Universiteit Brussel, Belgium, Elisa Gonzalez BoixVrije Universiteit Brussel
Media Attached File Attached
14:00
30m
Talk
Virtual Values for Taint and Information Flow Analysis
META
Prakasam KannanSan Jose State University, Thomas H. Austin, Mark StampSan Jose State University, Tim Disney, Cormac FlanaganUniversity of California, Santa Cruz
Media Attached File Attached
14:30
30m
Talk
Capability Safe Reflection for the Wyvern Language
META
Esther WangCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
Media Attached File Attached
15:40 - 17:20
Mirror-based ReflectionMETA at Matterhorn 3
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
15:40
60m
Talk
Reflection in Dart: A Cautionary Experience
META
K: Gilad BrachaGoogle
16:40
40m
Talk
ChromaKey: Towards Extensible Mirror Architectures
META
Pablo InostrozaCWI, Tijs van der StormCWI & University of Groningen
Pre-print Media Attached File Attached

Mon 31 Oct
Times are displayed in 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 HauswirthUniversity 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 JonesMicrosoft Research, Cambridge
Media Attached File Attached
11:20
50m
Talk
Snap!: Scheme Disguised as Scratch
SPLASH -I
Brian HarveyUniversity of California, Berkeley
Media Attached
13:30 - 15:10
Session 2 (AGERE)SPLASH -I at Matterhorn 3
Chair(s): Alessandro RicciUniversity of Bologna, Italy
13:30
1h40m
Talk
Agent-Oriented Programming
SPLASH -I
Amal El Fallah-SegrouchniLIP6, John-Jules MeyerUniversiteit Utrecht, Mehdi Dastani, Rafael BordiniPUCRS, Koen HindriksDelft University of Technology, Netherlands, Rem CollierUniversity College Dublin, Alessandro RicciUniversity of Bologna, Italy
Media Attached
15:40 - 17:20
Session 3 (Philosophy of Computing)SPLASH -I at Matterhorn 3
Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research
15:40
1h40m
Talk
The elements of decision alignment: Large programs as complex organizations
SPLASH -I
I: Mark MillerGoogle Inc., I: Bill TulloheRights.org
Media Attached

Tue 1 Nov
Times are displayed in 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 HauswirthUniversity of Lugano
10:30
1h40m
Talk
Bootstrap: Build Bridges, not Walls
SPLASH -I
Emmanuel SchanzerBrown University
Media Attached
13:30 - 15:10
Session 5SPLASH -I at Matterhorn 3
Chair(s): Sebastian ErdwegDelft 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 ToschUniversity of Massachusetts, Amherst
Media Attached
15:40 - 17:20
Session 6SPLASH -I at Matterhorn 3
Chair(s): Tiark RompfPurdue University, USA
15:40
50m
Talk
Type-driven Development in Idris
SPLASH -I
Edwin BradyUniversity of St Andrews
16:30
50m
Talk
Fact or fiction? What software analytics can do for us (developers and researchers)
SPLASH -I
Andy ZaidmanTU Delft
Media Attached

Wed 2 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Session 7 (Modeling)SPLASH -I at Matterhorn 3
Chair(s): Laurence TrattKing's College London
10:30
50m
Talk
How Domain Requirements Shape Languages
SPLASH -I
Markus Völteritemis, Germany
Media Attached
11:20
50m
Talk
Making Mendix Meta Model Driven
SPLASH -I
Jos WarmerIndependent
13:30 - 15:10
Session 8SPLASH -I at Matterhorn 3
Chair(s): Ulrik Pagh SchultzUniversity 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 RosenanUniversity of Haifa, David H. LorenzOpen University and Technion IIT
14:20
50m
Talk
The basic skill set of software language engineering
SPLASH -I
Ralf LaemmelUniversity of Koblenz-Landau, Germany
Media Attached
15:40 - 17:20
Session 9SPLASH -I at Matterhorn 3
Chair(s): Ross TateCornell University
15:40
50m
Talk
Using Docker Containers to Improve Reproducibility in PL/SE Research
SPLASH -I
Jürgen CitoUniversity of Zurich
Media Attached
16:30
50m
Talk
Adventures in Software Evolution
SPLASH -I
Robert GrimmGoldman Sachs

Thu 3 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10
Session 10SPLASH -I at Matterhorn 3
Chair(s): Tijs van der StormCWI & 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 LopesUniversity of California, Irvine
Media Attached
13:30 - 15:10
Session 11SPLASH -I at Matterhorn 3
Chair(s): Philipp HallerKTH Royal Institute of Technology
13:30
50m
Talk
Exploratory Analysis in Virtual Reality: The New Frontier
SPLASH -I
Derek JacobyQvirt, Yvonne CoadyUniversity of Victoria
Media Attached
14:20
50m
Talk
Truffle and Graal: Fast Programming Languages With Modest Effort
SPLASH -I
Chris SeatonOracle Labs, Adam WelcOracle Labs, USA
Media Attached
15:40 - 17:20
Session 12SPLASH -I at Matterhorn 3
Chair(s): Coen De RooverVrije Universiteit Brussel, Belgium
15:40
50m
Talk
Language Support for Distributed Systems
SPLASH -I
Heather MillerEcole Polytechnique Federale de Lausanne
16:30
50m
Talk
Pony: Co-designing a Type System and a Runtime
SPLASH -I
Sylvan ClebschImperial College London
Media Attached

Fri 4 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10
Session 14SPLASH -I at Matterhorn 3
Chair(s): Stefan MarrJohannes Kepler University Linz
13:30
50m
Talk
Fast Datalog
SPLASH -I
Media Attached File Attached
14:20
50m
Talk
Software Environmentalism
SPLASH -I
Tudor Gîrbafeenk.com
Media Attached

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Wed 2 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Thu 3 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Fri 4 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change