SySEPL 2020
Mon 13 - Fri 17 July 2020
Online Conference
co-located with
ECOOP 2020
Toggle navigation
Attending
Venue: Online
Program
SySEPL Program
Your Program
Mon 13 Jul
Tue 14 Jul
Wed 15 Jul
Thu 16 Jul
Fri 17 Jul
Track/Call
Organization
SySEPL 2020 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
SPLASH 2020
(
series
) /
ECOOP 2020
(
series
) /
SySEPL 2020 (
series
) /
Online
/
Room information: SPLASH-V
Venue
Online
Room name
SPLASH-V
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Central Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Central Time (US & Canada)
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-06: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-04: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+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
Mon 16 Nov
Displayed time zone:
Central Time (US & Canada)
change
09:00 - 13:00
HILT workshop Monday sessions
HILT
at
SPLASH-V
Chair(s):
Luis Miguel Pinho
ISEP P.PORTO
,
Tucker Taft
AdaCore, United States
,
Richard Wai
ANNEXI-STRAYLINE
Monday HILT zoom room
–
Monday HILT YouTube
–
HILT Clowdr Break Room
09:00
60m
Keynote
Monday Keynote: What's new with the OpenMP API Version 5.1
HILT
Michael Klemm
OpenMP ARB
10:00
15m
Coffee break
Monday early coffee break
HILT
10:15
30m
Talk
A Layered Mapping of Ada 202X to OpenMP
HILT
Tucker Taft
AdaCore, United States
10:45
30m
Talk
Parallel Multiple Double Precision to Solve Polynomial Systems
HILT
Jan Verschelde
University of Illinois at Chicago
11:15
15m
Coffee break
Monday later coffee break
HILT
11:30
30m
Talk
Using the Tapir Compiler Intermediate Representation to Support Efficient Parallel Languages
HILT
TB Schardl
MIT CSAIL
12:00
60m
Other
Monday Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors
HILT
P:
Sara Royuela
Barcelona Supercomputing Center
,
P:
Michael Klemm
OpenMP ARB
,
P:
Eduardo Quiñones
Barcelona Supercomputing Center (BSC)
,
P:
Tucker Taft
AdaCore, United States
,
P:
Dirk Ziegenbein
Robert Bosch GmbH
Tue 17 Nov
Displayed time zone:
Central Time (US & Canada)
change
05:00 - 07:00
Presentations
AGERE
at
SPLASH-V
05:00
10m
Day opening
AGERE: Opening
AGERE
Elias Castegren
KTH Royal Institute of Technology
,
Joeri De Koster
Vrije Universiteit Brussel, Belgium
,
Thomas C. Schmidt
HAW Hamburg
05:10
30m
Talk
High-Throughput Stream Processing with Actors
AGERE
Luca Rinaldi
University of Pisa
,
Massimo Torquati
Computer Science Department - University of Pisa
,
Gabriele Mencagli
University of Pisa, Italy
,
Marco Danelutto
University of Pisa, Italy
Pre-print
Media Attached
05:40
30m
Talk
Revisiting the Network Stack in CAF
AGERE
Jakob Otto
HAW Hamburg
,
Raphael Hiesgen
HAW Hamburg
,
Dominik Charousset
HAW Hamburg
,
Thomas C. Schmidt
HAW Hamburg
DOI
Pre-print
06:10
30m
Talk
Run, Agent, Run; Architecture and Benchmark of Actor-based Agents
AGERE
Mostafa Mohajeri Parizi
University of Amsterdam
,
Giovanni Sileno
University of Amsterdam
,
Tom van Engers
Leibniz Institute / University of Amsterdam / TNO
,
Sander Klous
University of Amsterdam
06:40
10m
Day closing
AGERE: Closing
AGERE
Elias Castegren
KTH Royal Institute of Technology
,
Joeri De Koster
Vrije Universiteit Brussel, Belgium
,
Thomas C. Schmidt
HAW Hamburg
09:00 - 10:20
Invited Talk: Evolution of the Dart PL
VMIL
at
SPLASH-V
Chair(s):
Marc Feeley
Université de Montréal
Central Standard Time (09:00 - 09:10 am) VMIL Welcome
Central Standard Time (09:10 - 10:10 am) 10 years of Dart
09:00
80m
Keynote
10 years of Dart
VMIL
K:
Vyacheslav Egorov
Google
11:00 - 12:20
Invited Talk + Paper
VMIL
at
SPLASH-V
Chair(s):
Juan Fumero
University of Manchester, UK
Central Standard Time (11:00 am - 12:00 pm) Understanding the Graal IR
Central Standard Time (12:00 - 12:30 pm) Programming Microcontrollers through High-Level Abstractions
11:00
40m
Keynote
Understanding Graal IR
VMIL
K:
Chris Seaton
Shopify
11:40
40m
Full-paper
Programming Microcontrollers through High-Level Abstractions
VMIL
Steven Varoumas
Sorbonne University — LIP6
,
Basile Pesin
Inria Paris
,
Benoît Vaugon
,
Emmanuel Chailloux
UPMC, France
13:00 - 14:20
Invited Talk - JitBuilder 2.0
VMIL
at
SPLASH-V
Chair(s):
Juan Fumero
University of Manchester, UK
Central Standard Time (13:00 - 14:20) In pursuit of easy(er) JITs
13:00
80m
Keynote
In Pursuit of Easy(er) JITs
VMIL
K:
Mark Stoodley
IBM Canada
15:00 - 16:20
Invited Talk - Racket
VMIL
at
SPLASH-V
Chair(s):
Marc Feeley
Université de Montréal
Central Standard Time (15:00 - 16:00) Racket’s Intermediate Language for Control
15:00
80m
Keynote
Racket’s Intermediate Language for Control
VMIL
K:
Matthew Flatt
University of Utah, USA
Wed 18 Nov
Displayed time zone:
Central Time (US & Canada)
change
09:00 - 14:20
Scala Symposium
Scala
at
SPLASH-V
10:00
5m
Day opening
Welcome to Scala 2020
Scala
Nada Amin
Harvard University
,
Guido Salvaneschi
University of St. Gallen
,
David Richter
Technical University of Darmstadt
10:05
35m
Keynote
Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)
Scala
Eva Darulova
MPI-SWS
10:40
20m
Talk
ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)
Scala
Alexander Merritt
Independent
11:00
20m
Paper
Kaizen: A Scalable Concolic Fuzzing Tool for Scala
Scala
Mohammadreza Ashouri
University of Potsdam, Germany
11:40
20m
Talk
Asterisk: Secure Programming Language for Smart Contracts (Student Talk)
Scala
Mohammadreza Ashouri
University of Potsdam, Germany
12:00
20m
Paper
ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs
Scala
Shadaj Laddad
University of California at Berkeley
,
Koushik Sen
University of California at Berkeley
12:20
20m
Paper
Semantics-Preserving Inlining for Metaprogramming
Scala
Nicolas Stucki
EPFL, Switzerland
,
Aggelos Biboudis
EPFL
,
Sébastien Doeraene
EPFL, Switzerland
,
Martin Odersky
EPFL
12:40
20m
Talk
Toward a Simpler Syntactic Soundness for DOT (Student Talk)
Scala
Ifaz Kabir
University of Alberta
,
Karim Ali
University of Alberta
13:00
20m
Day closing
Closing Scala 2020
Scala
Nada Amin
Harvard University
,
Guido Salvaneschi
University of St. Gallen
,
David Richter
Technical University of Darmstadt
Thu 19 Nov
Displayed time zone:
Central Time (US & Canada)
change
03:00 - 04:20
Session 1
TAPAS
at
SPLASH-V
03:00
20m
Paper
Program Slicing with Exception Handling
TAPAS
Carlos Galindo
,
Sergio Perez Rubio
,
Josep Silva
03:20
20m
Paper
MetaCG: Annotated call-graphs to facilitate whole-program analysis
TAPAS
Jan-Patrick Lehr
Scientific Computing, TU Darmstadt
,
Alexander Hück
Institute for Scientific Computing, TU Darmstadt
,
Yannic Fischler
TU Darmstadt
,
Christian Bischof
Scientific Computing, TU Darmstadt
03:40
20m
Paper
Data Dependence for Object-Oriented Programs
TAPAS
Carlos Galindo
,
Sergio Perez Rubio
,
Josep Silva
04:00
20m
Paper
Type checking beyond type checkers, via Slice & Run
TAPAS
Justus Adam
University of Kent, UK
,
Stephen Kell
University of Kent
Pre-print
05:00 - 07:00
Session 2
TAPAS
at
SPLASH-V
05:00
60m
Keynote
Toward More Scalable Symbolic Execution via Code Chopping
TAPAS
Cristian Cadar
Imperial College London, UK
Media Attached
06:00
60m
Keynote
Enterprise-scale static analysis: A Pinpoint experience
TAPAS
Charles Zhang
The Hong Kong University of Science and Technology
Media Attached
09:00 - 10:20
Session 3
TAPAS
at
SPLASH-V
09:00
20m
Short-paper
API Analytics for Curating Static Analysis Rules
TAPAS
Vineeth Kashyap
GrammaTech, Inc.
,
Roger Scott
,
Joseph Ranieri
,
David Melski
,
Lucja Kot
09:20
20m
Paper
Online Verification of Commutativity
TAPAS
Aditi Kabra
Carnegie Mellon University
,
Dietrich Geisler
Cornell University
,
Adrian Sampson
Cornell University
Pre-print
09:40
20m
Short-paper
Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
TAPAS
Nicholas Shoemaker
,
Ruzica Piskac
Yale University, USA
,
Mark Santolucito
Barnard College, Columbia University, USA
11:00 - 12:20
Session 4
TAPAS
at
SPLASH-V
11:00
60m
Keynote
Moving Fast with High Reliability using Pluggable Types
TAPAS
Manu Sridharan
University of California at Riverside
Media Attached
12:00
20m
Other
Closing
TAPAS
Fri 20 Nov
Displayed time zone:
Central Time (US & Canada)
change
12:00 - 13:20
Domain-Specific Languages and Tools
PLATEAU
at
SPLASH-V
12:00
10m
Talk
Welcome to PLATEAU!
PLATEAU
C:
Joshua Sunshine
Carnegie Mellon University
,
C:
Elena Glassman
Harvard University
,
C:
Sarah E. Chasins
University of California, Berkeley
12:10
30m
Talk
Static Analysis for Safer Notebook Interactions
PLATEAU
Stephen Macke
,
Hongpu Gong
,
Doris Lee
,
Andrew Head
UC Berkeley
,
Doris Xin
,
Aditya Parameswaran
12:40
20m
Talk
Lightening the Cognitive Load of Shell Programming
PLATEAU
Ishaan Gandhi
,
Anshula Gandhi
13:00
20m
Talk
The IoT Codex: A Book of Paper Engineering Techniques for Authoring and Composing Embedded Computing Applications
PLATEAU
Kristin Williams
13:30 - 14:40
Role of Visualization
PLATEAU
at
SPLASH-V
13:30
30m
Talk
The Essence of Program Semantics Visualizers: A Three-Axis Model
PLATEAU
Josh Pollock
MIT CSAIL
,
Grace Oh
,
Eunice Jun
,
Philip Guo
University of California San Diego
,
Zachary Tatlock
University of Washington, Seattle
14:00
20m
Talk
Documentation Generation as Information Visualization
PLATEAU
Will Crichton
Stanford University
14:20
20m
Talk
How to make program understanding tools more programmer-friendly?
PLATEAU
Shraddha Barke
Mon 16 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
SPLASH-V
HILT
HILT workshop Monday sessions
Tue 17 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
5:00
30
6:00
30
7:00
30
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
18:00
30
SPLASH-V
AGERE
Presentations
VMIL
Invited Talk: Evolution of the Dart PL
VMIL
Invited Talk + Paper
VMIL
Invited Talk - JitBuilder 2.0
VMIL
Invited Talk - Racket
VMIL
Wed 18 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
SPLASH-V
Scala
Scala Symposium
Thu 19 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
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
18:00
30
SPLASH-V
TAPAS
Session 1
TAPAS
Session 2
TAPAS
Session 3
TAPAS
Session 4
TAPAS
TAPAS
TAPAS
Fri 20 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
SPLASH-V
PLATEAU
PLATEAU
PLATEAU
Domain-Specific Languages and Tools
PLATEAU
Role of Visualization
Mon 16 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
SPLASH-V
HILT
Monday Keynote: What's new with the OpenMP API Version 5.1
09:00 - 10:00
HILT
Monday early coffee break
10:00 - 10:15
HILT
A Layered Mapping of Ada 202X to OpenMP
10:15 - 10:45
HILT
Parallel Multiple Double Precision to Solve Polynomial Systems
10:45 - 11:15
HILT
Monday later coffee break
11:15 - 11:30
HILT
Using the Tapir Compiler Intermediate Representation to Support Efficie ...
11:30 - 12:00
HILT
Monday Panel: OpenMP for High Integrity systems: Moving responsibility ...
12:00 - 13:00
Tue 17 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
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
SPLASH-V
AGERE
AGERE: Opening
05:00 - 05:10
AGERE
High-Throughput Stream Processing with Actors
05:10 - 05:40
AGERE
Revisiting the Network Stack in CAF
05:40 - 06:10
AGERE
Run, Agent, Run; Architecture and Benchmark of Actor-based Agents
06:10 - 06:40
AGERE
AGERE: Closing
06:40 - 06:50
VMIL
10 years of Dart
09:00 - 10:20
VMIL
Understanding Graal IR
11:00 - 11:40
VMIL
Programming Microcontrollers through High-Level Abstractions
11:40 - 12:20
VMIL
In Pursuit of Easy(er) JITs
13:00 - 14:20
VMIL
Racket’s Intermediate Language for Control
15:00 - 16:20
Wed 18 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
SPLASH-V
Scala
Welcome to Scala 2020
10:00 - 10:05
Scala
Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)
10:05 - 10:40
Scala
ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI ...
10:40 - 11:00
Scala
Kaizen: A Scalable Concolic Fuzzing Tool for Scala
11:00 - 11:20
Scala
Asterisk: Secure Programming Language for Smart Contracts (Student Talk)
11:40 - 12:00
Scala
ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs
12:00 - 12:20
Scala
Semantics-Preserving Inlining for Metaprogramming
12:20 - 12:40
Scala
Toward a Simpler Syntactic Soundness for DOT (Student Talk)
12:40 - 13:00
Scala
Closing Scala 2020
13:00 - 13:20
Thu 19 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
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
SPLASH-V
TAPAS
Program Slicing with Exception Handling
03:00 - 03:20
TAPAS
MetaCG: Annotated call-graphs to facilitate whole-program analysis
03:20 - 03:40
TAPAS
Data Dependence for Object-Oriented Programs
03:40 - 04:00
TAPAS
Type checking beyond type checkers, via Slice & Run
04:00 - 04:20
TAPAS
Toward More Scalable Symbolic Execution via Code Chopping
05:00 - 06:00
TAPAS
Enterprise-scale static analysis: A Pinpoint experience
06:00 - 07:00
TAPAS
API Analytics for Curating Static Analysis Rules
09:00 - 09:20
TAPAS
Online Verification of Commutativity
09:20 - 09:40
TAPAS
Towards Checkpoint Placement for Dynamic Memory Allocation in Intermitt ...
09:40 - 10:00
TAPAS
Moving Fast with High Reliability using Pluggable Types
11:00 - 12:00
TAPAS
Closing
12:00 - 12:20
Fri 20 Nov
Displayed time zone:
Central Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
SPLASH-V
PLATEAU
Welcome to PLATEAU!
12:00 - 12:10
PLATEAU
Static Analysis for Safer Notebook Interactions
12:10 - 12:40
PLATEAU
Lightening the Cognitive Load of Shell Programming
12:40 - 13:00
PLATEAU
The IoT Codex: A Book of Paper Engineering Techniques for Authoring and ...
13:00 - 13:20
PLATEAU
The Essence of Program Semantics Visualizers: A Three-Axis Model
13:30 - 14:00
PLATEAU
Documentation Generation as Information Visualization
14:00 - 14:20
PLATEAU
How to make program understanding tools more programmer-friendly?
14:20 - 14:40
x
Thu 21 Nov 14:50