Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
SPLASH 2017 (series) / Onward! 2017 (series) / Hyatt Regency Vancouver /

Room information: Regency D

VenueHyatt Regency Vancouver
Room nameRegency D
Floor0
Additional informationThere is no additional information of this room available.
Program

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 KeynotePLATEAU 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 GulwaniMicrosoft Research
10:30 - 12:00: Tools and EnvironmentsPLATEAU at Regency D
Chair(s): Gustavo SoaresMicrosoft
10:30 - 10:50
Talk		The Uses of Interactive Explorers for Web APIs
PLATEAU
John DaughtryGoogle, Inc., Andrew MacveanGoogle, 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 BarikMicrosoft, Chris ParninNCSU, Emerson Murphy-HillNorth 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 HollmannUniversity of Duisburg-Essen, Germany, Thorben RoßenbeckUniversity of Duisburg-Essen, Germany, Mark KunzeUniversity of Duisburg-Essen, Germany, Liron TürkUniversity of Duisburg-Essen, Germany, Stefan HanenbergUniversity of Duisburg-Essen
Pre-print
11:30 - 11:50
Talk		Development of a Web Platform for Code Peer-Testing
PLATEAU
Manuel MaarekHeriot-Watt University, Léon McGregorHeriot-Watt University
Pre-print
13:30 - 15:00: Language, DSL, and Feature DesignPLATEAU at Regency D
Chair(s): Joshua SunshineCarnegie Mellon University
13:30 - 13:50
Talk		A User Study to Inform the Design of the Obsidian Blockchain DSL
PLATEAU
Celeste BarnabyWesleyan University, Michael CoblenzCarnegie Mellon University, Tyler Etzel, Eliezer KanalCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
Pre-print
13:50 - 14:05
Talk		Programming Robot Manipulators with Tangible Blocks
PLATEAU
Yasaman SefidgarUniversity of Washington, Maya CakmakUniversity of Washington
Pre-print
14:05 - 14:25
Talk		Preliminary Analysis of REST API Style Guidelines
PLATEAU
Lauren MurphyUniversity of Michigan, Tosin AlliyuHaverford College, Mary Beth KeryCarnegie Mellon University, Brad A. MyersCarnegie Mellon University
Pre-print
14:25 - 14:45
Talk		Sympathy for the Devil: Reified Collection of Runtime Errors
PLATEAU
Tommaso Dal SassoUniversità della Svizzera Italiana, Andrei Chişfeenk, Switzerland, Andrea MocciUniversita della Svizzera italiana (USI), Tudor GîrbaCompuGroup Medical Schweiz AG, Michele LanzaUniversità della Svizzera italiana (USI)
Pre-print
14:45 - 15:00
Talk		Preventing Babel: Rectifying the Trend of Programming Language Divergence
PLATEAU
Alon AmidUC Berkeley, Borivoje NikolicUC Berkeley
Pre-print
15:30 - 17:00: Insights into Programmer Thought Processes and ExperiencePLATEAU at Regency D
Chair(s): Sarah E. ChasinsUniversity 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 HauswirthUniversità della Svizzera italiana (USI)
Pre-print
15:50 - 16:05
Talk		Modeling Programming Problem Solving Through Interactive Worked Examples
PLATEAU
Dastyni LoksaUniversity of Washington, Amy KoUniversity of Washington
Pre-print
16:05 - 16:25
Talk		OpenMP or Pthreads: Which is Better for Beginners?
PLATEAU
Pedro BruelUniversity of São Paulo, Paulo MeirellesUniversity of São Paulo and University of Brasília, Raphael CobeSão Paulo State University, Alfredo GoldmanUniversity of São Paulo
Pre-print
16:25 - 16:45
Talk		Can Some Programming Languages Be Considered Harmful?
PLATEAU
Sabine JanssensStressLabo, Ulrik Pagh SchultzUniversity of Southern Denmark, Vadim ZaytsevRaincode Labs, Belgium
Pre-print
16:45 - 17:05
Talk		Preliminary Analysis of Contestant Performance for a Code Hunt Contest
PLATEAU
Adrian ClarkUniversity of Illinois at Urbana-Champaign, Jonathan WellsUniversity of Illinois at Urbana-Champaign, Angello Astorga, Andrew XieIndependent, Jalen Coleman-LandsUniversity 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: SpringLIVE at Regency D
08:30 - 09:20
Talk		Keynote: User Interfaces for Live Programming
LIVE
Jun KatoNational 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 McDirmidIndependent
Pre-print Media Attached
10:30 - 12:00: SummerLIVE 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 OmarCarnegie Mellon University, Ian VoyseyCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder
Pre-print
11:40 - 12:00
Talk		Whatever You Say, Happens: Live Creation of VR/AR Experiences
LIVE
Mike JohnstonMoatboat
Pre-print Media Attached
13:30 - 15:00: FallLIVE at Regency D
13:30 - 14:20
Other		Lightning Talks
LIVE
Sean McDirmidIndependent
14:20 - 14:40
Talk		Shadama: A Particle Simulation Programming Environment for Everyone
LIVE
Yoshiki OhshimaHARC / Y Combinator Research, Bert Freudenberg, Dan AmelangViewpoints Research Institute
Pre-print Media Attached
14:40 - 15:00
Talk		Seymour: Live Programming for the Classroom
LIVE
Saketh KasibatlaHARC / Y Combinator Research, Alessandro WarthY Combinator Research, USA
Pre-print
15:30 - 17:00: WinterLIVE at Regency D
15:30 - 15:50
Talk		ZenSheet: a live programming environment for reactive computing
LIVE
Enzo AldaLakebolt Research, Monica FigueraUniversidad 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 McDirmidIndependent

