SPLASH 2015
Fri 23 - Fri 30 October 2015
Pittsburgh, Pennsylvania, United States
Toggle navigation
Attending
Conference Venue: Sheraton Station Square Hotel
Conference Banquet: Carnegie Museum of Natural History
About
Accommodation
Anti-Harassment Policy
Dining
Downloads
Insider's Guide to Pittsburgh
Maps
Mobile App
Registration
Students
Support Program
Supporters
Travel
Visas
Program
Complete Program
Your Program
Program Overview
SPLASH Proceedings
Filter by Day
Fri 23 Oct
Sat 24 Oct
Sun 25 Oct
Mon 26 Oct
Tue 27 Oct
Wed 28 Oct
Thu 29 Oct
Fri 30 Oct
Tracks
SPLASH 2015
Demos
Doctoral Symposium
Keynotes
OOPSLA
OOPSLA Artifacts
Panels
Posters
PLMW
RPG
SPLASH-E
SPLASH-I
Social Events
Student Research Competition
Student Volunteers
Tutorials
Wavefront
Workshops
Co-hosted Conferences
GPCE
GPCE
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
PLoP
PLoP
PLoP
SLE
Workshops
AGERE!
DSM
DSM
DSM
ETX
Future Programming Workshop
MobileDeLi
NOOL
NOOL
NOOL
PLATEAU
PROMOTO
PROMOTO
PROMOTO
Parsing@SLE
Parsing@SLE
Parsing@SLE
REBLS
REBLS
REBLS
SEPS
Smart Software Strategies
Smart Software Strategies
Smart Software Strategies
WODA
WODA
WODA
Co-hosted Symposia
DBPL
DLS
Organization
SPLASH 2015 Committees
Organizing Committee
Steering Committee
Track Committees
Demos
Doctoral Symposium
OOPSLA
Program Committee
External Review Committee
OOPSLA Artifacts
Organizing Committee
Program Committee
Panels
Posters
Organizing Committee
Program Committee
PLMW
RPG
SPLASH-E
Organizing Committee
Program Committee
Steering Committee
SPLASH-I
Student Research Competition
Organizing Committee
Program Committee
Student Volunteers
Tutorials
Wavefront
Workshops
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Steering Committee
Program Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
PLoP
Organizing Committee
SLE
Organizing Committee
Steering Committee
Program Committee
Workshops
AGERE!
Organizing Committee
Program Committee
DSM
Organizing Committee
Program Committee
ETX
Organizing Committee
Program Committee
Program Committee
Future Programming Workshop
Organizing Committee
MobileDeLi
Organizing Committee
Program Committee
Organizing Committee
Program Committee
NOOL
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Organizing Committee
Program Committee
PROMOTO
Organizing Committee
Organizing Committee
Program Committee
Parsing@SLE
Organizers
Organizers
REBLS
Organizing Committee
Program Committee
SEPS
Organizing Committee
Program Committee
Smart Software Strategies
Organizing Committee
Program Committee
WODA
Organizing Committee
Program Committee
Co-hosted Symposia
DBPL
Program Committee
DLS
Program Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2015
(
series
) /
Sheraton Station Square Hotel
/
Room information: Ellwood 1
Venue
Sheraton Station Square Hotel
Room name
Ellwood 1
Floor
2
Room Information
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
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:30) 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-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03: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+06: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+10: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
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 10:00
Session 1 - Real-world Data
SPLASH-E
at
Ellwood 1
Chair(s):
Eli Tilevich
Virginia Tech
08:30
15m
Day opening
SPLASH-E Introduction
SPLASH-E
Eli Tilevich
Virginia Tech
08:45
30m
Talk
Teaching Big Data with a Virtual Cluster
SPLASH-E
Joshua Eckroth
Stetson University
File Attached
09:15
30m
Talk
A Generic Framework for Engaging Online Data Sources in Introductory Programming Courses
SPLASH-E
Nadeem Hamid
Berry College
File Attached
09:45
15m
Break
Session 1 Discussion
SPLASH-E
10:30 - 12:00
Session 2
SPLASH-E
at
Ellwood 1
Chair(s):
Eli Tilevich
Virginia Tech
10:30
30m
Talk
Tackling Real World Complexity in a Software Engineering Student Project - An Experience Report
SPLASH-E
Christian Köppe
HAN University of Applied Sciences
,
Leo Pruijt
Hogeschool Utrecht
File Attached
11:00
30m
Talk
Continuous Testing in Introductory Computer Science Education
SPLASH-E
Andrew Richardson
University of British Columbia
,
Mira Leung
University of British Columbia
,
Jordan Elder
University of British Columbia
File Attached
11:30
30m
Talk
Teaching Code Review Management using Branch Based Workflows
SPLASH-E
Stephan Krusche
Technische Universität München
,
Bernd Bruegge
TU Munich
13:30 - 15:00
Session 3
SPLASH-E
at
Ellwood 1
Chair(s):
Eli Tilevich
Virginia Tech
13:30
25m
Talk
Tool Demo - PyFRP: Function Reactive Programming in Python
SPLASH-E
John Peterson
Western State Colorado University
,
Alan Cleary
Montana State University
,
Ken Roe
The Johns Hopkins University
File Attached
13:55
25m
Talk
Tool Demo - Teaching Software Architecture Concepts with HUSACCT
SPLASH-E
Christian Köppe
HAN University of Applied Sciences
,
Leo Pruijt
Hogeschool Utrecht
File Attached
14:20
25m
Talk
Tool Demo - Writing C Code Patches in a VPL Learning Environment
SPLASH-E
Ted Kafala
CMSV
File Attached
14:45
15m
Break
Session 2 & Demos Discussion
SPLASH-E
Eli Tilevich
Virginia Tech
15:30 - 17:00
Session 4
SPLASH-E
at
Ellwood 1
Chair(s):
Eli Tilevich
Virginia Tech
15:30
10m
Talk
Lightning Talk #1 - Transferring Software Engineering Practices as an Educational Process: Lessons and Challenges
SPLASH-E
Yadran Eterovic
Pontificia Universidad Catlica de Chile
,
Jorge Bozo
Universidad Católica del Norte, Chile
File Attached
15:40
10m
Talk
Lightning Talk #2 - A Temporal Weighted Grading Scheme for Software Design Courses
SPLASH-E
Vibha Sazawal
University of Maryland
15:50
10m
Talk
Lightning Talk #3 - Why a theory for software engineering teaching is important
SPLASH-E
María Clara Gómez
Universidad de Medellín
,
Carlos Zapata
Universidad Nacional de Colombia
,
Yadran Eterovic
Pontificia Universidad Catlica de Chile
16:00
10m
Talk
Lightning Talk #4 - Music and Computing – Integrating Computer Science into the Music Curriculum
SPLASH-E
John Peterson
Western State Colorado University
16:10
10m
Talk
Lightning Talk #5 - OPEN
SPLASH-E
16:20
40m
Day closing
Post-workshop Discussion
SPLASH-E
Eli Tilevich
Virginia Tech
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
08:30 - 10:00
Session 1: Keynote
DBPL
at
Ellwood 1
Chair(s):
James Cheney
University of Edinburgh
08:30
5m
Day opening
DBPL Welcome
DBPL
08:35
85m
Talk
DBPL Keynote: The Gremlin Graph Traversal Machine and Language
DBPL
Marko Rodriguez
DataStax
10:30 - 12:00
Session 2
DBPL
at
Ellwood 1
Chair(s):
Dario Colazzo
10:30
30m
Talk
A common data manipulation language for nested data in heterogeneous environments.
DBPL
João Costa Seco
NOVA LINCS -- Universidade Nova de Lisboa
,
Hugo Lourenço
OutSystems SA
,
Paulo Ferreira
OutSystems SA
11:00
30m
Talk
Relational Foundations for Functorial Data Migration
DBPL
Ryan Wisnesky
,
David Spivak
MIT
11:30
30m
Talk
Abstract Rewriting Approach to Solve Datalog Programs
DBPL
Fernando Tarin Morales
The University of Tokyo / National Institute of Informatics
,
Fuyuki Ishikawa
National Institute of Informatics
,
Shinichi Honiden
The University of Tokyo / National Institute of Informatics
13:30 - 15:00
Session 3
DBPL
at
Ellwood 1
Chair(s):
Ryan Wisnesky
13:30
22m
Talk
Requesting heterogeneous data sources with array comprehensions in Hop.js
DBPL
Yoann Couillec
Inria
,
Manuel Serrano
INRIA
13:52
22m
Talk
A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL Application Development
DBPL
Stefanie Scherzinger
,
Uta Störl
HS Darmstadt
,
Meike Klettke
Universität Rostock
14:15
22m
Talk
Function Inlining in XQuery 3.0 Optimization
DBPL
Leonard Wörteler
University of Konstanz
,
Michael Grossniklaus
University of Konstanz
,
Christian Grün
University of Konstanz
,
Marc H. Scholl
University of Konstanz
14:37
22m
Talk
Relational Algebra by way of Adjunctions
DBPL
Jeremy Gibbons
University of Oxford, UK
,
Fritz Henglein
DIKU, Denmark
,
Ralf Hinze
University of Oxford, UK
,
Nicolas Wu
University of Bristol, UK
15:30 - 17:00
Session 4
DBPL
at
Ellwood 1
Chair(s):
Jeremy Gibbons
University of Oxford, UK
15:30
30m
Talk
Using Dependent Types and Tactics to Enable Semantic Optimization of Language-Integrated Queries
DBPL
Ryan Wisnesky
,
Gregory Malecha
UCSD
16:00
30m
Talk
Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains
DBPL
Jelle Hellings
Hasselt University and Transnational University of Limburg
,
Marc Gyssens
Hasselt University and Transnational University of Limburg
,
Yuqing Wu
Indiana University
,
Dirk Van Gucht
Indiana University
,
Jan Van den Bussche
Hasselt University and Transnational University of Limburg
,
Stijn Vansummeren
Université Libre de Bruxelles
,
George Fletcher
Eindhoven University of Technology
16:30
30m
Talk
Typing Regular Path Query Languages for Data Graphs
DBPL
Dario Colazzo
,
Carlo Sartiani
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
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
Ellwood 1
SPLASH-E
Session 1 - Real-world Data
SPLASH-E
Session 2
SPLASH-E
Session 3
SPLASH-E
Session 4
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
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
Ellwood 1
DBPL
Session 1: Keynote
DBPL
Session 2
DBPL
Session 3
DBPL
Session 4
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
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
Ellwood 1
SPLASH -E
SPLASH-E Introduction
08:30 - 08:45
SPLASH -E
Teaching Big Data with a Virtual Cluster
08:45 - 09:15
SPLASH -E
A Generic Framework for Engaging Online Data Sources in Introductory Pr ...
09:15 - 09:45
SPLASH -E
Session 1 Discussion
09:45 - 10:00
SPLASH -E
Tackling Real World Complexity in a Software Engineering Student Projec ...
10:30 - 11:00
SPLASH -E
Continuous Testing in Introductory Computer Science Education
11:00 - 11:30
SPLASH -E
Teaching Code Review Management using Branch Based Workflows
11:30 - 12:00
SPLASH -E
Tool Demo - PyFRP: Function Reactive Programming in Python
13:30 - 13:55
SPLASH -E
Tool Demo - Teaching Software Architecture Concepts with HUSACCT
13:55 - 14:20
SPLASH -E
Tool Demo - Writing C Code Patches in a VPL Learning Environment
14:20 - 14:45
SPLASH -E
Session 2 & Demos Discussion
14:45 - 15:00
SPLASH -E
Lightning Talk #1 - Transferring Software Engineering Practices as an E ...
15:30 - 15:40
SPLASH -E
Lightning Talk #2 - A Temporal Weighted Grading Scheme for Software Des ...
15:40 - 15:50
SPLASH -E
Lightning Talk #3 - Why a theory for software engineering teaching is i ...
15:50 - 16:00
SPLASH -E
Lightning Talk #4 - Music and Computing – Integrating Computer Science ...
16:00 - 16:10
SPLASH -E
Lightning Talk #5 - OPEN
16:10 - 16:20
SPLASH -E
Post-workshop Discussion
16:20 - 17:00
Tue 27 Oct
Displayed time zone:
Eastern Time (US & Canada)
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
Ellwood 1
DBPL
DBPL Welcome
08:30 - 08:35
DBPL
DBPL Keynote: The Gremlin Graph Traversal Machine and Language
08:35 - 10:00
DBPL
A common data manipulation language for nested data in heterogeneous en ...
10:30 - 11:00
DBPL
Relational Foundations for Functorial Data Migration
11:00 - 11:30
DBPL
Abstract Rewriting Approach to Solve Datalog Programs
11:30 - 12:00
DBPL
Requesting heterogeneous data sources with array comprehensions in Hop.js
13:30 - 13:52
DBPL
A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL Applica ...
13:52 - 14:15
DBPL
Function Inlining in XQuery 3.0 Optimization
14:15 - 14:37
DBPL
Relational Algebra by way of Adjunctions
14:37 - 15:00
DBPL
Using Dependent Types and Tactics to Enable Semantic Optimization of La ...
15:30 - 16:00
DBPL
Relative Expressive Power of Downward Fragments of Navigational Query L ...
16:00 - 16:30
DBPL
Typing Regular Path Query Languages for Data Graphs
16:30 - 17:00
x
Sun 13 Oct 11:44