PROMOTO 2015
Tue 27 Oct 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
SPLASH 2015 (series) / PROMOTO 2015 (series) / Sheraton Station Square Hotel /

Room information: Grand Station 3

VenueSheraton Station Square Hotel
Room nameGrand Station 3
Floor1
Room Information

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

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Tutorial 1SPLASH Tutorials at Grand Station 3
13:30
90m
Talk
Symbolic Techniques for Software Debugging and Repair
SPLASH Tutorials
Abhik Roychoudhury National University of Singapore, Satish Chandra Samsung Research America

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00
Session 1, Language DesignDLS at Grand Station 3
08:30
10m
Day opening
Welcome and Introduction
DLS

08:40
60m
Talk
DLS Keynote: Declare Your Language
DLS
I: Eelco Visser Delft University of Technology
Link to publication DOI Media Attached
09:40
20m
Talk
From APIs to Languages: Generalising Method Names
DLS
James Noble Victoria University of Wellington, Michael Homer Victoria University of Wellington, Timothy Jones Victoria University of Wellington
Pre-print
10:30 - 12:00
Session 2, Formalization, Semantics, and Static AnalysisDLS at Grand Station 3
10:30
22m
Talk
A Formalization of Typed Lua
DLS
Andre Murbach Maidl PUCPR, Fabio Mascarenhas UFRJ, Roberto Ierusalimschy PUC-Rio
Media Attached
10:52
22m
Talk
Gradual Certified Programming in Coq
DLS
Éric Tanter University of Chile, Chile, Nicolas Tabareau Inria
11:15
22m
Talk
Message Safety in Dart
DLS
Erik Ernst , Mathias Schwarz Uber Aarhus, Fabio Strocco Aarhus University, Denmark, Anders Møller Aarhus University
11:37
22m
Talk
Control-Flow Analysis of Dynamic Languages via Pointer Analysis
DLS
Steven Lyde , Matthew Might University of Utah, USA, William E. Byrd
13:30 - 15:00
Session 3, CompilationDLS at Grand Station 3
13:30
22m
Talk
Compiling for Multi-Language Task Migration
DLS
Marc Feeley
13:52
22m
Talk
High-Performance Cross-Language Interoperability in a Multi-Language Runtime
DLS
Matthias Grimmer Johannes Kepler University Linz, Chris Seaton Oracle Labs / University of Manchester, Roland Schatz Johannes Kepler University Linz, Thomas Wuerthinger Oracle Labs, Hanspeter Mössenböck Johannes Kepler University Linz
14:15
22m
Talk
Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
DLS
David Leopoldseder Johannes Kepler University Linz, Lukas Stadler Oracle Labs, Christian Wimmer Oracle Labs, Hanspeter Mössenböck Johannes Kepler University Linz
14:37
22m
Talk
Language Independent Storage Strategies for Tracing JIT based VMs
DLS
Tim Felgentreff HPI, Germany, Tobias Pape Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI, CF Bolz-Tereick King's College London , Anton Gulenko TU Berlin
15:30 - 17:30
Session 4, Empirical StudiesDLS at Grand Station 3
15:30
24m
Talk
Measuring Polymorphism in Python Programs
DLS
Beatrice Åkerblom Stockholm University, Tobias Wrigstad Uppsala University
15:54
24m
Talk
Tracking Down Performance Variation Against Source Code Evolution
DLS
Juan Pablo Sandoval Alcocer Universidad Católica Boliviana San Pablo, Alexandre Bergel
16:18
24m
Talk
Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
DLS
Madhukar Kedlaya University of California, Santa Barbara, Behnam Robatmili Qualcomm Research, Ben Hardekopf UC Santa Barbara
16:42
24m
Talk
An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio
DLS
Lars Fischer University of Duisburg-Essen, Essen, Germany, Stefan Hanenberg University of Duisburg-Essen
17:06
24m
Talk
Access Control to Reflection with Object Ownership
DLS
Camille Teruel INRIA, Stéphane Ducasse INRIA, France, Damien Cassou Lille 1 University, Marcus Denker INRIA Lille

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room13:003014:0030
Grand Station 3

SPLASH Tutorials

Tutorial 1

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Displayed time zone: Eastern Time (US & Canada) change

Room13:0015304514:00153045
Grand Station 3
SPLASH Tutorials
Symbolic Techniques for Software Debugging and Repair
13:30 - 15:00

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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