################################################# 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) Contact: [hidden email] # 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) More information here: http://2016.splashcon.org/track/splash2016-splash-i ** 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: - 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. _______________________________________________ Esug-list mailing list [hidden email] http://lists.esug.org/mailman/listinfo/esug-list_lists.esug.org |
Free forum by Nabble | Edit this page |