SAS 2020
Wed 18 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
VenueOnline
Room nameSPLASH-V
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 13:00
HILT workshop Monday sessionsHILT at SPLASH-V
Chair(s): Tucker TaftAdaCore, United States, Luis Miguel PinhoISEP P.PORTO, Richard WaiANNEXI-STRAYLINE

Monday HILT zoom roomMonday HILT YouTubeHILT Clowdr Break Room

09:00
60m
Keynote
Monday Keynote: What's new with the OpenMP API Version 5.1
HILT
Michael KlemmOpenMP 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 TaftAdaCore, United States
10:45
30m
Talk
Parallel Multiple Double Precision to Solve Polynomial Systems
HILT
Jan VerscheldeUniversity 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 SchardlMIT CSAIL
12:00
60m
Other
Monday Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors
HILT
P: Sara RoyuelaBarcelona Supercomputing Center, P: Michael KlemmOpenMP ARB, P: Eduardo QuiñonesBarcelona Supercomputing Center (BSC), P: Tucker TaftAdaCore, United States, P: Dirk ZiegenbeinRobert Bosch GmbH

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

05:00 - 07:00
PresentationsAGERE at SPLASH-V
05:00
10m
Day opening
AGERE: Opening
AGERE
Elias CastegrenKTH Royal Institute of Technology, Joeri De KosterVrije Universiteit Brussel, Belgium, Thomas C. SchmidtHAW Hamburg
05:10
30m
Talk
High-Throughput Stream Processing with Actors
AGERE
Luca RinaldiUniversity of Pisa, Massimo TorquatiComputer Science Department - University of Pisa, Gabriele MencagliUniversity of Pisa, Italy, Marco DaneluttoUniversity of Pisa, Italy
Pre-print Media Attached
05:40
30m
Talk
Revisiting the Network Stack in CAF
AGERE
Jakob OttoHAW Hamburg, Raphael HiesgenHAW Hamburg, Dominik CharoussetHAW Hamburg, Thomas C. SchmidtHAW Hamburg
DOI Pre-print
06:10
30m
Talk
Run, Agent, Run; Architecture and Benchmark of Actor-based Agents
AGERE
Mostafa Mohajeri PariziUniversity of Amsterdam, Giovanni SilenoUniversity of Amsterdam, Tom van EngersLeibniz Institute / University of Amsterdam / TNO, Sander KlousUniversity of Amsterdam
06:40
10m
Day closing
AGERE: Closing
AGERE
Elias CastegrenKTH Royal Institute of Technology, Joeri De KosterVrije Universiteit Brussel, Belgium, Thomas C. SchmidtHAW Hamburg
09:00 - 10:20
Invited Talk: Evolution of the Dart PL VMIL at SPLASH-V
Chair(s): Marc FeeleyUniversité 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
11:00 - 12:20
Invited Talk + PaperVMIL at SPLASH-V
Chair(s): Juan FumeroUniversity 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 SeatonShopify
11:40
40m
Full-paper
Programming Microcontrollers through High-Level Abstractions
VMIL
Steven VaroumasSorbonne University — LIP6, Basile PesinInria Paris, Benoît Vaugon, Emmanuel ChaillouxUPMC, France
13:00 - 14:20
Invited Talk - JitBuilder 2.0VMIL at SPLASH-V
Chair(s): Juan FumeroUniversity 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 StoodleyIBM Canada
15:00 - 16:20
Invited Talk - Racket VMIL at SPLASH-V
Chair(s): Marc FeeleyUniversité 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 FlattUniversity of Utah, USA

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 14:20
Scala SymposiumScala at SPLASH-V
10:00
5m
Day opening
Welcome to Scala 2020
Scala
Nada AminHarvard University, Guido SalvaneschiUniversity of St. Gallen, David RichterTechnische Universität Darmstadt
10:05
35m
Keynote
Towards a Sound Approximating Compiler for Numerical Kernels (Keynote)
Scala
10:40
20m
Talk
ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)
Scala
11:00
20m
Paper
Kaizen: A Scalable Concolic Fuzzing Tool for Scala
Scala
Mohammadreza AshouriUniversity of Potsdam, Germany
11:40
20m
Talk
Asterisk: Secure Programming Language for Smart Contracts (Student Talk)
Scala
Mohammadreza AshouriUniversity of Potsdam, Germany
12:00
20m
Paper
ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs
Scala
Shadaj LaddadUniversity of California at Berkeley, Koushik SenUniversity of California at Berkeley
12:20
20m
Paper
Semantics-Preserving Inlining for Metaprogramming
Scala
Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Sébastien DoeraeneEPFL, Switzerland, Martin OderskyEPFL
12:40
20m
Talk
Toward a Simpler Syntactic Soundness for DOT (Student Talk)
Scala
Ifaz KabirUniversity of Alberta, Karim AliUniversity of Alberta
13:00
20m
Day closing
Closing Scala 2020
Scala
Nada AminHarvard University, Guido SalvaneschiUniversity of St. Gallen, David RichterTechnische Universität Darmstadt

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