Wed 25 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Programming ModelsSPLASH -I at Regency D
Chair(s): Gail MurphyUniversity of British Columbia
10:30 - 11:00
Talk		Direct Manipulation Programming Systems
SPLASH -I
Ravi ChughUniversity of Chicago
11:00 - 11:30
Talk		Toward Scalable Semantic Big Data
SPLASH -I
Julian DolbyIBM 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: SecuritySPLASH -I at Regency D
Chair(s): Karim AliUniversity of Alberta
13:30 - 14:00
Talk		Browser Performance Woes: Past, Present, and Future
SPLASH -I
Ben LivshitsImperial College London, UK
14:00 - 14:30
Talk		It's Time for Secure Languages
SPLASH -I
Cristina CifuentesOracle Labs
14:30 - 15:00
Talk		Preventing Information Leaks by Construction
SPLASH -I
Jean YangCarnegie Mellon University
15:30 - 17:00: Panel: Language EvolutionSPLASH -I at Regency D
15:30 - 17:00
Talk		Panel: 50 Years of Language Evolution: From Simula’67 to the FuturePanel
SPLASH -I
Steven D. Fraser, Lera BoroditskyUC San Diego, Robert Gentleman23andme, Chris GrangerKodowa, Sumit GulwaniMicrosoft Research, Crista LopesUniversity of California, Irvine

Thu 26 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Optimization & NetworksSPLASH -I at Regency D
Chair(s): Eleni StrouliaUniversity of Alberta
10:30 - 11:00
Talk		HHVM: Efficient and Scalable PHP/Hack Execution
SPLASH -I
Guilherme OttoniFacebook
11:00 - 11:30
Talk		Performance Analysis and Optimization of C++ Standard Libraries
SPLASH -I
Aditya KumarSamsung, Sebastian PopSamsung Research America
11:30 - 12:00
Talk		Verifying Network Data Planes
SPLASH -I
Nate FosterCornell University
13:30 - 15:00: Software Engineering & EducationSPLASH -I at Regency D
Chair(s): Vadim ZaytsevRaincode Labs, Belgium
13:30 - 14:00
Talk		One if by Lambda, Two if by C: How PL Can Attack Computing Education
SPLASH -I
Kathi FislerBrown University
14:00 - 14:30
Talk		Reducing Interruptions at Work with the FlowLight
SPLASH -I
Thomas FritzUniversity of British Columbia, University of Zurich
14:30 - 15:00
Talk		Smart Condo: IoT for Social Good
SPLASH -I
Eleni StrouliaUniversity of Alberta
15:30 - 17:00: Machine Learning & Data ScienceSPLASH -I at Regency D
Chair(s): Cristina CifuentesOracle Labs
15:30 - 16:00
Talk		Bridging the Digital Divide in Data Science
SPLASH -I
Hridesh RajanIowa State University
16:00 - 16:30
Talk		Domain-Specific Symbolic Compilation
SPLASH -I
Rastislav BodikUniversity of Washington
16:30 - 17:00
Talk		Training and Tuning Machine-Learning Applications: A View from the Trenches
SPLASH -I
Matthew Arnold, A: Harold OssherIBM Thomas J. Watson Research Center

Fri 27 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: CompilersSPLASH -I at Regency D
Chair(s): Nate FosterCornell University
10:30 - 11:00
Talk		DYOL: Design a Language, Know the Consequences
SPLASH -I
Vadim ZaytsevRaincode Labs, Belgium

Mon 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Regency D

LIVE

Spring

LIVE

Summer

LIVE

Fall

LIVE

Winter

Wed 25 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room10:003011:003012:003013:003014:003015:003016:0030
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

Room10:003011:003012:003013:003014:003015:003016:0030
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

Room10:003011:003012:003013:003014:0030
Regency D

SPLASH -I

Compilers

SPLASH -I

Mon 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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 -IPanel
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room10:00153045
Regency D
SPLASH -I
DYOL: Design a Language, Know the Consequences
10:30 - 11:00