STOKED 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
SPLASH 2019 (series) / STOKED 2019 (series) / Royal Olympic Hotel /

Room information: Room 1A

VenueRoyal Olympic Hotel
Room nameRoom 1A
Floor1
Room number1
Capacity60
Room Information

Half of 1st floor conference room (Room 1)

Program

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
Model and TheoryMETA at Room 1A
Chair(s): Guido Chari Czech Technical University
09:00
30m
Full-paper
Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness
META
Toni Mattis Hasso Plattner Institute, University of Potsdam, Patrick Rein Hasso Plattner Institute, Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany
09:30
30m
Full-paper
From Definitional Interpreter To Symbolic Executor
META
Adrian Mensing , Hendrik van Antwerpen TU Delft, Eelco Visser Delft University of Technology, Casper Bach Poulsen Delft University of Technology
Link to publication Pre-print
10:00
30m
Short-paper
Mμl: The Power of Dynamic Multi-Methods
META
Isaac Oscar Gariano Victoria University of Wellington, Marco Servetto Victoria University Wellington, New Zealand
File Attached
11:00 - 12:30
Concurrency and Data Structures META at Room 1A
Chair(s): Christophe Scholliers Universiteit Gent, Belgium
11:00
60m
Talk
Meta-programming in Data Science
META
Jan Vitek Northeastern University, Aviral Goel Northeastern University
12:00
30m
Full-paper
Squirrel: An Extensible Distributed Key-Value Store
META
Kevin De Porre , Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
14:00 - 15:30
ToolingMETA at Room 1A
Chair(s): Christophe Scholliers Universiteit Gent, Belgium
14:00
60m
Talk
Metaprogramming, Metaobject Protocols, Gradual Type Checks: Optimizing the "Unoptimizable" Using Old Ideas
META
Stefan Marr University of Kent
Media Attached
15:00
30m
Full-paper
FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization
META
Jonathan Van der Cruysse , Lode Hoste , Wolfgang Van Raemdonck Nokia Bell Labs
16:00 - 17:30
ClosingMETA at Room 1A

Sun 20 Oct

Displayed time zone: Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 1A

META

Model and Theory

META

Concurrency and Data Structures

META

Tooling

META

Closing

Sun 20 Oct

Displayed time zone: Beirut change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Room 1A
META
Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness
09:00 - 09:30
META
From Definitional Interpreter To Symbolic Executor
09:30 - 10:00
META
Mμl: The Power of Dynamic Multi-Methods
10:00 - 10:30
META
Meta-programming in Data Science
11:00 - 12:00
META
Squirrel: An Extensible Distributed Key-Value Store
12:00 - 12:30
META
Metaprogramming, Metaobject Protocols, Gradual Type Checks: Optimizing ...
14:00 - 15:00
META
FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Seria ...
15:00 - 15:30