SPLASH'16 Amsterdam CFP: early registration ends Sept 30

TV
Tijs van der Storm
Wed, Sep 28, 2016 8:18 PM

#################################################
ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'16)
#################################################

Amsterdam, The Netherlands
Sun 30th October - Fri 4th November , 2016

http://2016.splashcon.org
https://twitter.com/splashcon
https://www.facebook.com/SPLASHCon/

** REGISTRATION **

30 September 2016 (Early Deadline)
Contact: info@splashcon.org
http://2016.splashcon.org/attending/registration

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

http://2016.splashcon.org/program/program-splash-2016

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

More information here:
http://2016.splashcon.org/track/splash-2016-splash-i#program

** Research tracks

** Other Events

** Workshops

SPLASH'16 is hosting a record number of 15 workshops:

SPLASH'16 is kindly supported by the following organizations:

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

################################################# ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) ################################################# Amsterdam, The Netherlands Sun 30th October - Fri 4th November , 2016 http://2016.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ ** REGISTRATION ** 30 September 2016 (Early Deadline) Contact: info@splashcon.org http://2016.splashcon.org/attending/registration # 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 ** http://2016.splashcon.org/program/program-splash-2016 ** 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) More information here: http://2016.splashcon.org/track/splash-2016-splash-i#program ** Research tracks - OOPSLA http://2016.splashcon.org/track/splash-2016-oopsla#event-overview - Onward! http://2016.onward-conference.org/track/onward-2016-papers#event-overview - Onward! Essays http://2016.onward-conference.org/track/onward2016-essays#program - Software Language Engineering (SLE) http://conf.researchr.org/track/sle-2016/sle-2016-papers#event-overview - Generative Programming: Concepts & Experiences (GPCE) http://conf.researchr.org/track/gpce-2016/gpce-2016-papers#event-overview - Dynamic Languages Symposium (DLS) http://conf.researchr.org/track/dls-2016/dls-2016-papers#event-overview - Scala Symposium http://conf.researchr.org/track/scala-2016/scala-2016#event-overview ** Other Events - Doctoral Symposium http://2016.splashcon.org/track/splash-2016-ds#event-overview - Programming Language Mentoring Workshop (PLMW) http://2016.splashcon.org/track/splash-2016-plmw - Student Research Competition (SRC) http://2016.splashcon.org/track/splash-2016-src - Posters http://2016.splashcon.org/track/splash-2016-posters#event-overview ** Workshops SPLASH'16 is hosting a record number of 15 workshops: - AGERE! Programming based on Actors, Agents, and Decentralized Control http://2016.splashcon.org/track/agere2016 - DSLDI: Domain-Specific Language Design and Implementation http://2016.splashcon.org/track/dsldi2016 - DSM: Domain-Specific Modeling http://2016.splashcon.org/track/dsm2016 - FOSD: Feature-oriented Software Development http://www.fosd.net/workshop2016 - ITSLE: Industry Track Software Language Engineering http://2016.splashcon.org/track/itsle2016 - LWC@SLE: Language Workbench Challenge http://2016.splashcon.org/track/lwc2016 - META http://2016.splashcon.org/track/meta2016 - Mobile! http://2016.splashcon.org/track/mobile2016 - NOOL: New Object-Oriented Languages http://2016.splashcon.org/track/nool2016 - PLATEAU: Evaluation and Usability of Programming Languages and Tools http://2016.splashcon.org/track/plateau2016 - Parsing@SLE http://2016.splashcon.org/track/parsing2016 - REBLS: Reactive and Event-based Languages & Systems http://2016.splashcon.org/track/rebls2016 - SA-MDE: Tutorial on MDD with Model Catalogue and Semantic Booster http://2016.splashcon.org/track/samde2016 - SEPS: Software Engineering for Parallel Systems http://2016.splashcon.org/track/seps2016 - VMIL: Virtual Machines and Intermediate Languages http://2016.splashcon.org/track/vmil2016 - WODA: Workshop on Dynamic Analysis http://2016.splashcon.org/track/woda2016 ## SPLASH'16 is kindly supported by the following organizations: - ACM: http://www.acm.org/ - SIGPLAN: http://www.sigplan.org/ - LogicBlox (Gold): http://www.logicblox.com/ - Universal Robots (PLMW, Gold): http://www.universal-robots.com/ - Oracle (Silver): http://www.oracle.com/index.html - 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.