WODA 2017
Sun 22 - Fri 27 October 2017
Vancouver, Canada
co-located with
SPLASH 2017
Toggle navigation
Attending
Venue: Hyatt Regency Vancouver
Program
WODA Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Track/Call
Organization
WODA 2017 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
WODA 2017
WODA 2016
WODA 2015
Sign in
Sign up
SPLASH 2017
(
series
) /
WODA 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
Sun 24 Nov 01:21