SPLASH'16 Amsterdam: Call For Participation

tvdstorm@gmail.com
Mon, 12 Sep 2016 14:21:39 -0700 (PDT)

          From comp.compilers

Related articles
SPLASH'16 Amsterdam: Call For Participation tvdstorm@gmail.com (2016-09-12)
| List of all articles for this month |

From: tvdstorm@gmail.com
Newsgroups: comp.compilers
Date: Mon, 12 Sep 2016 14:21:39 -0700 (PDT)
Organization: Compilers Central
Injection-Info: miucha.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="39456"; mail-complaints-to="abuse@iecc.com"
Keywords: conference
Posted-Date: 13 Sep 2016 10:48:44 EDT

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




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


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


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


- JC<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, Donbt 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 SC6derbergh
    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 VC6lter
    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/splash2016-splash-i


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


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.