#################################################
ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'16)
#################################################
Amsterdam, The Netherlands
Sun 30th October - Fri 4th November , 2016
** REGISTRATION **
30 September 2016 (Early Deadline)
# What's happening at SPLASH?
## Keynotes
- Benjamin Pierce (SPLASH)
�� The Science of Deep Specification
- Andy Ko (SPLASH)
�� A Human View of Programming Languages
- Martin Odersky (SPLASH)
- Guy Steele Jr. (SPLASH-I)
- Robby Findler (SLE)
�� Redex: Lightweight Semantics Engineering
- Tiark Rompf (GPCE)
�� Lightweight Modular Staging: Generate all the things!
- Simon Peyton Jones (SPLASH-I/E)
�� The dream of a lifetime: shaping how our children learn computing
- Laurence Tratt (Scala)
�� Fine-grained language composition without a common VM
- Jan Vitek (Scala)
�� This is not a Type: Gradual typing in practice
����
## Workshop Keynotes
- Andrew Black (NOOL)
�� The Essence of Inheritance
����
- Alan Blackwell (PLATEAU)
�� How to Design a Programming Language
����
- Felienne Hermans (DSLDI)
�� Small, simple and smelly: What we can learn from examining end-user artifacts?
- Ivano Malavolta (Mobile!)
�� Beyond native apps: Web technologies to the rescue!
- Betsy Pepels (ITSLE)
�� Model Driven Software Engineering (MDSE) in the large
- Markus Voelter (ITSLE)
�� Lessons Learned about Language Engineering from the Development of mbeddr
- Beverly Sanders (SEPS)
�� Patterns for Parallel Programming: New and Improved!
** Conference Program **
** SPLASH-I Track **
SPLASH-I is a series of invited and solicited talks that address topics relevant to the SPLASH community. Speakers are world-class experts in their field, selected and invited by the organizers. The SPLASH-I talks series is held in parallel with the rest of SPLASH during the week days. Talks are open to all attendees.
A selection of confirmed talks:
- Edwin Brady
�� Type-driven Development in Idris
- J��rgen Cito
�� Using Docker Containers to Improve Reproducibility in PL/SE Research
- Yvonne Coady
�� Exploratory Analysis in Virtual Reality: The New Frontier��
- Adam Chlipala
�� Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web
- Tudo Girba
�� Software Environmentalism
- Robert Grimm
�� Adventures in Software Evolution
- Brian Harvey
�� Snap! Scheme Disguised as Scratch
- Lennart Kats
�� Responsive Language Tooling For Cloud-based IDEs
- Ralf Laemmel
�� The basic skill set of software language engineering
- Crista Lopes
�� Simulating Cities: The Spacetime Framework
- Heather Miller
�� Language Support for Distributed Systems
- Mark Miller & Bill Tulloh
�� The elements of decision alignment: Large programs as complex organizations
- Boaz Rosenan & David Lorenz
�� Define Your App, Don���t Implement It: Building a Scalable Social Network in 45 minutes
- Emmanuel Schanzer
�� Bootstrap
- Chris Seaton
�� Truffle and Graal: Fast Programming Languages With Modest Effort
- Emma S��derbergh
�� From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration
- Emma Tosch
�� Designing and Debugging Surveys with SurveyMan
- Todd Veldhuizen
�� Fast Datalog
- Markus V��lter
�� How Domain Requirements Shape Languages
- Jos Warmer
�� Making Mendix Meta Model Driven
- Andy Zaidman
�� Fact or fiction? What software analytics can do for us (developers and researchers)
����
** Research tracks
- OOPSLA
- Onward!
- Onward! Essays
- Software Language Engineering (SLE)
- Generative Programming: Concepts & Experiences (GPCE)
- Dynamic Languages Symposium (DLS)
����
- Scala Symposium
����
** Other Events
- Doctoral Symposium
- Programming Language Mentoring Workshop (PLMW)
- Student Research Competition (SRC)
����
- Posters
** Workshops
SPLASH'16 is hosting a record number of 15 workshops:
- AGERE! Programming based on Actors, Agents, and Decentralized Control
����
- DSLDI: Domain-Specific Language Design and Implementation
����
- DSM: Domain-Specific Modeling
- FOSD: Feature-oriented Software Development
- ITSLE: Industry Track Software Language Engineering
- LWC@SLE: Language Workbench Challenge
- META
- Mobile!
- NOOL: New Object-Oriented Languages
- PLATEAU: Evaluation and Usability of Programming Languages and Tools
- Parsing@SLE
- REBLS: Reactive and Event-based Languages & Systems
- SA-MDE: Tutorial on MDD with Model Catalogue and Semantic Booster
- SEPS: Software Engineering for Parallel Systems
- VMIL: Virtual Machines and Intermediate Languages
- WODA: Workshop on Dynamic Analysis
## SPLASH'16 is kindly supported by the following organizations: