Write a Blog >>
SAVR 2017
Tue 24 Oct 2017 Vancouver, Canada
co-located with SPLASH 2017
VenueHyatt Regency Vancouver
Room nameRegency D
Floor0
Room InformationNo extra information 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

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Introduction and KeynotePLATEAU 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 EnvironmentsPLATEAU 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 DesignPLATEAU 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 ExperiencePLATEAU 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
SpringLIVE 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
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
SummerLIVE at Regency D
10:30
50m
Talk
Keynote: Becoming Alive, Growing Up
LIVE
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
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

Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Programming ModelsSPLASH -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
13:30 - 15:00
SecuritySPLASH -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 EvolutionSPLASH -I at Regency D
15:30
90m
Talk
Panel: 50 Years of Language Evolution: From Simula’67 to the FuturePanel
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 & NetworksSPLASH -I at Regency D
Chair(s): Eleni Stroulia University of Alberta
10:30
30m
Talk
HHVM: Efficient and Scalable PHP/Hack Execution
SPLASH -I
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 & EducationSPLASH -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 ScienceSPLASH -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
CompilersSPLASH -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

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

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

Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

Thu 26 Oct

Displayed time zone: Tijuana, Baja California change

Fri 27 Oct

Displayed time zone: Tijuana, Baja California change

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

Fri 27 Oct

Displayed time zone: Tijuana, Baja California change