Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
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
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
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
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
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

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
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
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
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

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

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

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

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

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

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