Write a Blog >>
SLE 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
Additional informationThere is no additional information of this room 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 - 09:00
Talk
Evolution of Metaprograms: XSLT as a Metaprogramming Language
META
Vadim ZaytsevRaincode, Belgium
Media Attached File Attached
09:00 - 09:30
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 - 10:00
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 - 11:00
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 - 11:30
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 - 12:00
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 - 14:00
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 - 14:30
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 - 15:00
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 - 16:40
Talk
Reflection in Dart: A Cautionary Experience
META
K: Gilad BrachaGoogle
16:40 - 17:20
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 - 11:20
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 - 12:10
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 - 15:10
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 - 17:20
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 - 12:10
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 - 14:20
Talk
From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration
SPLASH -I
Media Attached
14:20 - 15:10
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 - 16:30
Talk
Type-driven Development in Idris
SPLASH -I
Edwin BradyUniversity of St Andrews
16:30 - 17:20
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 - 11:20
Talk
How Domain Requirements Shape Languages
SPLASH -I
Markus Völteritemis, Germany
Media Attached
11:20 - 12:10
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 - 14:20
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 - 15:10
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 - 16:30
Talk
Using Docker Containers to Improve Reproducibility in PL/SE Research
SPLASH -I
Jürgen CitoUniversity of Zurich
Media Attached
16:30 - 17:20
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 - 11:20
Talk
Responsive Language Tooling For Cloud-based IDEs
SPLASH -I
Media Attached
11:20 - 12:10
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 - 14:20
Talk
Exploratory Analysis in Virtual Reality: The New Frontier
SPLASH -I
Derek JacobyQvirt, Yvonne CoadyUniversity of Victoria
Media Attached
14:20 - 15:10
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 - 16:30
Talk
Language Support for Distributed Systems
SPLASH -I
Heather MillerEcole Polytechnique Federale de Lausanne
16:30 - 17:20
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

10:30 - 12:10: Session 13 (Languages)SPLASH -I at Matterhorn 3
Chair(s): Craig AnslowMiddlesex University, UK
10:30 - 11:20
Talk
Stencils: Graphical User Interfaces in Ensō
SPLASH -I
William CookUT Austin
Media Attached
11:20 - 12:10
Talk
Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web
SPLASH -I
Adam ChlipalaMIT CSAIL
Media Attached
13:30 - 15:10: Session 14SPLASH -I at Matterhorn 3
Chair(s): Stefan MarrJohannes Kepler University Linz
13:30 - 14:20
Talk
Fast Datalog
SPLASH -I
Media Attached File Attached
14:20 - 15:10
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