Future Programming Workshop 2015
Mon 26 - Tue 27 October 2015
Pittsburgh, Pennsylvania, United States
co-located with
SPLASH 2015
Toggle navigation
Attending
Conference Venue: Sheraton Station Square Hotel
Conference Banquet: Carnegie Museum of Natural History
Program
Complete Program
Your Program
Mon 26 Oct
Tue 27 Oct
Track/Call
Organization
Future Programming Workshop 2015 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
Future Programming Workshop 2015
FP
Sign in
Sign up
SPLASH 2015
(
series
) /
Future Programming Workshop 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-07: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-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02: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
Tue 12 Nov 20:43