Program - SPLASH 2016

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 30 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15		30		45	9:00			15		30		45	10:00	15	30	45			11:00			15		30		45	12:00	15	30	45	13:00	15	30	45			14:00			15		30		45		15:00	15	30		45	16:00			15		30		45		17:00	15		30	45
Berlin				FOSD Workshop Opening 08:30 - 08:40	FOSD Keynote: Perspectives of Projection-Based Variation Control Systems 08:40 - 10:00												FOSD Implementing Delta-Oriented SPLs using PEoPL: An Example Scenario and C ... 10:30 - 11:00					FOSD Higher-Order Delta Modeling for Software Product Line Evolution 11:05 - 11:35					FOSD Name Resolution Strategies in Variability Realization Languages for Sof ... 11:40 - 12:10								FOSD Formula Choice Calculus 13:30 - 14:00					FOSD Implicit Constraints in Partial Feature Models 14:05 - 14:35					FOSD Towards Predicting Feature Defects in Software Product Lines 14:40 - 15:10						FOSD Variability Mining of State Charts 15:40 - 16:10				FOSD FeatureCoPP: Compositional Annotations 16:10 - 16:40				FOSD Lightning Talk: Comparing Variability Mechanisms for Requirements and T ... 16:40 - 16:50		FOSD Fine-Grained Test Case Prioritization for Integration Testing of Delta- ... 16:50 - 17:20
Hamburg				DSM Workshop Introduction 08:30 - 09:05				DSM Run-time Code Generators for Model-level Debugging in Domain-specific M ... 09:05 - 09:25			DSM A DSL-based Approach for Elasticity Testing of Cloud System, Michel Alb ... 09:25 - 09:45			DSM DesignScript: a domain specific language for architectural computing (p ... 09:45 - 10:00			DSM Model-Driven Separation of Concerns for Service Robotics, Kai Adam, Arv ... 10:30 - 10:50		DSM Improving Maintenance by Creating a DSL for Configuring a Fieldbus, Mat ... 10:50 - 11:10				DSM CPAL: High-Level Abstractions for Safe Embedded Systems, Nicolas Navet ... 11:10 - 11:30			DSM A Safe Autonomous Vehicle Trajectory Domain Specific Modeling Language ... 11:30 - 11:45		DSM Applying Test-Driven Development for Creating and Refining Domain-Speci ... 11:45 - 12:00	DSM Instance Modeling Assisted by an Optional Meta Level, Riccardo Solmi 12:00 - 12:15						DSM Panel on Industrial Use of Domain-Specific Modeling 13:30 - 14:50												DSM Group work topic selection 14:50 - 15:10				DSM Group work 15:40 - 17:00											DSM Group work reporting and wrap-up 17:00 - 17:20
Luzern			AGERE Welcome 08:25 - 08:30	AGERE 43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties 08:30 - 09:00			AGERE Pluggable Scheduling for the Reactor Programming Model 09:00 - 09:30					AGERE An Extension of AgentSpeak(L) and Jason Tailored to Programming and Sof ... 09:30 - 10:00					AGERE Interaction Protocols in the JADEL Programming Language 10:30 - 11:00				AGERE Atomic RMI 2: Distributed Transactions for Java 11:00 - 11:30					AGERE Conflicting Goals in Agent-Oriented Programming 11:30 - 12:00			AGERE Many Spiders Make a Better Web: A Unified Web-Based Actor Framework 12:00 - 12:30						AGERE Actor Monitors for Adaptive Behaviour 13:30 - 13:50		AGERE Dynamic Path Contraction for Distributed Dataflow Languages 13:50 - 14:10				AGERE Shared State for Actors: Pass-By-Replication Semantics 14:10 - 14:30			AGERE Towards an Integration of the Actor Model in an FRP Language for Small- ... 14:30 - 14:50			AGERE Towards Advanced Debugging Support for Actor Languages 14:50 - 15:10				AGERE Programming Actor-based Collective Adaptive Systems 15:40 - 16:00		AGERE Separating Communication Concerns in Concurrent Systems 16:00 - 16:20				AGERE DISCUSSION 16:20 - 17:25							AGERE Closing 17:25 - 17:30
Matterhorn 1				Parsing@SLE Opening 08:30 - 08:45		Parsing@SLE Disambiguation for SDF3 with Deep Priority Conflicts 08:45 - 09:10			Parsing@SLE Multiple input GLL parsing 09:10 - 09:35				Parsing@SLE Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern 09:35 - 10:00				Parsing@SLE MADFAct—Constructing Dictionaries 10:30 - 10:55			Parsing@SLE There’s more than one way to skin a cat 10:55 - 11:20					Parsing@SLE Knowledge-Based Support for Domain Specific Language Generation 11:20 - 11:45			Parsing@SLE Parsing in K-Framework 11:45 - 12:10							Parsing@SLE Context-Sensitive Parsing Through Stateful Parsing 13:30 - 13:55			Parsing@SLE Goodbye Chomsky, Hello Tesnière: Replacing Constituency with Dependency ... 13:55 - 14:20					Parsing@SLE Deriving Grammar Transformations for Developing and Maintaining Multipl ... 14:20 - 14:45			Parsing@SLE Composition of independent language extensions to C 14:45 - 15:10					Parsing@SLE Generalised Parsing and Combinator Parsing: a Happy Marriage? 15:40 - 16:05			Parsing@SLE Good enough for you? Explaining ourselves through standard challenges 16:05 - 16:30				Parsing@SLE Discussion and closing 16:30 - 17:20
Matterhorn 2				Scala Opening - Day 1 08:30 - 09:00			ScalaKeynote Fine-grained language composition without a common VM 09:00 - 10:00										Scala Implementing Higher-Kinded Types in Dotty 10:30 - 10:55			Scala Semantics-Driven Interoperability between Scala.js and JavaScript 10:55 - 11:20					Scala A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Shor ... 11:20 - 11:45			Scala Scaps: Type-Directed API Search for Scala 11:45 - 12:10							Scala RandIR: Differential Testing for Embedded Compilers 13:30 - 13:55			Scala Reflections on LMS: Exploring Front-End Alternatives 13:55 - 14:20					Scala SecureScala: Scala Embedding of Secure Computations 14:20 - 14:45			Scala Towards a Scala embedded information system description DSL 14:45 - 15:10					Scala Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions” 15:40 - 16:05			Scala A Scalable Infrastructure for Teaching Concepts of Programming Language ... 16:05 - 16:30				Scala Unconference 1 16:30 - 17:20
Matterhorn 3				META Evolution of Metaprograms: XSLT as a Metaprogramming Language 08:30 - 09:00			META Coloured Petri-Nets Framework for Simulating Method Invocations on Cont ... 09:00 - 09:30					META Implementation of LMNtal Model Checkers: a Metaprogramming Approach 09:30 - 10:00					META A model for Reflection in Rule-Based Languages 10:30 - 11:00				META Instance Migration in Dynamic Software Update 11:00 - 11:30					META AST Specialisation and Partial Evaluation for Easy High-Performance Met ... 11:30 - 12:00									META Declaratively Specifying Security Policies For Web Applications 13:30 - 14:00				META Virtual Values for Taint and Information Flow Analysis 14:00 - 14:30					META Capability Safe Reflection for the Wyvern Language 14:30 - 15:00							META Reflection in Dart: A Cautionary Experience 15:40 - 16:40								META ChromaKey: Towards Extensible Mirror Architectures 16:40 - 17:20

Mon 31 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15	30			45	9:00		15	30		45	10:00	15	30		45		11:00		15			30		45	12:00	15	30	45	13:00	15		30		45		14:00			15			30		45			15:00		15		30		45	16:00			15	30		45			17:00		15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45
Basel															SA-MDE Welcome 10:30 - 10:55			SA-MDE The ALIGNED vision 10:55 - 11:20				SA-MDE Introducing the The Metadata Catalogue 11:20 - 11:45				SA-MDE Booster: A Gentle Introduction 11:45 - 12:10								SA-MDE Metadata Catalogue: A Guided Tour 13:30 - 14:20								SA-MDE Metadata Catalogue: Interactive Hands-On 14:20 - 15:10												SA-MDE Booster: A Guided Tour 15:40 - 16:13					SA-MDE Booster: Interactive Hands-On 16:13 - 16:46			SA-MDE Wrap-up and discussion 16:46 - 17:20
Geneva															ITSLE Keynote: Lessons learned about language engineering from the developmen ... 10:30 - 11:29									ITSLE Coffee break 11:30 - 11:39	ITSLE Pattern Specification and Application in Metamodels in Ecore 11:40 - 12:10									ITSLE Invited talk: Model Driven Software Engineering (MDSE) in the large 13:30 - 13:59				ITSLE Solving the Bank with Rebel 14:00 - 14:29						ITSLE Udapt: Edapt Extensions for Industrial Application 14:30 - 14:59					ITSLE SPLASH break & networking 15:00 - 15:10					ITSLE A Domain Specific Language for Optimal Pumping Systems 15:40 - 16:09				ITSLE Integrated Simulation of CIF3 and Simulink Models 16:10 - 16:39			ITSLE Short break 16:40 - 16:49		ITSLE Panel discussion (Chairs: Yanja Dajsuren/Peter Kourzanov) 16:50 - 17:20
Lausanne			Mobile! Opening 08:30 - 08:35	Mobile! Keynote: "Beyond native apps: Web technologies to the rescue!" 08:35 - 09:05				Mobile! Google Authentication Risks on iOS 09:05 - 09:35			Mobile! Managing Persistent Heap in NVRAM 09:35 - 10:00				Mobile! Persistent Contextual Values as Inter-process Layers 10:30 - 10:55			Mobile! Hacking with Multi-touch for Java (MT4j) 10:55 - 11:20				Mobile! Regression Aware Debugging for Mobile Applications 11:20 - 11:45				Mobile! Data Collection Requirements for Mobile Connected Health: An End User D ... 11:45 - 12:10								Mobile! Generative Programming: from High-Performance to Safety-Critical Applic ... 13:30 - 13:55			Mobile! Scaling Android User Interfaces: A Case Study of Squid 13:55 - 14:10			Mobile! A Model-Based Method for Seamless Web and Mobile Experience 14:10 - 14:40					Mobile! Mobile Application Test Case Generation Focusing on External Events 14:40 - 14:55			Mobile! GUI and Usage Model-Based Test Case Generation for Android Applications ... 14:55 - 15:10						Mobile! Group Activity with Mobile Development Topic 15:40 - 17:10												Mobile! Closing 17:10 - 17:20
Luzern			NOOL Welcome 08:30 - 09:00				NOOL The Essence of Inheritance 09:00 - 10:00								NOOL Polite Programmers, Use Spaces in Identifiers When Needed 10:30 - 11:05					NOOL Actors and Hot Objects 11:05 - 11:40														NOOL Nomen: A Dynamically Typed OO Programming Language, Transpiled to Java 13:30 - 14:05					NOOL Static Typing Without Static Types - Typing Inheritance from the Bottom Up 14:05 - 14:40						NOOL The Essence of Subclassing 14:40 - 15:15									NOOL Situated Objects 15:40 - 16:15					NOOL Towards Automatic Decoration 16:15 - 16:50				NOOL Delegation Revisited 16:50 - 17:25
Matterhorn 1															DSLDI Small, simple and smelly: What we can learn from examining end-user art ... 10:30 - 12:10																			DSLDI The DSGA Model of DSL Design: Domain, Schema, Grammar, Actions 13:30 - 13:55			DSLDI Naturally Embedded DSLs 13:55 - 14:20					DSLDI Towards explanation-oriented introductory programming 14:20 - 14:45				DSLDI DesignScript: a scalable multi-paradigm domain-specific end-user langua ... 14:45 - 15:10								DSLDI Collaborative Design, Implementation and Use of Domain-Specific Languages 15:40 - 16:05			DSLDI Program Generation for Linear Algebra Using Multiple Layers of DSLs 16:05 - 16:30			DSLDI The Matrix Chain Algorithm to Compile Linear Algebra Expressions 16:30 - 16:55				DSLDI The Definition and Anatomy of Model Driven Engineering and Domain Speci ... 16:55 - 17:20
Matterhorn 2			Scala Opening - Day 2 08:30 - 09:00				ScalaKeynote This is not a Type: Gradual typing in practice 09:00 - 10:00								Scala Practical Aggregate Programming in Scala 10:30 - 10:55			Scala DynaML: A Scala machine learning environment 10:55 - 11:20				Scala Scala-Gopher: CSP-style programming techniques with idiomatic Scala. 11:20 - 11:45				Scala Reactive Async: Expressive Deterministic Concurrency 11:45 - 12:10								Scala SMT-Based Checking of Predicate-Qualified Types for Scala 13:30 - 13:55			Scala A Scala Library for Testing Student Assignments on Concurrent Programming 13:55 - 14:20					Scala Building a Modular Static Analysis Framework in Scala (Tool Paper) 14:20 - 14:45				Scala Automatically finding Scala soundness bugs 14:45 - 15:10								Scala Using Scala’s pattern matching features for an attribute grammar formal ... 15:40 - 16:05			Scala The sbt-rats Parser Generator Plugin for Scala (Tool Paper) 16:05 - 16:30			Scala Unconference 2 16:30 - 17:20
Matterhorn 3															SPLASH -IKeynote SPLASH-I/E Keynote: The dream of a lifetime: Shaping how our children ... 10:30 - 11:20							SPLASH -I Snap!: Scheme Disguised as Scratch 11:20 - 12:10												SPLASH -I Agent-Oriented Programming 13:30 - 15:10																				SPLASH -I The elements of decision alignment: Large programs as complex organizations 15:40 - 17:20
PTA																																	SPLASH Posters A Sampling-based Approach to Accelerating Queries in Log Management Systems 17:30 - 17:48 SPLASH Social Program Monday Poster Reception 17:30 - 20:30		SPLASH Posters A Web Application is a Domain-Specific Language 17:48 - 18:06		SPLASH Posters Introducing Lightweight Reactive Values to Java 18:06 - 18:24				SPLASH Posters Reconsidering Reliability in Distributed Actor Systems 18:24 - 18:42			SPLASH Posters Reducing Procedure Call Bloat in ARM Binaries 18:42 - 19:00			SPLASH Posters Removing Stagnation from Modern Code Review 19:00 - 19:18			SPLASH Posters Specifying CSS Layout with Reference Attribute Grammars 19:18 - 19:36		SPLASH Posters Supporting Resource Bounded Multitenancy in Akka 19:36 - 19:54			SPLASH Posters libDSU: Towards Hot-Swapping Dynamically Linked Libraries on Stock Linux 19:54 - 20:12	SPLASH Posters sk_p: a neural program corrector for MOOCs 20:12 - 20:30
St Gallen			VMIL Opening Remarks 08:30 - 08:40		VMIL Keynote: The good, the good enough, and some things we wish we had done ... 08:40 - 09:35						VMIL Extending OpenJDK To Support Hybrid STM/HTM 09:35 - 10:00				VMIL SPLASH-E Keynote (Room Matterhorn 3) 10:30 - 11:20								VMIL Invited Talk: Why aren't more users more happy with our VMs? 11:25 - 12:10											VMIL Keynote: WebAssembly from wire to machine code: a view inside V8's impl ... 13:30 - 14:25									VMIL Invited Talk: The seven ages of virtual machines (with apologies to Sha ... 14:25 - 15:10											VMIL Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR ... 15:40 - 16:05			VMIL Improving Trace-based JIT Optimisation using Whole-Program Information 16:05 - 16:30			VMIL Rebuilding an Airliner In Flight: A Retrospective on Refactoring IBM Te ... 16:30 - 16:55				VMIL Discussions/Closing Remarks 16:55 - 17:20
Winterthur															SPLASH -E The dream of a lifetime: Shaping how our children learn computing 10:30 - 11:20							SPLASH -E Snap!: Scheme Disguised as Scratch 11:20 - 12:10
Zürich 1															GPCE Recaf: Java Dialects as Libraries 10:30 - 11:00				GPCE Classless Java 11:00 - 11:30					GPCE Extensible Modeling with Managed Data in Java 11:30 - 12:00										GPCE Actor Profiling in Virtual Execution Environments 13:30 - 14:00				GPCE Bootstrapping Domain-Specific Meta-Languages in Language Workbenches 14:00 - 14:30						GPCE Dependence-Driven Delimited CPS Transformation for JavaScript 14:30 - 15:00										GPCE Synthesizing Regular Expressions from Examples for Introductory Automat ... 15:40 - 16:10				GPCE Programmable Semantic Fragments: The Design and Implementation of typy 16:10 - 16:40			GPCE Delaying Decisions in Variable Concern Hierarchies 16:40 - 17:10					GPCE Automatic Code Generation in Practice: Experiences with Embedded Robot ... 17:10 - 17:25
Zürich 2			GPCEKeynote GPCE 2016 Keynote: Lightweight Modular Staging (LMS): Generate all the ... 08:30 - 10:00												SLE Opening 10:30 - 10:40	SLE Parsing and Reflective Printing, Bidirectionally 10:40 - 11:05				SLE Taming Context-Sensitive Languages with Principled Stateful Parsing 11:05 - 11:30				SLE MetaEdit+ for Collaborative Language Engineering and Language Use (Tool ... 11:30 - 11:45		SLE Efficient Development of Consistent Projectional Editors using Grammar ... 11:45 - 12:10								SLE Experiences of Models@run-time with EMF and CDO 13:30 - 13:55			SLE Runtime Support for Rule-Based Access-Control Evaluation through Model- ... 13:55 - 14:20					SLE Object-Oriented Design Pattern for DSL Program Monitoring 14:20 - 14:45				SLE Execution Framework of the GEMOC Studio (Tool Demo) 14:45 - 15:00								SLE Language Design and Implementation for the Domain of Coding Conventions 15:40 - 16:05			SLE BSML-mbeddr: Integrating Semantically Configurable State-Machine Models ... 16:05 - 16:30			SLE Adding Uncertainty and Units to Quantity Types in Software Models 16:30 - 16:55				SLE FRaMED: Full-Fledge Role Modeling Editor (Tool Demo) 16:55 - 17:10		SLE Awards 17:10 - 17:20

Tue 1 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15	30		45		9:00	15	30	45	10:00	15	30	45		11:00			15		30		45	12:00		15	30	45	13:00	15		30	45		14:00		15		30	45		15:00	15	30		45	16:00			15		30		45	17:00	15	30	45	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45	22:00	15	30	45
Fifteen																															GPCE GPCE & SLE Dinner 18:30 - 22:30 SLE GPCE & SLE Dinner 18:30 - 22:30
Geneva			SPLASH Doctoral Symposium Welcome 08:30 - 08:34	SPLASH Doctoral Symposium Lightning Talks 08:34 - 08:50		SPLASH Doctoral Symposium Integrating Concerns with Development Environments 08:50 - 09:30			SPLASH Doctoral Symposium Dedicated Support for Analyses and Optimizations in Language Workbenches 09:30 - 10:10				SPLASH Doctoral Symposium VeriTaS: Verification of Type System Specifications 10:30 - 11:10					SPLASH Doctoral Symposium Language Support for Verifiable SDNs 11:10 - 11:50														SPLASH Doctoral Symposium Multitier Reactive Abstractions 13:30 - 14:10				SPLASH Doctoral Symposium Scaling Testing of Refactoring Engines 14:10 - 14:50									SPLASH Doctoral Symposium Spray: Programming with a Persistent Distributed Heap 15:40 - 16:20						SPLASH Doctoral Symposium Towards Practical Release-Level Dynamic Software Updating on Stock Java 16:20 - 17:00				SPLASH Doctoral Symposium How to get your Ph.D. DONE 17:00 - 17:20
Hamburg			SPLASH PLMW Welcome and overview 08:30 - 09:00				SPLASH PLMW Real Researchers Allow Passion to Guide Them 09:00 - 10:00						SPLASH PLMW Programing Languages Research in an Open Source Setting: the Coccinelle ... 10:30 - 11:30								SPLASH PLMW Networking activity (before and after lunch) 11:30 - 12:10											SPLASH PLMW Why Programming Languages Matter 13:30 - 14:30							SPLASH PLMW Panel: Young Researchers 14:30 - 15:10						SPLASH PLMW My Twenty-Five Years in OO 15:40 - 16:30							SPLASH PLMW What to do at SPLASH 16:30 - 17:20
Lausanne					REBLS Welcome and Introduction 08:45 - 09:00		REBLS ActiveSheets: Stream Processing with a Spreadsheet (Keynote) 09:00 - 10:00						REBLS A Reactive Interpretation of Session-Based Concurrency (In Progress Paper) 10:30 - 10:55		REBLS Synchronous-Reactive Web Programming 10:55 - 11:20					REBLS Towards a Comprehensive Multitier Reactive Language 11:20 - 11:45			REBLS I Now Pronounce You Reactive and Consistent: Handling Distributed and R ... 11:45 - 12:10
Luzern													LWC@SLE Solutions to Three Language Workbench Challenges using Wizards Workbench 10:30 - 10:55		LWC@SLE Whole Platform Solution to a Selection of LWC16 Benchmark Problems 10:55 - 11:20					LWC@SLE Cedalion's Response to the 2016 Language Workbench Challenge 11:20 - 11:45			LWC@SLE Language Workbench Challenge 2016: the JetBrains Meta Programming System 11:45 - 12:10									LWC@SLE Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax ... 13:30 - 13:55		LWC@SLE The Rascal Approach to Code in Prose, Computed Properties, and Language ... 13:55 - 14:20				LWC@SLE Languages the Racket Way: Submission to the 2016 Language Workbench Cha ... 14:20 - 14:45		LWC@SLE Preparation Discussion 14:45 - 15:10					LWC@SLE Future challenges / Break out sessions 15:40 - 17:20
Matterhorn 1			DLSKeynote DLS 2016 Keynote: Ignition: Jump-starting an Interpreter for V8 08:30 - 10:00										DLS Type Unsoundness in Practice: An Empirical Study of Dart 10:30 - 10:55		DLS Type Safety Analysis for Dart 10:55 - 11:20					DLS Precise and Scalable Static Analysis of jQuery using a Regular Expressi ... 11:20 - 11:45			DLS Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance M ... 11:45 - 12:10									DLS Parallel Virtual Machines with RPython 13:30 - 13:55		DLS Building Efficient and Highly Run-Time Adaptable Virtual Machines 13:55 - 14:20				DLS Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaS ... 14:20 - 14:45		DLS Optimizing R Language Execution via Aggressive Speculation 14:45 - 15:10					DLS A Small Embedding of Logic Programming with a Simple Complete Search 15:40 - 16:05			DLS Modular Semantic Actions 16:05 - 16:30				DLS Cross-Language Compiler Benchmarking: Are We Fast Yet? 16:30 - 16:55
Matterhorn 2			PLATEAU Welcome and Introduction 08:30 - 09:00				PLATEAU PLATEAU Keynote: How to Design a Programming Language 09:00 - 10:00						PLATEAU Discount Method for Programming Language Evaluation 10:30 - 11:03				PLATEAU Does Live Programming Help Program Comprehension? -- A user study with ... 11:03 - 11:36					PLATEAU AngularJS in the Wild: A Survey with 460 Developers 11:36 - 12:10										PLATEAU A Quantitative Study of Java Software Buildability 13:30 - 14:00			PLATEAU Benefits of Session Types for Software Development 14:00 - 14:30				PLATEAU What Do We Really Know about Data Flow Languages? 14:30 - 14:50		PLATEAU What Is a Programming Language, Really? 14:50 - 15:10				PLATEAU Group Exercise 15:40 - 17:00										PLATEAU Discussion and Wrap Up 17:00 - 17:20
Matterhorn 3													SPLASH -I Bootstrap: Build Bridges, not Walls 10:30 - 12:10																			SPLASH -I From Tricorder to Tricium: Useful Static Analysis and the Importance of ... 13:30 - 14:20						SPLASH -I Designing and Debugging Surveys with SurveyMan 14:20 - 15:10							SPLASH -I Type-driven Development in Idris 15:40 - 16:30							SPLASH -I Fact or fiction? What software analytics can do for us (developers and ... 16:30 - 17:20
Restaurant																									SPLASH ORG GPCE/SLE Steering Committee Meeting 12:10 - 13:30
St Gallen			SEPS SEPS Keynote: Patterns for Parallel Programming: New and Improved! 08:30 - 10:00										SEPS Reducing Parallelizing Compilation Time by Removing Redundant Analysis 10:30 - 10:55		SEPS A Divide-and-Conquer Parallel Pattern Implementation for Multicores 10:55 - 11:20					SEPS Parallel Evaluation of a DSP Algorithm using Julia 11:20 - 11:45			SEPS Exhaustive Analysis of Thread-Level Speculation 11:45 - 12:10									SEPS SEPS Tutorial: Task-Based Programming Everywhere from Supercomputing to ... 13:30 - 15:10													SEPS SEPS Panel discussion: Engineering software performance for upcoming he ... 15:40 - 17:20
Winterthur			WODA Feedback-Directed Instrumentation for Deployed JavaScript Applications 08:30 - 09:15					WODA JavaScript in the Small 09:15 - 10:00					WODA Inferring test oracles from the Javadoc documentation 10:30 - 11:03				WODA The high-interest credit card of runtime enforcement 11:03 - 11:36					WODA Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications 11:36 - 12:10										WODA Best-Effort Failure Reconstruction Using CSI: Crash Scene Investigation 13:30 - 14:20						WODA What’s going on in the heap? 14:20 - 15:10							WODA Metamorphic Testing for Compilers and Program Analysers 15:40 - 16:30							WODA From Soundiness to Soundness 16:30 - 17:20
Zürich 1													GPCE A Change-Centric Approach to Compile Configurable Systems with #ifdefs 10:30 - 11:00			GPCE A Feature-Based Personalized Recommender System for Product-Line Config ... 11:00 - 11:30					GPCE Explaining Anomalies in Feature Models 11:30 - 12:00											GPCE IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling 13:30 - 14:00			GPCE Towards Scalable Configuration Testing in Variable Software 14:00 - 14:30				GPCE Towards a Software Product Line of Trie-Based Collections 14:30 - 14:45	GPCE Tool Demo: Testing Configurable Systems with FeatureIDE 14:45 - 15:00					GPCE Automated Regression Testing of BPMN 2.0 Processes: A Capture & Replay ... 15:40 - 16:10				GPCE A Vision for Online Verification-Validation 16:10 - 16:40				GPCE Automatic Non-functional Testing of Code Generators Families 16:40 - 17:10
Zürich 2			SLEKeynote SLE 2016 Keynote: Redex: Lightweight Semantics Engineering 08:30 - 10:00										SLE Towards a Universal Code Formatter through Machine Learning 10:30 - 10:55		SLE The IDE Portability Problem and Its Solution in Monto 10:55 - 11:20					SLE Principled Syntactic Code Completion using Placeholders 11:20 - 11:45			SLE DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo) 11:45 - 12:00									SLE Automated Testing Support for Reactive Domain-Specific Modelling Languages 13:30 - 13:55		SLE Side Effects Take the Blame 13:55 - 14:20				SLE Symbolic Execution of High-Level Transformations 14:20 - 14:45		SLE Raincode Assembler Compiler (Tool Demo) 14:45 - 15:00					SLE Efficient Model Partitioning for Distributed Model Transformations 15:40 - 16:05			SLE Coupled Software Transformations — Revisited 16:05 - 16:30				SLE Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Too ... 16:30 - 16:45		SLE Closing & Outlook to SLE'17 16:45 - 17:00

Wed 2 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15	30		45	9:00	15	30	45	10:00	15	30	45		11:00	15		30	45	12:00		15	30	45	13:00	15		30	45		14:00	15		30	45	15:00	15	30		45	16:00		15	30	45		17:00	15	30	45	18:00	15	30	45	19:00	15	30	45
Basel																					SPLASH ORG Onward Steering Committee Meeting 12:10 - 13:30
Foyer																											SPLASH Posters Reconsidering Reliability in Distributed Actor Systems 17:30 - 19:30 Specifying CSS Layout with Reference Attribute Grammars 17:30 - 19:30 sk_p: a neural program corrector for MOOCs 17:30 - 19:30 Reducing Procedure Call Bloat in ARM Binaries 17:30 - 19:30 Removing Stagnation from Modern Code Review 17:30 - 19:30 A Web Application is a Domain-Specific Language 17:30 - 19:30 Introducing Lightweight Reactive Values to Java 17:30 - 19:30 libDSU: Towards Hot-Swapping Dynamically Linked Libraries on Stock Linux 17:30 - 19:30 Supporting Resource Bounded Multitenancy in Akka 17:30 - 19:30 A Sampling-based Approach to Accelerating Queries in Log Management Systems 17:30 - 19:30 SPLASH Social Program Wednesday Poster Reception 17:30 - 19:30
Matterhorn 1												SPLASH OOPSLA A Compiler for Throughput Optimization of Graph Algorithms on GPUs 10:30 - 10:55		SPLASH OOPSLA Automatic Parallelization of Pure Method Calls via Conditional Future S ... 10:55 - 11:20			SPLASH OOPSLA Portable Inter-workgroup Barrier Synchronisation for GPUs 11:20 - 11:45		SPLASH OOPSLA Parallel Incremental Whole-Program Optimizations for Scala.js 11:45 - 12:10									SPLASH OOPSLA Extensible Access Control with Authorization Contracts 13:30 - 13:55		SPLASH OOPSLA Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (C ... 13:55 - 14:20			SPLASH OOPSLA Incremental Forest: A DSL for Efficiently Managing Filestores 14:20 - 14:45		SPLASH OOPSLA LaCasa: Lightweight Affinity and Object Capabilities in Scala 14:45 - 15:10				SPLASH OOPSLA Accelerating Program Analyses by Cross-Program Training 15:40 - 16:05			SPLASH OOPSLA An Improved Algorithm for Slicing Machine Code 16:05 - 16:30		SPLASH OOPSLA Call Graphs for Languages with Parametric Polymorphism 16:30 - 16:55		SPLASH OOPSLA Type Inference for Static Compilation of JavaScript 16:55 - 17:20
Matterhorn 2			SPLASH Keynotes and Awards Welcome to SPLASH 2016 08:30 - 08:40	SPLASH Keynotes and AwardsAward OOPSLA 10-year Most Influential Paper Award 08:40 - 08:45	SPLASH Keynotes and AwardsKeynote SPLASH 2016 Keynote: The Science of Deep Specification 08:45 - 10:00							SPLASH OOPSLA Semantics-Based Program Verifiers for All Languages 10:30 - 10:55		SPLASH OOPSLA Hoare-Style Specifications as Correctness Conditions for Non-linearizab ... 10:55 - 11:20			SPLASH OOPSLA An Operational Semantics for C/C++11 Concurrency 11:20 - 11:45		SPLASH OOPSLA Modeling and Analysis of Remote Memory Access Programming 11:45 - 12:10									SPLASH OOPSLA Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver ... 13:30 - 13:55		SPLASH OOPSLA Speeding Up Machine-Code Synthesis 13:55 - 14:20			SPLASH OOPSLA Automated Reasoning for Web Page Layout 14:20 - 14:45		SPLASH OOPSLA FIDEX: Filtering Spreadsheet Data using Examples 14:45 - 15:10				SPLASH OOPSLA Purposes, Concepts, Misfits, and a Redesign of Git 15:40 - 16:05			SPLASH OOPSLA Apex: Automatic Programming Assignment Error Explanation 16:05 - 16:30		SPLASH OOPSLA Asserting Reliable Convergence for Configuration Management Scripts 16:30 - 16:55		SPLASH OOPSLA Dependent Partitioning 16:55 - 17:20
Matterhorn 3												SPLASH -I How Domain Requirements Shape Languages 10:30 - 11:20					SPLASH -I Making Mendix Meta Model Driven 11:20 - 12:10											SPLASH -I Define Your App, Don’t Implement It: Building a Scalable Social Network ... 13:30 - 14:20					SPLASH -I The basic skill set of software language engineering 14:20 - 15:10						SPLASH -I Using Docker Containers to Improve Reproducibility in PL/SE Research 15:40 - 16:30					SPLASH -I Adventures in Software Evolution 16:30 - 17:20
Zürich 2												Onward! Papers Lightweight Programming Experiments without Programmers and Programs: A ... 10:30 - 10:55		Onward! Papers Emergent Software Services 10:55 - 11:20			Onward! Papers Nez: Practical Open Grammar Language 11:20 - 11:45		Onward! Papers Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages 11:45 - 12:10									Onward! Essays How Are Programs Found? Speculating about Language Ergonomics with Curr ... 13:30 - 14:20					Onward! Essays The Left Hand of Equals 14:20 - 15:10						Onward! Papers Bloqqi: Modular Feature-Based Block Diagram Programming 15:40 - 16:05			Onward! Papers Building White-Box Abstractions by Program Refinement 16:05 - 16:30		Onward! Papers Function Passing: A Model for Typed, Distributed Functional Programming 16:30 - 16:55		Onward! Papers Extracting Code from Programming Tutorial Videos 16:55 - 17:20

Thu 3 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15	30	45		9:00	15	30	45	10:00	15	30	45		11:00	15		30	45	12:00		15	30	45	13:00	15		30	45		14:00	15		30	45	15:00	15	30		45	16:00		15	30	45		17:00	15	30			45		18:00			15	30	45
Basel																					SPLASH ORG SPLASH Steering Committee Meeting 12:10 - 13:30
Matterhorn 1												SPLASH OOPSLA Directed Synthesis of Failing Concurrent Executions 10:30 - 10:55		SPLASH OOPSLA Maximal Causality Reduction for TSO and PSO 10:55 - 11:20			SPLASH OOPSLA Stateless Model Checking with Data-Race Preemption Points 11:20 - 11:45		SPLASH OOPSLA Precise and Maximal Race Detection from Incomplete Traces 11:45 - 12:10									SPLASH OOPSLA Efficient and Thread-Safe Objects for Dynamically-Typed Languages 13:30 - 13:55		SPLASH OOPSLA Hybrid STM/HTM for Nested Transactions on OpenJDK 13:55 - 14:20			SPLASH OOPSLA Makalu: Fast Recoverable Allocation of Non-volatile Memory 14:20 - 14:45		SPLASH OOPSLA Prioritized Garbage Collection: Explicit GC Support for Software Caches 14:45 - 15:10				SPLASH OOPSLA Computing Repair Alternatives for Malformed Programs using Constraint A ... 15:40 - 16:05			SPLASH OOPSLA Probabilistic Model for Code with Decision Trees 16:05 - 16:30		SPLASH OOPSLA Ringer: Web Automation by Demonstration 16:30 - 16:55		SPLASH OOPSLA Scalable Verification of Border Gateway Protocol Configurations with an ... 16:55 - 17:20
Matterhorn 2			SPLASH Keynotes and AwardsAward OOPSLA Awards 08:30 - 08:50		SPLASH Keynotes and AwardsKeynote SPLASH 2016 Keynote: From DOT to Dotty -- Foundations and Types for Obj ... 08:50 - 10:00							SPLASH OOPSLA Automatic Enforcement of Expressive Security Policies using Enclaves 10:30 - 10:55		SPLASH OOPSLA Chain: Tasks and Channels for Reliable Intermittent Programs 10:55 - 11:20			SPLASH OOPSLA GEMs: Shared-Memory Parallel Programming for Node.js 11:20 - 11:45		SPLASH OOPSLA OrcO: A Concurrency-First Approach to Objects 11:45 - 12:10									SPLASH OOPSLA Semantic Subtyping for Imperative Object-Oriented Languages 13:30 - 13:55		SPLASH OOPSLA Parsing with First-Class Derivatives 13:55 - 14:20			SPLASH OOPSLA The Missing Link: Explaining ELF Static Linking, Semantically 14:20 - 14:45		SPLASH OOPSLA Type Soundness for Dependent Object Types (DOT) 14:45 - 15:10				Onward! Papers Object Spreadsheets: A New Computational Model for End-User Development ... 15:40 - 16:05			Onward! Papers Moldable, Context-Aware Searching with Spotter 16:05 - 16:30							SPLASH Keynotes and Awards SPLASH Steering Committee Report 17:30 - 17:35	SPLASH Keynotes and Awards SPLASH 2016 General Chair's Report 17:35 - 17:42	SPLASH Keynotes and Awards Onward Program Chair's Report 17:42 - 17:49		SPLASH Keynotes and Awards OOPSLA 2016 Program Chair's Report 17:49 - 18:05		SPLASH Keynotes and AwardsAward SIGPLAN Awards 18:05 - 18:10	SPLASH Keynotes and Awards Proceedings of the ACM 18:10 - 18:30
Matterhorn 3												SPLASH -I Responsive Language Tooling For Cloud-based IDEs 10:30 - 11:20					SPLASH -I Simulating Cities: The Spacetime Framework 11:20 - 12:10											SPLASH -I Exploratory Analysis in Virtual Reality: The New Frontier 13:30 - 14:20					SPLASH -I Truffle and Graal: Fast Programming Languages With Modest Effort 14:20 - 15:10						SPLASH -I Language Support for Distributed Systems 15:40 - 16:30					SPLASH -I Pony: Co-designing a Type System and a Runtime 16:30 - 17:20
Winterthur																											SPLASH Student Research Competition Phase 3 Talks 15:40 - 17:20

Fri 4 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00	15	30		45		9:00	15	30	45	10:00	15	30	45		11:00	15		30	45	12:00		15	30	45	13:00	15	30	45		14:00	15		30	45	15:00	15	30		45	16:00	15	30	45
Basel																						SPLASH ORG SPLASH 2017 Organizing Committee Meeting 12:10 - 13:30
Matterhorn 1													SPLASH OOPSLA A Practical Framework for Type Inference Error Explanation 10:30 - 10:55		SPLASH OOPSLA Dynamically Diagnosing Type Errors in Unsafe Code 10:55 - 11:20			SPLASH OOPSLA First-Class Effect Reflection for Effect-Guided Programming 11:20 - 11:45		SPLASH OOPSLA Java and Scala's Type Systems are Unsound: The Existential Crisis of Nu ... 11:45 - 12:10								SPLASH OOPSLA Finding Compiler Bugs via Live Code Mutation 13:30 - 13:55		SPLASH OOPSLA Finding Resume and Restart Errors in Android Applications 13:55 - 14:20			SPLASH OOPSLA Low-Overhead and Fully Automated Statistical Debugging with Abstraction ... 14:20 - 14:45		SPLASH OOPSLA To Be Precise: Regression Aware Debugging 14:45 - 15:10
Matterhorn 2			SPLASH Keynotes and Awards SPLASH 2017 08:30 - 08:40	SPLASH Keynotes and AwardsAward Onward! Most Notable Paper Award 08:40 - 08:45	SPLASH Keynotes and AwardsAward Student Awards 08:45 - 08:55	SPLASH Keynotes and AwardsKeynote SPLASH 2016 Keynote: A Human View of Programming Languages 08:55 - 10:00							Onward! Papers Exploring the Role of Sequential Computation in Distributed Systems: Mo ... 10:30 - 10:55		Onward! Papers Gramada: Immediacy in Programming Language Development 10:55 - 11:20			Onward! Papers Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Fr ... 11:20 - 11:45		Onward! Papers Leveraging a Corpus of Natural Language Descriptions for Program Similarity 11:45 - 12:10								Onward! Essays A World of Active Objects for Work and Play: The First Ten Years of Lively 13:30 - 14:20					Onward! Essays “in the control room of the banquet” 14:20 - 15:10						SPLASH -IKeynote SPLASH-I Keynote: How to Tell a Compiler What We Think We Know? 15:40 - 17:00
Matterhorn 3													SPLASH -I Stencils: Graphical User Interfaces in Ensō 10:30 - 11:20					SPLASH -I Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web 11:20 - 12:10										SPLASH -I Fast Datalog 13:30 - 14:20					SPLASH -I Software Environmentalism 14:20 - 15:10

SPLASH 2016 Program

Sun 30 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

SPLASH 2016 Program

Switch Program View

Program Display Configuration

Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Sun 30 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change