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
Room number
Capacity
0
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Mon 23 Oct
plateau-2017
08:30 - 10:00:
PLATEAU 2017
- Introduction and Keynote at
Regency D
plateau-2017
08:30 - 09:00
Day opening
Welcome and Introduction
plateau-2017
09:00 - 10:00
Talk
PLATEAU Keynote: Usability Design Space in Programming by Examples
Sumit Gulwani
Microsoft Research
plateau-2017
10:30 - 12:00:
PLATEAU 2017
- Tools and Environments at
Regency D
Chair(s):
Gustavo Soares
Microsoft
plateau-2017
10:30 - 10:50
Talk
The Uses of Interactive Explorers for Web APIs
John Daughtry
Google, Inc.
,
Andrew Macvean
Google, Inc.
,
Luke Church
Pre-print
plateau-2017
10:50 - 11:10
Talk
One λ at a time: What do we know about presenting human-friendly output from program analysis tools?
Titus Barik
Microsoft
,
Chris Parnin
NCSU
,
Emerson Murphy-Hill
North Carolina State University
Pre-print
plateau-2017
11:10 - 11:30
Talk
What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment
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
plateau-2017
11:30 - 11:50
Talk
Development of a Web Platform for Code Peer-Testing
Manuel Maarek
Heriot-Watt University
,
Léon McGregor
Heriot-Watt University
Pre-print
plateau-2017
13:30 - 15:00:
PLATEAU 2017
- Language, DSL, and Feature Design at
Regency D
Chair(s):
Joshua Sunshine
Carnegie Mellon University
plateau-2017
13:30 - 13:50
Talk
A User Study to Inform the Design of the Obsidian Blockchain DSL
Celeste Barnaby
Wesleyan University
,
Michael Coblenz
Carnegie Mellon University
,
Tyler Etzel
,
Eliezer Kanal
Carnegie Mellon University
,
Joshua Sunshine
Carnegie Mellon University
,
Brad Myers
Carnegie Mellon University
,
Jonathan Aldrich
Carnegie Mellon University
Pre-print
plateau-2017
13:50 - 14:05
Talk
Programming Robot Manipulators with Tangible Blocks
Yasaman Sefidgar
University of Washington
,
Maya Cakmak
University of Washington
Pre-print
plateau-2017
14:05 - 14:25
Talk
Preliminary Analysis of REST API Style Guidelines
Lauren Murphy
University of Michigan
,
Tosin Alliyu
Haverford College
,
Mary Beth Kery
Carnegie Mellon University
,
Brad Myers
Carnegie Mellon University
Pre-print
plateau-2017
14:25 - 14:45
Talk
Sympathy for the Devil: Reified Collection of Runtime Errors
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
plateau-2017
14:45 - 15:00
Talk
Preventing Babel: Rectifying the Trend of Programming Language Divergence
Alon Amid
UC Berkeley
,
Borivoje Nikolic
UC Berkeley
Pre-print
plateau-2017
15:30 - 17:00:
PLATEAU 2017
- Insights into Programmer Thought Processes and Experience at
Regency D
Chair(s):
Sarah Chasins
University of California, Berkeley
plateau-2017
15:30 - 15:50
Talk
Lost in Space and Time? Quantifying the Size of Unit Test Execution Histories
Mohammad reza
,
Matthias Hauswirth
Università della Svizzera italiana (USI)
Pre-print
plateau-2017
15:50 - 16:05
Talk
Modeling Programming Problem Solving Through Interactive Worked Examples
Dastyni Loksa
University of Washington
,
Amy Ko
University of Washington
Pre-print
plateau-2017
16:05 - 16:25
Talk
OpenMP or Pthreads: Which is Better for Beginners?
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
plateau-2017
16:25 - 16:45
Talk
Can Some Programming Languages Be Considered Harmful?
Sabine Janssens
StressLabo
,
Ulrik Schultz
University of Southern Denmark
,
Vadim Zaytsev
Raincode Labs, Belgium
Pre-print
plateau-2017
16:45 - 17:05
Talk
Preliminary Analysis of Contestant Performance for a Code Hunt Contest
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
live-2017
08:30 - 10:00:
LIVE 2017
- Spring at
Regency D
live-2017
08:30 - 09:20
Talk
Keynote: User Interfaces for Live Programming
Jun Kato
National Institute of Advanced Industrial Science and Technology, Japan
live-2017
09:20 - 09:40
Talk
Reifying Programming
Jonathan Edwards
Pre-print
Media Attached
live-2017
09:40 - 10:00
Talk
Live Programming as Gradual Abstraction
Sean McDirmid
Independent
Pre-print
Media Attached
live-2017
10:30 - 12:00:
LIVE 2017
- Summer at
Regency D
live-2017
10:30 - 11:20
Talk
Keynote: Becoming Alive, Growing Up
Luke Church
live-2017
11:20 - 11:40
Talk
Toward a Live Stepper for Typed Expressions with Holes
Cyrus Omar
Carnegie Mellon University
,
Ian Voysey
Carnegie Mellon University
,
Matthew Hammer
University of Colorado, Boulder
Pre-print
live-2017
11:40 - 12:00
Talk
Whatever You Say, Happens: Live Creation of VR/AR Experiences
Mike Johnston
Moatboat
Pre-print
Media Attached
live-2017
13:30 - 15:00:
LIVE 2017
- Fall at
Regency D
live-2017
13:30 - 14:20
Other
Lightning Talks
Sean McDirmid
Independent
live-2017
14:20 - 14:40
Talk
Shadama: A Particle Simulation Programming Environment for Everyone
Yoshiki Ohshima
HARC / Y Combinator Research
,
Bert Freudenberg
,
Dan Amelang
Viewpoints Research Institute
Pre-print
Media Attached
live-2017
14:40 - 15:00
Talk
Seymour: Live Programming for the Classroom
Saketh Kasibatla
HARC / Y Combinator Research
,
Alessandro Warth
Y Combinator Research, USA
Pre-print
live-2017
15:30 - 17:00:
LIVE 2017
- Winter at
Regency D
live-2017
15:30 - 15:50
Talk
ZenSheet: a live programming environment for reactive computing
Enzo Alda
Lakebolt Research
,
Monica Figuera
Universidad Simón Bolívar
Media Attached
File Attached
live-2017
15:50 - 16:10
Talk
Anansi: a Tracing Interpreter
Scott Kovach
Pre-print
Media Attached
live-2017
16:10 - 17:00
Other
Closing Discussion
Sean McDirmid
Independent
Wed 25 Oct
splash-2017-SPLASH-I
10:30 - 12:00:
SPLASH-I
- Programming Models at
Regency D
Chair(s):
Gail Murphy
University of British Columbia
splash-2017-SPLASH-I
10:30 - 11:00
Talk
Direct Manipulation Programming Systems
Ravi Chugh
University of Chicago
splash-2017-SPLASH-I
11:00 - 11:30
Talk
Toward Scalable Semantic Big Data
Julian Dolby
IBM Thomas J. Watson Research Center
splash-2017-SPLASH-I
11:30 - 12:00
Talk
Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Programming
Michael Tingley
splash-2017-SPLASH-I
13:30 - 15:00:
SPLASH-I
- Security at
Regency D
Chair(s):
Karim Ali
University of Alberta
splash-2017-SPLASH-I
13:30 - 14:00
Talk
Browser Performance Woes: Past, Present, and Future
Ben Livshits
Imperial College London, UK
splash-2017-SPLASH-I
14:00 - 14:30
Talk
It's Time for Secure Languages
Cristina Cifuentes
Oracle Labs
splash-2017-SPLASH-I
14:30 - 15:00
Talk
Preventing Information Leaks by Construction
Jean Yang
Carnegie Mellon University
splash-2017-SPLASH-I
15:30 - 17:00:
SPLASH-I
- Panel: Language Evolution at
Regency D
splash-2017-SPLASH-I
15:30 - 17:00
Talk
Panel: 50 Years of Language Evolution: From Simula’67 to the Future
Panel
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
splash-2017-SPLASH-I
10:30 - 12:00:
SPLASH-I
- Optimization & Networks at
Regency D
Chair(s):
Eleni Stroulia
University of Alberta
splash-2017-SPLASH-I
10:30 - 11:00
Talk
HHVM: Efficient and Scalable PHP/Hack Execution
Guilherme Ottoni
Facebook
splash-2017-SPLASH-I
11:00 - 11:30
Talk
Performance Analysis and Optimization of C++ Standard Libraries
Aditya Kumar
Samsung
,
Sebastian Pop
Samsung Research America
splash-2017-SPLASH-I
11:30 - 12:00
Talk
Verifying Network Data Planes
Nate Foster
Cornell University
splash-2017-SPLASH-I
13:30 - 15:00:
SPLASH-I
- Software Engineering & Education at
Regency D
Chair(s):
Vadim Zaytsev
Raincode Labs, Belgium
splash-2017-SPLASH-I
13:30 - 14:00
Talk
One if by Lambda, Two if by C: How PL Can Attack Computing Education
Kathi Fisler
Brown University
splash-2017-SPLASH-I
14:00 - 14:30
Talk
Reducing Interruptions at Work with the FlowLight
Thomas Fritz
University of British Columbia, University of Zurich
splash-2017-SPLASH-I
14:30 - 15:00
Talk
Smart Condo: IoT for Social Good
Eleni Stroulia
University of Alberta
splash-2017-SPLASH-I
15:30 - 17:00:
SPLASH-I
- Machine Learning & Data Science at
Regency D
Chair(s):
Cristina Cifuentes
Oracle Labs
splash-2017-SPLASH-I
15:30 - 16:00
Talk
Bridging the Digital Divide in Data Science
Hridesh Rajan
Iowa State University
splash-2017-SPLASH-I
16:00 - 16:30
Talk
Domain-Specific Symbolic Compilation
Rastislav Bodik
University of Washington
splash-2017-SPLASH-I
16:30 - 17:00
Talk
Training and Tuning Machine-Learning Applications: A View from the Trenches
Matthew Arnold
,
Harold Ossher
IBM Thomas J. Watson Research Center
Fri 27 Oct
splash-2017-SPLASH-I
10:30 - 12:00:
SPLASH-I
- Compilers at
Regency D
Chair(s):
Nate Foster
Cornell University
splash-2017-SPLASH-I
10:30 - 11:00
Talk
DYOL: Design a Language, Know the Consequences
Vadim Zaytsev
Raincode Labs, Belgium
Mon 23 Oct 2017
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
17:00
30
Regency D
PLATEAU
Introduction and Keynote
08:30 - 10:00
PLATEAU
Tools and Environments
10:30 - 12:00
PLATEAU
Language, DSL, and Feature Design
13:30 - 15:00
PLATEAU
Insights into Programmer Thought Processes and Experience
15:30 - 17:00
Tue 24 Oct 2017
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
17:00
30
Regency D
LIVE
Spring
08:30 - 10:00
LIVE
Summer
10:30 - 12:00
LIVE
Fall
13:30 - 15:00
LIVE
Winter
15:30 - 17:00
Wed 25 Oct 2017
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Regency D
SPLASH -I
Programming Models
10:30 - 12:00
SPLASH -I
Security
13:30 - 15:00
SPLASH -I
Panel: Language Evolution
15:30 - 17:00
Thu 26 Oct 2017
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Regency D
SPLASH -I
Optimization & Networks
10:30 - 12:00
SPLASH -I
Software Engineering & Education
13:30 - 15:00
SPLASH -I
Machine Learning & Data Science
15:30 - 17:00
Fri 27 Oct 2017
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Regency D
SPLASH -I
Compilers
10:30 - 12:00
SPLASH -I
13:30 - 15:00
Mon 23 Oct 2017
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 2017
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
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 2017
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
17: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 2017
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
17: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 2017
Room
10:00
15
30
45
11:00
15
30
45
Regency D
SPLASH -I
DYOL: Design a Language, Know the Consequences
10:30 - 11:00
x
Fri 6 Dec 21:40