TAPAS 2020
Dates to be announced 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

Displayed time zone: Central Time (US & Canada) change

09:00 - 13:00
HILT workshop Monday sessionsHILT at SPLASH-V
Chair(s): Luis Miguel Pinho ISEP P.PORTO, Tucker Taft AdaCore, United States, Richard Wai ANNEXI-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 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
PresentationsAGERE 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
11:00 - 12:20
Invited Talk + PaperVMIL 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.0VMIL 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 SymposiumScala 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 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 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
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 2TAPAS 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 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 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 4TAPAS 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

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 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

Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

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

Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

Wed 18 Nov

Displayed time zone: Central Time (US & Canada) change

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

Thu 19 Nov

Displayed 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

Displayed time zone: Central Time (US & Canada) change

Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change