Program - DLS 2017

Sun 22 - Fri 27 October 2017 Vancouver, Canada

co-located with SPLASH 2017

Filter

Badges

Your Program

Tue 24 Oct

08:30 - 10:00: DLS 2017 - Session 1 at Regency C
Chair(s): Davide AnconaUniversity of Genova

08:30 - 09:30
Talk

Invited talk: The JavaScriptCore Virtual Machine (joint with VMIL 2017)

Filip PizloApple

09:30 - 10:00
Talk

A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools

Stefan MarrUniversity of Kent, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria

DOI Pre-print

10:30 - 12:00: DLS 2017 - Session 2 at Regency C
Chair(s): Manuel SerranoInria, France

10:30 - 11:00
Talk

Dynamic Atomicity: Optimizing Swift memory management

David UngarApple, Inc,, David GroveIBM Research, Hubertus Franke

11:00 - 11:30
Talk

Object equivalence: Revisiting Object Equality Profiling (An Experience Report)

Alejandro Infante, Alexandre BergelUniversity of Chile

11:30 - 12:00
Talk

Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report

Javier PimásPalantir Solutions, Javier Burroni, Jean Baptiste Arnaud, Stefan MarrUniversity of Kent

DOI

13:30 - 15:00: DLS 2017 - Session 3 at Regency C
Chair(s): Davide AnconaUniversity of Genova

13:30 - 14:30
Talk

Invited talk: Challenges and Progress Toward Efficient Gradual Typing

Jeremy G. SiekIndiana University, USA

File Attached

14:30 - 15:00
Talk

Semantics of Asynchronous JavaScript

Matthew C. Loring, Mark MarronMicrosoft Research, Daan LeijenMicrosoft Research

15:30 - 17:00: DLS 2017 - Session 4 at Regency C
Chair(s): Marc FeeleyUniversité de Montréal

15:30 - 16:00
Talk

Decoding Lua: Formal Semantics for the Developer and the Semanticist

Mallku Ernesto Soldevila RaffaFAMAF, UNC / CONICET, Beta ZilianiFAMAF, UNC and CONICET, Bruno Silvestre, Daniel Fridlender, Fabio MascarenhasUFRJ

16:00 - 16:30
Talk

The Semantics of Name Resolution in Grace

Vlad VerguTU Delft, Michiel HaismaTU Delft, Eelco VisserDelft University of Technology

DOI

Tue 24 Oct 2017


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
Regency C							DLS Session 1 08:30 - 10:00																								DLS Session 2 10:30 - 12:00																																				DLS Session 3 13:30 - 15:00																								DLS Session 4 15:30 - 17:00

Tue 24 Oct 2017


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
Regency C							DLS Invited talk: The JavaScriptCore Virtual Machine (joint with VMIL 2017) 08:30 - 09:30												DLS A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging ... 09:30 - 10:00												DLS Dynamic Atomicity: Optimizing Swift memory management 10:30 - 11:00						DLS Object equivalence: Revisiting Object Equality Profiling (An Experience ... 11:00 - 11:30						DLS Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An ... 11:30 - 12:00																								DLS Invited talk: Challenges and Progress Toward Efficient Gradual Typing 13:30 - 14:30												DLS Semantics of Asynchronous JavaScript 14:30 - 15:00												DLS Decoding Lua: Formal Semantics for the Developer and the Semanticist 15:30 - 16:00						DLS The Semantics of Name Resolution in Grace 16:00 - 16:30

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

DLS 2017 Program

Tue 24 Oct

Tue 24 Oct 2017

DLS

DLS

DLS

DLS

Tue 24 Oct 2017

Tracks