03:00 - 04:20
Session 1TAPAS at SPLASH-V
03:00
20m
Paper
Program Slicing with Exception Handling
TAPAS
03:20
20m
Paper
MetaCG: Annotated call-graphs to facilitate whole-program analysis
TAPAS
Jan-Patrick LehrScientific Computing, TU Darmstadt, Alexander HückInstitute for Scientific Computing, TU Darmstadt, Yannic FischlerTU Darmstadt, Christian BischofScientific Computing, TU Darmstadt
03:40
20m
Paper
Data Dependence for Object-Oriented Programs
TAPAS
04:00
20m
Paper
Type checking beyond type checkers, via Slice & Run
TAPAS
Justus AdamUniversity of Kent, UK, Stephen KellUniversity of Kent
Pre-print
05:00 - 07:00
Session 2TAPAS at SPLASH-V
05:00
60m
Keynote
Toward More Scalable Symbolic Execution via Code Chopping
TAPAS
Cristian CadarImperial College London, UK
Media Attached
06:00
60m
Keynote
Enterprise-scale static analysis: A Pinpoint experience
TAPAS
Charles ZhangThe Hong Kong University of Science and Technology
Media Attached
09:00 - 10:20
Session 3TAPAS at SPLASH-V
09:00
20m
Short-paper
API Analytics for Curating Static Analysis Rules
TAPAS
09:20
20m
Paper
Online Verification of Commutativity
TAPAS
Aditi KabraCarnegie Mellon University, Dietrich GeislerCornell University, Adrian SampsonCornell University
Pre-print
09:40
20m
Short-paper
Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
TAPAS
Nicholas Shoemaker, Ruzica PiskacYale University, USA, Mark SantolucitoBarnard College, Columbia University, USA
11:00 - 12:20
Session 4TAPAS at SPLASH-V
11:00
60m
Keynote
Moving Fast with High Reliability using Pluggable Types
TAPAS
Manu SridharanUniversity of California at Riverside
Media Attached
12:00
20m
Other
Closing
TAPAS

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:30 - 14:40
Role of VisualizationPLATEAU at SPLASH-V
13:30
30m
Talk
The Essence of Program Semantics Visualizers: A Three-Axis Model
PLATEAU
Josh PollockMIT CSAIL, Grace Oh, Eunice Jun, Philip GuoUniversity of California San Diego, Zachary TatlockUniversity of Washington, Seattle
14:00
20m
Talk
Documentation Generation as Information Visualization
PLATEAU
Will CrichtonStanford University
14:20
20m
Talk
How to make program understanding tools more programmer-friendly?
PLATEAU

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room9:003010:003011:003012:0030
SPLASH-V

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:0030
SPLASH-V

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Room3:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
SPLASH-V

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change