STOKED 2019
Sun 20 - Fri 25 October 2019
Athens, Greece
co-located with
SPLASH 2019
Toggle navigation
Attending
Venue: Royal Olympic Hotel
Banquet Venue: Aegli
Program
STOKED Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Track/Call
Organization
STOKED 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
SPLASH 2019
(
series
) /
STOKED 2019 (
series
) /
Royal Olympic Hotel
/
Room information: Room 2A
Venue
Royal Olympic Hotel
Room name
Room 2A
Floor
2
Room number
2
Capacity
60
Room Information
half of 2nd floor conference room
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+03:00) Beirut
.
Use conference time zone: (GMT+03:00) Beirut
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 20 Oct
Displayed time zone:
Beirut
change
09:00 - 10:30
Keynote
DLS
at
Room 2A
Chair(s):
Stefan Marr
University of Kent
09:15
15m
Day opening
Welcome
DLS
Stefan Marr
University of Kent
09:30
60m
Talk
Untangling the web: Memory management in Chrome’s web platform implementation
Keynote
DLS
I:
Michael Lippautz
Google
Media Attached
11:00 - 12:30
Types and Tools
DLS
at
Room 2A
Chair(s):
Nick Papoulias
Université Grenoble Alpes, France
11:00
30m
Talk
First-class Dynamic Types
Research Paper
DLS
Michael Homer
Victoria University of Wellington
,
Timothy Jones
Montoux
,
James Noble
Victoria University of Wellington
Pre-print
Media Attached
11:30
30m
Talk
Language-independent Development Environment Support For Dynamic Runtimes
Experience Paper
DLS
Daniel Stolpe
Hasso-Plattner-Institut
,
Tim Felgentreff
Oracle Labs, Potsdam
,
Christian Humer
Oracle Labs, Switzerland
,
Fabio Niephaus
Hasso Plattner Institute, University of Potsdam
,
Robert Hirschfeld
Hasso-Plattner-Institut (HPI), Germany
Pre-print
Media Attached
12:00
30m
Talk
Optimizing and Evaluating Transient Gradual Typing
Research Paper
DLS
Michael M. Vitousek
Indiana University
,
Jeremy G. Siek
Indiana University, USA
,
Avik Chaudhuri
Facebook, USA
Media Attached
14:00 - 15:30
Optimizing Computations
DLS
at
Room 2A
Chair(s):
Marc Feeley
Université de Montréal
14:00
30m
Talk
Reflections on the Compatibility, Performance, and Scalability of Parallel Python
Experience Paper
DLS
Remigius Meier
ETH Zurich, Switzerland
,
Thomas Gross
ETH Zurich, Switzerland
14:30
30m
Talk
R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments
Research Paper
DLS
Olivier Flückiger
Northeastern University
,
Guido Chari
Czech Technical University
,
Jan Ječmen
Czech Technical University
,
Ming-Ho Yee
Northeastern University
,
Jakob Hain
Northeastern University
,
Jan Vitek
Northeastern University
Link to publication
DOI
Pre-print
Media Attached
15:00
30m
Talk
Python Programmers have GPUs too: Automatic Python Loop Parallelization with Staged Dependence Analysis
Research Paper
DLS
Dejice Jacob
University of Glasgow
,
Phil Trinder
University of Glasgow
,
Jeremy Singer
University of Glasgow
Link to publication
DOI
Authorizer link
16:00 - 17:30
Beyond the Language
DLS
at
Room 2A
Chair(s):
Stefan Marr
University of Kent
16:00
30m
Talk
Lazy Pointer Update for Low Heap Compaction Pause Times
Research Paper
DLS
Clément Béra
Google, Aarhus
,
Eliot Miranda
Cadence Design Systems
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel, Belgium
16:30
30m
Talk
Sindarin: a Versatile Scripting API for the Pharo Debugger
Research Paper
DLS
Thomas Dupriez
Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL
,
Guillermo Polito
Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille
,
Steven Costiou
INRIA Lille
,
Vincent Aranega
Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL
,
Stéphane Ducasse
INRIA Lille
Media Attached
17:00
30m
Talk
Standard Object Out: Streaming Objects with Polymorphic Write Streams
Experience Paper
DLS
Marcel Weiher
Hasso-Plattner-Institut (HPI), Germany
,
Robert Hirschfeld
Hasso-Plattner-Institut (HPI), Germany
Pre-print
Media Attached
Mon 21 Oct
Displayed time zone:
Beirut
change
09:00 - 10:30
Session 1
NJR
at
Room 2A
09:00
45m
Talk
Beyond Neural Networks for Programming: How to Learn from Programs
NJR
Veselin Raychev
DeepCode AG
09:45
45m
Talk
Renaissance: Benchmarking Suite for Parallel Applications on the JVM
NJR
Lubomír Bulej
Charles University
11:00 - 12:30
Session 2
NJR
at
Room 2A
11:00
45m
Talk
From analysing programs to testing program analyses: How research relies on and enriches SE knowledge
NJR
Mira Mezini
Technische Universität Darmstadt
11:45
45m
Talk
Deep Structural Learning of Code
NJR
Uri Alon
Technion
14:00 - 15:30
Session 3
NJR
at
Room 2A
14:00
30m
Talk
Understanding the Gaps in Static Program Analysis
NJR
Jens Dietrich
Victoria University of Wellington
14:30
30m
Talk
50K-C: A Dataset of Compilable, and Compiled, Java Projects
NJR
Rohan Achar
UC Irvine
15:00
30m
Talk
NJR: Executable, Scriptable, and Searchable Java Programs
NJR
Jens Palsberg
University of California, Los Angeles
16:00 - 17:30
Session 4
NJR
at
Room 2A
16:00
30m
Talk
NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories
NJR
Andrea Rosà
University of Lugano, Switzerland
16:30
30m
Talk
Corpus Distillation Techniques for Effective Fuzzing: A Comprehensive Evaluation
NJR
Tony Hosking
Australian National University / Data61
17:00
30m
Talk
MadMax and Friends: Program Analysis for Smart Contracts
NJR
Neville Grech
University of Athens
Tue 22 Oct
Displayed time zone:
Beirut
change
09:00 - 10:30
Opening keynote
LIVE
at
Room 2A
09:00
60m
Talk
Dark: a holistic programming language
LIVE
Paul Biggar
10:00
30m
Talk
Steady Typing
LIVE
Yair Chuchem
Lamdu
,
Eyal Lotem
Lamdu
11:00 - 12:30
Session 2
LIVE
at
Room 2A
11:00
30m
Talk
Mech - A Programming Language for Data Driven, Reactive Systems
LIVE
Corey Montella
Lehigh University
11:30
30m
Talk
Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
LIVE
Ikuta Tanigawa
Kyushu University
,
Harumi Watanabe
Tokai University
,
Nobuhiro Ohe
Tokai Univ.
,
Mikiko Sato
Tokai University
,
Nobuhiko Ogura
Tokyo City University
,
Takeshi Ohkawa
Tokai Univ.
,
Kenji Hisazumi
Kyushu University
,
Akira Fukuda
Kyushu University
12:00
30m
Talk
An Exploratory Literature Study on Live-Tooling in the Game Industry
LIVE
Tom Beckmann
Hasso Plattner Institute
,
Christian Flach
Hasso Plattner Institute, University of Potsdam, Germany
,
Eva Krebs
Hasso Plattner Institute
,
Stefan Ramson
Hasso Plattner Institute, Germany
,
Patrick Rein
Hasso Plattner Institute, Germany
,
Robert Hirschfeld
Hasso-Plattner-Institut (HPI), Germany
14:00 - 15:30
Session 3
LIVE
at
Room 2A
14:00
30m
Talk
Userland: creating an integrated dataflow environment for end-users
LIVE
Hisham Muhammad
14:30
30m
Talk
Puppy: An Educational Simplification of Python with a Live Playground
LIVE
Taku Tada
Yokohama National University
,
Yuka Akinobu
Japan Women’s University
,
Makoto Sakane
Japan Women’s University
,
Kimio Kuramitsu
Japan Women’s University
Media Attached
15:00
30m
Talk
Histogram: You have to know the past to understand the present
LIVE
Tomas Petricek
University of Kent
16:00 - 17:30
Closing keynote
LIVE
at
Room 2A
16:00
60m
Talk
The Act of Computer Programming
LIVE
James Noble
Victoria University of Wellington
Sun 20 Oct
Displayed time zone:
Beirut
change
Room
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
Room 2A
DLS
Keynote
DLS
Types and Tools
DLS
Optimizing Computations
DLS
Beyond the Language
Mon 21 Oct
Displayed time zone:
Beirut
change
Room
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
Room 2A
NJR
Session 1
NJR
Session 2
NJR
Session 3
NJR
Session 4
Tue 22 Oct
Displayed time zone:
Beirut
change
Room
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
Room 2A
LIVE
Opening keynote
LIVE
Session 2
LIVE
Session 3
LIVE
Closing keynote
Sun 20 Oct
Displayed time zone:
Beirut
change
Room
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
Room 2A
DLS
Welcome
09:15 - 09:30
DLS
Keynote
Untangling the web: Memory management in Chrome’s web platform implemen ...
09:30 - 10:30
DLS
Research Paper
First-class Dynamic Types
11:00 - 11:30
DLS
Experience Paper
Language-independent Development Environment Support For Dynamic Runtimes
11:30 - 12:00
DLS
Research Paper
Optimizing and Evaluating Transient Gradual Typing
12:00 - 12:30
DLS
Experience Paper
Reflections on the Compatibility, Performance, and Scalability of Paral ...
14:00 - 14:30
DLS
Research Paper
R Melts Brains -- An IR for First-Class Environments and Lazy Effectful ...
14:30 - 15:00
DLS
Research Paper
Python Programmers have GPUs too: Automatic Python Loop Parallelization ...
15:00 - 15:30
DLS
Research Paper
Lazy Pointer Update for Low Heap Compaction Pause Times
16:00 - 16:30
DLS
Research Paper
Sindarin: a Versatile Scripting API for the Pharo Debugger
16:30 - 17:00
DLS
Experience Paper
Standard Object Out: Streaming Objects with Polymorphic Write Streams
17:00 - 17:30
Mon 21 Oct
Displayed time zone:
Beirut
change
Room
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
Room 2A
NJR
Beyond Neural Networks for Programming: How to Learn from Programs
09:00 - 09:45
NJR
Renaissance: Benchmarking Suite for Parallel Applications on the JVM
09:45 - 10:30
NJR
From analysing programs to testing program analyses: How research relie ...
11:00 - 11:45
NJR
Deep Structural Learning of Code
11:45 - 12:30
NJR
Understanding the Gaps in Static Program Analysis
14:00 - 14:30
NJR
50K-C: A Dataset of Compilable, and Compiled, Java Projects
14:30 - 15:00
NJR
NJR: Executable, Scriptable, and Searchable Java Programs
15:00 - 15:30
NJR
NAB: Automated Large-scale Multi-language Dynamic Program Analysis in P ...
16:00 - 16:30
NJR
Corpus Distillation Techniques for Effective Fuzzing: A Comprehensive E ...
16:30 - 17:00
NJR
MadMax and Friends: Program Analysis for Smart Contracts
17:00 - 17:30
Tue 22 Oct
Displayed time zone:
Beirut
change
Room
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
Room 2A
LIVE
Dark: a holistic programming language
09:00 - 10:00
LIVE
Steady Typing
10:00 - 10:30
LIVE
Mech - A Programming Language for Data Driven, Reactive Systems
11:00 - 11:30
LIVE
Context-Oriented Live Programming Environments with Mixed Reality Syste ...
11:30 - 12:00
LIVE
An Exploratory Literature Study on Live-Tooling in the Game Industry
12:00 - 12:30
LIVE
Userland: creating an integrated dataflow environment for end-users
14:00 - 14:30
LIVE
Puppy: An Educational Simplification of Python with a Live Playground
14:30 - 15:00
LIVE
Histogram: You have to know the past to understand the present
15:00 - 15:30
LIVE
The Act of Computer Programming
16:00 - 17:00
x
Sat 23 Nov 14:40