Onward! 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
Complete Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Tracks
Onward! 2017
Onward! Essays
Onward! Papers
Organization
Onward! 2017
Organizing Committee
Steering Committee
Onward! Essays
Program Committee
Onward! Papers
Program Committee
Contributors
People Index
Search
Series
Series
SPLASH - Onward! 2019 and later
Onward! 2018
Onward! 2017
Onward! 2016
Onward! 2015
Onward! 2014
Onward! 2013
Sign in
Sign up
SPLASH 2017
(
series
) /
Onward! 2017
(
series
) /
Hyatt Regency Vancouver
/
Room information: Regency D
Venue
Hyatt Regency Vancouver
Room name
Regency D
Floor
0
Additional information
There is no additional information of this room 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) Greenwich Mean Time : Belfast
(GMT+01:00) Greenwich Mean Time : Dublin
(GMT+01:00) Greenwich Mean Time : Lisbon
(GMT+01:00) Greenwich Mean Time : 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) 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
Times are displayed in time zone:
Tijuana, Baja California
change
08:30 - 10:00: Introduction and Keynote
PLATEAU
at
Regency D
08:30 - 09:00
Day opening
Welcome and Introduction
PLATEAU
09:00 - 10:00
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 - 10:50
Talk
The Uses of Interactive Explorers for Web APIs
PLATEAU
John Daughtry
Google, Inc.
,
Andrew Macvean
Google, Inc.
,
Luke Church
Pre-print
10:50 - 11:10
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 - 11:30
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 - 11:50
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 - 13:50
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 - 14:05
Talk
Programming Robot Manipulators with Tangible Blocks
PLATEAU
Yasaman Sefidgar
University of Washington
,
Maya Cakmak
University of Washington
Pre-print
14:05 - 14:25
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 - 14:45
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 - 15:00
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 - 15:50
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 - 16:05
Talk
Modeling Programming Problem Solving Through Interactive Worked Examples
PLATEAU
Dastyni Loksa
University of Washington
,
Amy Ko
University of Washington
Pre-print
16:05 - 16:25
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 - 16:45
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 - 17:05
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
Times are displayed in time zone:
Tijuana, Baja California
change
08:30 - 10:00: Spring
LIVE
at
Regency D
08:30 - 09:20
Talk
Keynote: User Interfaces for Live Programming
LIVE
Jun Kato
National Institute of Advanced Industrial Science and Technology, Japan
09:20 - 09:40
Talk
Reifying Programming
LIVE
Jonathan Edwards
Pre-print
Media Attached
09:40 - 10:00
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 - 11:20
Talk
Keynote: Becoming Alive, Growing Up
LIVE
Luke Church
11:20 - 11:40
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 - 12:00
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 - 14:20
Other
Lightning Talks
LIVE
Sean McDirmid
Independent
14:20 - 14:40
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 - 15:00
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 - 15:50
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 - 16:10
Talk
Anansi: a Tracing Interpreter
LIVE
Scott Kovach
Pre-print
Media Attached
16:10 - 17:00
Other
Closing Discussion
LIVE
Sean McDirmid
Independent
Wed 25 Oct
Times are displayed in 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 - 11:00
Talk
Direct Manipulation Programming Systems
SPLASH -I
Ravi Chugh
University of Chicago
11:00 - 11:30
Talk
Toward Scalable Semantic Big Data
SPLASH -I
Julian Dolby
IBM Thomas J. Watson Research Center
11:30 - 12:00
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 - 14:00
Talk
Browser Performance Woes: Past, Present, and Future
SPLASH -I
Ben Livshits
Imperial College London, UK
14:00 - 14:30
Talk
It's Time for Secure Languages
SPLASH -I
Cristina Cifuentes
Oracle Labs
14:30 - 15:00
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 - 17:00
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
Times are displayed in 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 - 11:00
Talk
HHVM: Efficient and Scalable PHP/Hack Execution
SPLASH -I
Guilherme Ottoni
Facebook
11:00 - 11:30
Talk
Performance Analysis and Optimization of C++ Standard Libraries
SPLASH -I
Aditya Kumar
Samsung
,
Sebastian Pop
Samsung Research America
11:30 - 12:00
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 - 14:00
Talk
One if by Lambda, Two if by C: How PL Can Attack Computing Education
SPLASH -I
Kathi Fisler
Brown University
14:00 - 14:30
Talk
Reducing Interruptions at Work with the FlowLight
SPLASH -I
Thomas Fritz
University of British Columbia, University of Zurich
14:30 - 15:00
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 - 16:00
Talk
Bridging the Digital Divide in Data Science
SPLASH -I
Hridesh Rajan
Iowa State University
16:00 - 16:30
Talk
Domain-Specific Symbolic Compilation
SPLASH -I
Rastislav Bodik
University of Washington
16:30 - 17:00
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
Times are displayed in time zone:
Tijuana, Baja California
change
10:30 - 12:00: Compilers
SPLASH -I
at
Regency D
Chair(s):
Nate Foster
Cornell University
10:30 - 11:00
Talk
DYOL: Design a Language, Know the Consequences
SPLASH -I
Vadim Zaytsev
Raincode Labs, Belgium
Mon 23 Oct
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Times are displayed in 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
Tue 2 Mar 14:31