Grand Station 3 - SPLASH 2015

Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States

VenueSheraton Station Square Hotel

Room nameGrand Station 3

Floor1

Room number

Capacity0

Additional information

Program

Mon 26 Oct

13:30 - 15:00: Tutorials - Tutorial 1 at Grand Station 3

13:30 - 15:00
Talk

Symbolic Techniques for Software Debugging and Repair

Abhik Roychoudhury, Satish Chandra

Tue 27 Oct

08:30 - 10:00: DLS - Session 1, Language Design at Grand Station 3

08:30 - 08:40
Day opening

Welcome and Introduction

08:40 - 09:40
Talk

DLS Keynote: Declare Your Language

Link to publication DOI Media Attached

09:40 - 10:00
Talk

From APIs to Languages: Generalising Method Names

James Noble, Michael Homer, Timothy Jones

10:30 - 12:00: DLS - Session 2, Formalization, Semantics, and Static Analysis at Grand Station 3

10:30 - 10:52
Talk

A Formalization of Typed Lua

Andre Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy

10:52 - 11:15
Talk

Gradual Certified Programming in Coq

Éric Tanter, Nicolas Tabareau

11:15 - 11:37
Talk

Message Safety in Dart

Erik Ernst, Mathias Schwarz, Fabio Strocco, Anders Møller

11:37 - 12:00
Talk

Control-Flow Analysis of Dynamic Languages via Pointer Analysis

Steven Lyde, Matthew Might, William E. Byrd

13:30 - 15:00: DLS - Session 3, Compilation at Grand Station 3

13:30 - 13:52
Talk

Compiling for Multi-Language Task Migration

13:52 - 14:15
Talk

High-Performance Cross-Language Interoperability in a Multi-Language Runtime

Matthias Grimmer, Chris Seaton, Roland Schatz, Thomas Wuerthinger, Hanspeter Mössenböck

14:15 - 14:37
Talk

Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR

David Leopoldseder, Lukas Stadler, Christian Wimmer, Hanspeter Mössenböck

14:37 - 15:00
Talk

Language Independent Storage Strategies for Tracing JIT based VMs

Tim Felgentreff, Tobias Pape, Robert Hirschfeld, Carl Friedrich Bolz-Tereick, Anton Gulenko

15:30 - 17:30: DLS - Session 4, Empirical Studies at Grand Station 3

15:30 - 15:54
Talk

Measuring Polymorphism in Python Programs

Beatrice Åkerblom, Tobias Wrigstad

15:54 - 16:18
Talk

Tracking Down Performance Variation Against Source Code Evolution

Juan Pablo Sandoval Alcocer, Alexandre Bergel

16:18 - 16:42
Talk

Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines

Madhukar Kedlaya, Behnam Robatmili, Ben Hardekopf

16:42 - 17:06
Talk

An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio

Lars Fischer, Stefan Hanenberg

17:06 - 17:30
Talk

Access Control to Reflection with Object Ownership

Camille Teruel, Stéphane Ducasse, Damien Cassou, Marcus Denker

Mon 26 Oct 2015


Room	13:00						30						14:00						30						15:00						30
Grand Station 3							Tutorials Tutorial 1 13:30 - 15:00

Tue 27 Oct 2015


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Grand Station 3							DLS Session 1, Language Design 08:30 - 10:00																								DLS Session 2, Formalization, Semantics, and Static Analysis 10:30 - 12:00																																				DLS Session 3, Compilation 13:30 - 15:00																								DLS Session 4, Empirical Studies 15:30 - 17:30

Mon 26 Oct 2015


Room	13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Grand Station 3							SPLASH 2015 Tutorials Symbolic Techniques for Software Debugging and Repair 13:30 - 15:00

Tue 27 Oct 2015


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
Grand Station 3							DLS 2015 Welcome and Introduction 08:30 - 08:40		DLS 2015 DLS Keynote: Declare Your Language 08:40 - 09:40												DLS 2015 From APIs to Languages: Generalising Method Names 09:40 - 10:00										DLS 2015 A Formalization of Typed Lua 10:30 - 10:52				DLS 2015 Gradual Certified Programming in Coq 10:52 - 11:15					DLS 2015 Message Safety in Dart 11:15 - 11:37				DLS 2015 Control-Flow Analysis of Dynamic Languages via Pointer Analysis 11:37 - 12:00																							DLS 2015 Compiling for Multi-Language Task Migration 13:30 - 13:52				DLS 2015 High-Performance Cross-Language Interoperability in a Multi-Language Ru ... 13:52 - 14:15					DLS 2015 Java-to-JavaScript Translation via Structured Control Flow Reconstructi ... 14:15 - 14:37				DLS 2015 Language Independent Storage Strategies for Tracing JIT based VMs 14:37 - 15:00											DLS 2015 Measuring Polymorphism in Python Programs 15:30 - 15:54					DLS 2015 Tracking Down Performance Variation Against Source Code Evolution 15:54 - 16:18					DLS 2015 Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines 16:18 - 16:42				DLS 2015 An Empirical Investigation of the Effects of Type Systems and Code Comp ... 16:42 - 17:06					DLS 2015 Access Control to Reflection with Object Ownership 17:06 - 17:30