Grand Station 3 - SPLASH 2015

VenueSheraton Station Square Hotel

Room nameGrand Station 3

Floor1

Additional information

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

Apply

Program

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

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

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

13:30 - 15:00
Talk

Symbolic Techniques for Software Debugging and Repair

Abhik RoychoudhuryNational University of Singapore, Satish ChandraSamsung Research America

Tue 27 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

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

Eelco VisserDelft University of Technology

Link to publication DOI Media Attached

09:40 - 10:00
Talk

From APIs to Languages: Generalising Method Names

James NobleVictoria University of Wellington, Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington

Pre-print

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 MaidlPUCPR, Fabio MascarenhasUFRJ, Roberto IerusalimschyPUC-Rio

Media Attached

10:52 - 11:15
Talk

Gradual Certified Programming in Coq

Éric TanterUniversity of Chile, Chile, Nicolas TabareauInria

11:15 - 11:37
Talk

Message Safety in Dart

Erik Ernst, Mathias SchwarzUber Aarhus, Fabio StroccoAarhus University, Denmark, Anders MøllerAarhus University

11:37 - 12:00
Talk

Control-Flow Analysis of Dynamic Languages via Pointer Analysis

Steven Lyde, Matthew MightUniversity of Utah, USA, 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

Marc Feeley

13:52 - 14:15
Talk

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

Matthias GrimmerJohannes Kepler University Linz, Chris SeatonOracle Labs / University of Manchester, Roland SchatzJohannes Kepler University Linz, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz

14:15 - 14:37
Talk

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

David LeopoldsederJohannes Kepler University Linz, Lukas StadlerOracle Labs, Christian WimmerOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz

14:37 - 15:00
Talk

Language Independent Storage Strategies for Tracing JIT based VMs

Tim FelgentreffHPI, Germany, Tobias PapeHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI, Carl Friedrich Bolz-TereickKing's College London , Anton GulenkoTU Berlin

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

15:30 - 15:54
Talk

Measuring Polymorphism in Python Programs

Beatrice ÅkerblomStockholm University, Tobias WrigstadUppsala University

15:54 - 16:18
Talk

Tracking Down Performance Variation Against Source Code Evolution

Juan Pablo Sandoval AlcocerUniversidad Católica Boliviana San Pablo, Alexandre Bergel

16:18 - 16:42
Talk

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

Madhukar KedlayaUniversity of California, Santa Barbara, Behnam RobatmiliQualcomm Research, Ben HardekopfUC Santa Barbara

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 FischerUniversity of Duisburg-Essen, Essen, Germany, Stefan HanenbergUniversity of Duisburg-Essen

17:06 - 17:30
Talk

Access Control to Reflection with Object Ownership

Camille TeruelINRIA, Stéphane DucasseINRIA, France, Damien CassouLille 1 University, Marcus Denker INRIA Lille

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change


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

Tue 27 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change


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																								DLS Session 2, Formalization, Semantics, and Static Analysis																																				DLS Session 3, Compilation																								DLS Session 4, Empirical Studies

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change


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

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

Room information: Grand Station 3

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tue 27 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

SPLASH Tutorials

Tue 27 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

DLS

DLS

DLS

DLS

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tue 27 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums

Room information: Grand Station 3

Display in different time zone

Mon 26 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tue 27 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Mon 26 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

SPLASH Tutorials

Tue 27 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

DLS

DLS

DLS

DLS

Mon 26 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tue 27 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tue 27 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tue 27 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tue 27 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change