Venue: Hyatt Regency Vancouver (opens in new tab)
Website: Systems, Programming, Languages and Applications: Software for Humanity (opens in new tab)
We are excited to be participating in SPLASH 2017, the ACM SIGPLAN conference that embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering.
Committee organizers
Tom Ball, Gabriel Dos Reis, SPLASH 2017 OOPSLA, Program Committee
Alex Kolesnichenko, CHESE 2017, Program Committee
Nikolai Tillmann, CHESE 2017, Steering Committee
Rob DeLine, LIVE 2017, Program Committee
Gustavo Soares, PLATEAU 2017, Organizing Committee, Session Chair of Tools and Environments
Liam Kiemele, Donna Long, SAVR 2017, Program Committee
Tihamer Levendovszky, SLE 2017, Program Committee
Sessions
DéjàVu: A Map of Code Duplicates on GitHub (opens in new tab), Hitesh Sajnani
Seam: Provably Safe Local Edits on Graphs (opens in new tab), Rahul Sharma
Synthesis of Data Completion Scripts using Finite Tree Automata (opens in new tab), Rishabh Singh
Geo-Distribution of Actor-Based Services (opens in new tab), Philip Bernstein, Sebastian Burckhardt, Sergey Bykov, Alok Kumbhare, Muntasir Raihan Rahman, Jorgen Thelin
Finding Bugs and Insights in Semi-structured Data (opens in new tab), Benjamin Zorn
A Volatile-by-Default JVM for Server Applications (opens in new tab), Madan Musuvathi
Project Snowflake: Non-blocking Safe Manual Memory Management for .NET (opens in new tab), Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis
Synthesizing Configuration File Specifications with Association Rule Learning (opens in new tab), Aaron Shim
Semantics of Asynchronous JavaScript (opens in new tab), Mark Marron, Daan Leijen
Static Stages for Heterogeneous Programming (opens in new tab), Todd Mytkowicz
Keynote talks
AGREE! Keynote: Advanced Features of the Orleans Programming Framework (opens in new tab), Philip Bernstein
PLATEAU Keynote: Usability Design Space in Programming by Examples (opens in new tab), Sumit Gulwani
Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services (opens in new tab), Sebastian Burckhardt
Panelists
50 Years of Language Evolution: From Simula’67 to the Future (opens in new tab), Sumit Gulwani
Industry & Academia (opens in new tab), Benjamin Zorn
Workshops
The Influence of Programming Languages on Augmenting Human Understanding (opens in new tab), Benjamin Zorn