DLS 2017
Sun 22 - Fri 27 October 2017
Vancouver, Canada
co-located with
SPLASH 2017
Toggle navigation
Attending
Venue: Hyatt Regency Vancouver
SPLASH 2017
General Chair's Welcome
OOPSLA Chair's Welcome
Awards
Registration
Student Support
Sponsorship
Visas and ETA
Childcare
Code Of Conduct
Program
DLS Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Track/Call
Organization
DLS 2017 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
DLS 2023
DLS 2022
DLS 2021
DLS 2020
DLS 2019
DLS 2018
DLS 2017
DLS 2016
DLS 2015
DLS
DLS 2013
DLS 2012
DLS 2011
Sign in
Sign up
SPLASH 2017
(
series
) /
DLS 2017 (
series
) /
Hyatt Regency Vancouver
/
Room information: Regency D
Venue
Hyatt Regency Vancouver
Room name
Regency D
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
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:00) 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+03: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+07: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+11: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 23 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Introduction and Keynote
PLATEAU
at
Regency D
08:30
30m
Day opening
Welcome and Introduction
PLATEAU
09:00
60m
Talk
PLATEAU Keynote: Usability Design Space in Programming by Examples
PLATEAU
Sumit Gulwani
Microsoft Research
10:30 - 12:00
Tools and Environments
PLATEAU
at
Regency D
Chair(s):
Gustavo Soares
Microsoft
10:30
20m
Talk
The Uses of Interactive Explorers for Web APIs
PLATEAU
John Daughtry
Google, Inc.
,
Andrew Macvean
Google, Inc.
,
Luke Church
Pre-print
10:50
20m
Talk
One λ at a time: What do we know about presenting human-friendly output from program analysis tools?
PLATEAU
Titus Barik
Microsoft
,
Chris Parnin
NCSU
,
Emerson Murphy-Hill
North Carolina State University
Pre-print
11:10
20m
Talk
What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment
PLATEAU
Niklas Hollmann
University of Duisburg-Essen, Germany
,
Thorben Roßenbeck
University of Duisburg-Essen, Germany
,
Mark Kunze
University of Duisburg-Essen, Germany
,
Liron Türk
University of Duisburg-Essen, Germany
,
Stefan Hanenberg
University of Duisburg-Essen
Pre-print
11:30
20m
Talk
Development of a Web Platform for Code Peer-Testing
PLATEAU
Manuel Maarek
Heriot-Watt University
,
Léon McGregor
Heriot-Watt University
Pre-print
13:30 - 15:00
Language, DSL, and Feature Design
PLATEAU
at
Regency D
Chair(s):
Joshua Sunshine
Carnegie Mellon University
13:30
20m
Talk
A User Study to Inform the Design of the Obsidian Blockchain DSL
PLATEAU
Celeste Barnaby
Wesleyan University
,
Michael Coblenz
Carnegie Mellon University
,
Tyler Etzel
,
Eliezer Kanal
Carnegie Mellon University
,
Joshua Sunshine
Carnegie Mellon University
,
Brad A. Myers
Carnegie Mellon University
,
Jonathan Aldrich
Carnegie Mellon University
Pre-print
13:50
15m
Talk
Programming Robot Manipulators with Tangible Blocks
PLATEAU
Yasaman Sefidgar
University of Washington
,
Maya Cakmak
University of Washington
Pre-print
14:05
20m
Talk
Preliminary Analysis of REST API Style Guidelines
PLATEAU
Lauren Murphy
University of Michigan
,
Tosin Alliyu
Haverford College
,
Mary Beth Kery
Carnegie Mellon University
,
Brad A. Myers
Carnegie Mellon University
Pre-print
14:25
20m
Talk
Sympathy for the Devil: Reified Collection of Runtime Errors
PLATEAU
Tommaso Dal Sasso
Università della Svizzera Italiana
,
Andrei Chiş
feenk, Switzerland
,
Andrea Mocci
Universita della Svizzera italiana (USI)
,
Tudor Gîrba
CompuGroup Medical Schweiz AG
,
Michele Lanza
Università della Svizzera italiana (USI)
Pre-print
14:45
15m
Talk
Preventing Babel: Rectifying the Trend of Programming Language Divergence
PLATEAU
Alon Amid
UC Berkeley
,
Borivoje Nikolic
UC Berkeley
Pre-print
15:30 - 17:00
Insights into Programmer Thought Processes and Experience
PLATEAU
at
Regency D
Chair(s):
Sarah E. Chasins
University of California, Berkeley
15:30
20m
Talk
Lost in Space and Time? Quantifying the Size of Unit Test Execution Histories
PLATEAU
Mohammad reza
,
Matthias Hauswirth
Università della Svizzera italiana (USI)
Pre-print
15:50
15m
Talk
Modeling Programming Problem Solving Through Interactive Worked Examples
PLATEAU
Dastyni Loksa
University of Washington
,
Amy Ko
University of Washington
Pre-print
16:05
20m
Talk
OpenMP or Pthreads: Which is Better for Beginners?
PLATEAU
Pedro Bruel
University of São Paulo
,
Paulo Meirelles
University of São Paulo and University of Brasília
,
Raphael Cobe
São Paulo State University
,
Alfredo Goldman
University of São Paulo
Pre-print
16:25
20m
Talk
Can Some Programming Languages Be Considered Harmful?
PLATEAU
Sabine Janssens
StressLabo
,
Ulrik Pagh Schultz
University of Southern Denmark
,
Vadim Zaytsev
Raincode Labs, Belgium
Pre-print
16:45
20m
Talk
Preliminary Analysis of Contestant Performance for a Code Hunt Contest
PLATEAU
Adrian Clark
University of Illinois at Urbana-Champaign
,
Jonathan Wells
University of Illinois at Urbana-Champaign
,
Angello Astorga
,
Andrew Xie
Independent
,
Jalen Coleman-Lands
University of Illinois at Urbana-Champaign
,
Tao Xie
Pre-print
Tue 24 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Spring
LIVE
at
Regency D
08:30
50m
Talk
Keynote: User Interfaces for Live Programming
LIVE
Jun Kato
National Institute of Advanced Industrial Science and Technology, Japan
09:20
20m
Talk
Reifying Programming
LIVE
Jonathan Edwards
Pre-print
Media Attached
09:40
20m
Talk
Live Programming as Gradual Abstraction
LIVE
Sean McDirmid
Independent
Pre-print
Media Attached
10:30 - 12:00
Summer
LIVE
at
Regency D
10:30
50m
Talk
Keynote: Becoming Alive, Growing Up
LIVE
Luke Church
11:20
20m
Talk
Toward a Live Stepper for Typed Expressions with Holes
LIVE
Cyrus Omar
Carnegie Mellon University
,
Ian Voysey
Carnegie Mellon University
,
Matthew Hammer
University of Colorado, Boulder
Pre-print
11:40
20m
Talk
Whatever You Say, Happens: Live Creation of VR/AR Experiences
LIVE
Mike Johnston
Moatboat
Pre-print
Media Attached
13:30 - 15:00
Fall
LIVE
at
Regency D
13:30
50m
Other
Lightning Talks
LIVE
Sean McDirmid
Independent
14:20
20m
Talk
Shadama: A Particle Simulation Programming Environment for Everyone
LIVE
Yoshiki Ohshima
HARC / Y Combinator Research
,
Bert Freudenberg
,
Dan Amelang
Viewpoints Research Institute
Pre-print
Media Attached
14:40
20m
Talk
Seymour: Live Programming for the Classroom
LIVE
Saketh Kasibatla
HARC / Y Combinator Research
,
Alessandro Warth
Y Combinator Research, USA
Pre-print
15:30 - 17:00
Winter
LIVE
at
Regency D
15:30
20m
Talk
ZenSheet: a live programming environment for reactive computing
LIVE
Enzo Alda
Lakebolt Research
,
Monica Figuera
Universidad Simón Bolívar
Media Attached
File Attached
15:50
20m
Talk
Anansi: a Tracing Interpreter
LIVE
Scott Kovach
Pre-print
Media Attached
16:10
50m
Other
Closing Discussion
LIVE
Sean McDirmid
Independent
Wed 25 Oct
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
Programming Models
SPLASH -I
at
Regency D
Chair(s):
Gail Murphy
University of British Columbia
10:30
30m
Talk
Direct Manipulation Programming Systems
SPLASH -I
Ravi Chugh
University of Chicago
11:00
30m
Talk
Toward Scalable Semantic Big Data
SPLASH -I
Julian Dolby
IBM Thomas J. Watson Research Center
11:30
30m
Talk
Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Programming
SPLASH -I
Michael Tingley
13:30 - 15:00
Security
SPLASH -I
at
Regency D
Chair(s):
Karim Ali
University of Alberta
13:30
30m
Talk
Browser Performance Woes: Past, Present, and Future
SPLASH -I
Ben Livshits
Imperial College London, UK
14:00
30m
Talk
It's Time for Secure Languages
SPLASH -I
Cristina Cifuentes
Oracle Labs
14:30
30m
Talk
Preventing Information Leaks by Construction
SPLASH -I
Jean Yang
Carnegie Mellon University
15:30 - 17:00
Panel: Language Evolution
SPLASH -I
at
Regency D
15:30
90m
Talk
Panel: 50 Years of Language Evolution: From Simula’67 to the Future
Panel
SPLASH -I
Steven D. Fraser
,
Lera Boroditsky
UC San Diego
,
Robert Gentleman
23andme
,
Chris Granger
Kodowa
,
Sumit Gulwani
Microsoft Research
,
Crista Lopes
University of California, Irvine
Thu 26 Oct
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
Optimization & Networks
SPLASH -I
at
Regency D
Chair(s):
Eleni Stroulia
University of Alberta
10:30
30m
Talk
HHVM: Efficient and Scalable PHP/Hack Execution
SPLASH -I
Guilherme Ottoni
Facebook
11:00
30m
Talk
Performance Analysis and Optimization of C++ Standard Libraries
SPLASH -I
Aditya Kumar
Samsung
,
Sebastian Pop
Samsung Research America
11:30
30m
Talk
Verifying Network Data Planes
SPLASH -I
Nate Foster
Cornell University
13:30 - 15:00
Software Engineering & Education
SPLASH -I
at
Regency D
Chair(s):
Vadim Zaytsev
Raincode Labs, Belgium
13:30
30m
Talk
One if by Lambda, Two if by C: How PL Can Attack Computing Education
SPLASH -I
Kathi Fisler
Brown University
14:00
30m
Talk
Reducing Interruptions at Work with the FlowLight
SPLASH -I
Thomas Fritz
University of British Columbia, University of Zurich
14:30
30m
Talk
Smart Condo: IoT for Social Good
SPLASH -I
Eleni Stroulia
University of Alberta
15:30 - 17:00
Machine Learning & Data Science
SPLASH -I
at
Regency D
Chair(s):
Cristina Cifuentes
Oracle Labs
15:30
30m
Talk
Bridging the Digital Divide in Data Science
SPLASH -I
Hridesh Rajan
Iowa State University
16:00
30m
Talk
Domain-Specific Symbolic Compilation
SPLASH -I
Rastislav Bodík
University of Washington
16:30
30m
Talk
Training and Tuning Machine-Learning Applications: A View from the Trenches
SPLASH -I
Matthew Arnold
,
A:
Harold Ossher
IBM Thomas J. Watson Research Center
Fri 27 Oct
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
Compilers
SPLASH -I
at
Regency D
Chair(s):
Nate Foster
Cornell University
10:30
30m
Talk
DYOL: Design a Language, Know the Consequences
SPLASH -I
Vadim Zaytsev
Raincode Labs, Belgium
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
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
Regency D
PLATEAU
Introduction and Keynote
PLATEAU
Tools and Environments
PLATEAU
Language, DSL, and Feature Design
PLATEAU
Insights into Programmer Thought Processes and Experience
Tue 24 Oct
Displayed time zone:
Tijuana, Baja California
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
Regency D
LIVE
Spring
LIVE
Summer
LIVE
Fall
LIVE
Winter
Wed 25 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Regency D
SPLASH -I
Programming Models
SPLASH -I
Security
SPLASH -I
Panel: Language Evolution
Thu 26 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Regency D
SPLASH -I
Optimization & Networks
SPLASH -I
Software Engineering & Education
SPLASH -I
Machine Learning & Data Science
Fri 27 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Regency D
SPLASH -I
Compilers
SPLASH -I
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
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
17:00
15
30
45
Regency D
PLATEAU
Welcome and Introduction
08:30 - 09:00
PLATEAU
PLATEAU Keynote: Usability Design Space in Programming by Examples
09:00 - 10:00
PLATEAU
The Uses of Interactive Explorers for Web APIs
10:30 - 10:50
PLATEAU
One λ at a time: What do we know about presenting human-friendly output ...
10:50 - 11:10
PLATEAU
What's the Effect of Projectional Editors for Creating Words For Unknow ...
11:10 - 11:30
PLATEAU
Development of a Web Platform for Code Peer-Testing
11:30 - 11:50
PLATEAU
A User Study to Inform the Design of the Obsidian Blockchain DSL
13:30 - 13:50
PLATEAU
Programming Robot Manipulators with Tangible Blocks
13:50 - 14:05
PLATEAU
Preliminary Analysis of REST API Style Guidelines
14:05 - 14:25
PLATEAU
Sympathy for the Devil: Reified Collection of Runtime Errors
14:25 - 14:45
PLATEAU
Preventing Babel: Rectifying the Trend of Programming Language Divergence
14:45 - 15:00
PLATEAU
Lost in Space and Time? Quantifying the Size of Unit Test Execution His ...
15:30 - 15:50
PLATEAU
Modeling Programming Problem Solving Through Interactive Worked Examples
15:50 - 16:05
PLATEAU
OpenMP or Pthreads: Which is Better for Beginners?
16:05 - 16:25
PLATEAU
Can Some Programming Languages Be Considered Harmful?
16:25 - 16:45
PLATEAU
Preliminary Analysis of Contestant Performance for a Code Hunt Contest
16:45 - 17:05
Tue 24 Oct
Displayed time zone:
Tijuana, Baja California
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
Regency D
LIVE
Keynote: User Interfaces for Live Programming
08:30 - 09:20
LIVE
Reifying Programming
09:20 - 09:40
LIVE
Live Programming as Gradual Abstraction
09:40 - 10:00
LIVE
Keynote: Becoming Alive, Growing Up
10:30 - 11:20
LIVE
Toward a Live Stepper for Typed Expressions with Holes
11:20 - 11:40
LIVE
Whatever You Say, Happens: Live Creation of VR/AR Experiences
11:40 - 12:00
LIVE
Lightning Talks
13:30 - 14:20
LIVE
Shadama: A Particle Simulation Programming Environment for Everyone
14:20 - 14:40
LIVE
Seymour: Live Programming for the Classroom
14:40 - 15:00
LIVE
ZenSheet: a live programming environment for reactive computing
15:30 - 15:50
LIVE
Anansi: a Tracing Interpreter
15:50 - 16:10
LIVE
Closing Discussion
16:10 - 17:00
Wed 25 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
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
Regency D
SPLASH -I
Direct Manipulation Programming Systems
10:30 - 11:00
SPLASH -I
Toward Scalable Semantic Big Data
11:00 - 11:30
SPLASH -I
Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Progr ...
11:30 - 12:00
SPLASH -I
Browser Performance Woes: Past, Present, and Future
13:30 - 14:00
SPLASH -I
It's Time for Secure Languages
14:00 - 14:30
SPLASH -I
Preventing Information Leaks by Construction
14:30 - 15:00
SPLASH -I
Panel
Panel: 50 Years of Language Evolution: From Simula’67 to the Future
15:30 - 17:00
Thu 26 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
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
Regency D
SPLASH -I
HHVM: Efficient and Scalable PHP/Hack Execution
10:30 - 11:00
SPLASH -I
Performance Analysis and Optimization of C++ Standard Libraries
11:00 - 11:30
SPLASH -I
Verifying Network Data Planes
11:30 - 12:00
SPLASH -I
One if by Lambda, Two if by C: How PL Can Attack Computing Education
13:30 - 14:00
SPLASH -I
Reducing Interruptions at Work with the FlowLight
14:00 - 14:30
SPLASH -I
Smart Condo: IoT for Social Good
14:30 - 15:00
SPLASH -I
Bridging the Digital Divide in Data Science
15:30 - 16:00
SPLASH -I
Domain-Specific Symbolic Compilation
16:00 - 16:30
SPLASH -I
Training and Tuning Machine-Learning Applications: A View from the Trenches
16:30 - 17:00
Fri 27 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
15
30
45
Regency D
SPLASH -I
DYOL: Design a Language, Know the Consequences
10:30 - 11:00
x
Sat 21 Dec 18:11