SPLASH'16 Amsterdam: Call For Participation

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

SPLASH'16 Amsterdam: Call For Participation

Tijs van der Storm
#################################################
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)


## Workshop Keynotes

- Andrew Black (NOOL)
- Alan Blackwell (PLATEAU)
- Alastair Donald (WODA)
- Sam Guyer (WODA)
- Felienne Hermans (DSLDI)
- Ben Liblit (WODA)
- Benjamin Livshits (WODA)
- Ivano Malavolta (Mobile!)
- Yannis Smaragdakis (WODA)
- Frank Tip (WODA)
- Markus Voelter (ITSLE) 


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

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

- LogicBlox (Gold): http://www.logicblox.com/
- TU Delft (Silver): http://tudelft.nl/
- Huawei (Bronze): http://www.huawei.com/en/
- Facebook (Bronze): https://research.facebook.com/
- IBM Research (Bronze): http://www.research.ibm.com/
- Google (Bronze): https://www.google.com
- Itemis (Bronze): https://www.itemis.com/en/
- ING (Bronze): https://www.ing.nl

Interested in supporting SPLASH'16? See our options here: http://2016.splashcon.org/attending/support-program.


_______________________________________________
Esug-list mailing list
[hidden email]
http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org