SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

This is the sixth in the HILT series of conferences and workshops, sponsored by ACM SIGAda, focused on the use of High Integrity Language Technology to address challenging issues in the engineering of highly complex critical software systems. High Integrity Language Technologies have been tackling the challenges of building efficient, safe, reliable software for decades. Critical software as a domain is quickly expanding beyond embedded real-time control applications to the increasing reliance on complex software for the basic functioning of businesses, governments, and society in general. HILT 2020 will focus on the growing importance of large-scale, highly parallel, distributed and/or cloud applications. Single-thread performance is reaching the limits of physics, and this has driven growth in parallel programming, massively distributed systems, and heterogeneous/ accelerated computing models. Once the domain of high-performance computing experts, parallel, distributed, and cloud computing are becoming fundamental technologies for all programmers. This workshop seeks to explore ways High Integrity Language Technologies can bring the capabilities of parallelism, distribution, and heterogeneity to a wider audience, without the associated increase in complexity.

Keynotes

Panels

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

00:20 - 01:00
Breakfast in Paris (PLMW AMA)PLMW at SPLASH-I
00:20
40m
Talk
Ask Me Anything: Sriram Rajamani
PLMW
Sriram Rajamani Microsoft Research
02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

04:20 - 05:00
Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

08:20 - 09:00
Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

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
10:20 - 11:00
Breakfast in SeattlePosters at SPLASH-I +12h

Please click the link below for the list of featured posters.

10:20
40m
Poster
Posters Session 2
Posters

12:20 - 13:00
Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I
12:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

18:20 - 19:00
Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

20:20 - 21:00
Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

22:20 - 23:00
Lunch in TokyoPosters at SPLASH-I

Please click the link below for the list of featured posters.

22:20
40m
Poster
Posters Session 2
Posters

Tue 17 Nov

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

00:20 - 01:00
Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

04:20 - 05:00
Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

07:00 - 08:20
TKeynotes at SPLASH-I +12h
Chair(s): Steve Blackburn Australian National University
07:00
80m
Keynote
Testing Deep Neural Networks
Keynotes
Mary Lou Soffa University of Virginia
Link to publication
08:20 - 09:00
Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

09:00 - 13:00
HILT workshop Tuesday sessionsHILT at SPLASH-IV
Chair(s): Robert Bocchino NASA/Caltech Jet Propulsion Laboratory, Tucker Taft AdaCore, United States, Richard Wai ANNEXI-STRAYLINE

Tuesday HILT zoom roomTuesday HILT YouTubeHILT Clowdr Break Room

09:00
60m
Keynote
Tuesday Keynote: ZeroMQ - The world-saving superhero sockets of the networking world
HILT
Arnaud Loonstra Utrecht School of the Arts, Netherlands, Kevin Sapper codecentric AG
10:00
10m
Coffee break
Tuesday early coffee break
HILT

10:10
25m
Talk
XERIS/APEX: Hyperscaling with Ada
HILT
Richard Wai ANNEXI-STRAYLINE
10:35
25m
Talk
Challenges and lessons learned introducing Fuse, an evolving open source technology, into an established legacy Ada and C++ program
HILT
11:00
10m
Coffee break
Tuesday later coffee break
HILT

11:10
25m
Talk
Productive Parallel Programming with Parsl
HILT
Kyle Chard University of Chicago
11:35
25m
Talk
Building a Culture of Safe and Performant Systems with the Rust Programming Language
HILT
James Munns Ferrous Systems
12:00
60m
Other
Tuesday Panel: Language support for parallel and distributed computing
HILT
P: Tucker Taft AdaCore, United States, P: Kyle Chard University of Chicago, P: James Munns Ferrous Systems, P: Richard Wai ANNEXI-STRAYLINE
10:20 - 11:00
Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

12:20 - 13:00
Breakfast in WellingtonStudent Research Competition at SPLASH-I +12h
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

  • Gahwon Lee, SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems

  • Ian C. McCormack, A Software Library Model for the Internet of Things

  • Mona Zhang and Jacob Gorenburg, Design and Implementation of a Gradual Verifier

  • Raphael Mosaner, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

  • Reed Oei, Psamathe: A DSL for Safe Blockchain Assets

  • Sang Heon Choi, Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

  • Vitaly Romanov, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

12:20
40m
Poster
Student Research Competition
Student Research Competition

14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

18:20 - 19:00
Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

19:00 - 20:20
TKeynotes at SPLASH-I
Chair(s): Steve Blackburn Australian National University
19:00
80m
Keynote
Testing Deep Neural Networks
Keynotes
Mary Lou Soffa University of Virginia
Link to publication
20:20 - 21:00
Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

Call for Presentation and Panel Proposals

This workshop is focused on the practical use of High Integrity languages, technologies, and methodologies in the construction of safe, structured, highly parallel and/or distributed/cloud applications.

Key areas of interest include:

  • Safe and Productive Languages and Frameworks for the development of structured parallel and/or distributed applications (e.g. Rust, Concurrent Collections, Ada 202X, Parsl)
  • Broadly available technologies to support large dataset analysis and machine learning workloads (e.g. TensorFlow, Apache Spark)
  • Practical tools for applying static analysis and formal methods to parallel and/or distributed/cloud applications (e.g. SPARKProver, Java Pathfinder)

  • Underlying Portability Frameworks to support higher level capabilities (e.g. OpenMP, OpenACC, OpenCL, MPI)

  • Key technologies to bring high-performance computing to more traditional programming environments (e.g. advanced IRs supporting parallelism and heterogeneity such as MLIR and Tapir/LLVM)

Proposals for presentations or panel discussions should be one to three pages in length, and give an extended abstract for your presentation or for your suggested panel discussion. Full papers of length six to eight pages are also welcome. If proposing a panel, identify any panelists you have in mind. The proposals are due 4 September 2020, using HotCRP (https://hilt2020.hotcrp.com).

Monday 16 November 2020 – HILT zoom roomHILT YouTube Speakers US Central Time
Keynote: What’s new with the OpenMP API Version 5.1 Michael Klemm 9:00AM - 10:00AM
Break: HILT Clowdr Break Room ——— 10:00AM - 10:15AM
Talk: A Layered Mapping of Ada 202X to OpenMP Tucker Taft 10:15AM - 10:45AM
Talk: Parallel Multiple Double Precision to Solve Polynomial Systems Jan Verschelde 10:45AM - 11:15AM
Break: HILT Clowdr Break Room ——— 11:15AM - 11:30AM
Talk: Using the Tapir Compiler Intermediate Representation to Support Efficient Parallel Languages TB Schardl 11:30AM - 12:00PM
Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendorsPanelists: Michael Klemm, Eduardo Quiñones, Tucker Taft, Dirk Ziegenbein Moderator: Sara Royuela 12:00PM - 1:00PM
——— ——— ———
Tuesday 17 November 2020 – HILT zoom roomHILT YouTube Speakers US Central Time
Keynote: ZeroMQ/Zyre: The world-saving superhero sockets of the networking world Arnaud Loonstra and Kevin Sapper 9:00AM - 10:00AM
Break: HILT Clowdr Break Room ——— 10:00AM - 10:10AM
Talk: XERIS/APEX: Hyperscaling with Ada Richard Wai 10:10AM - 10:35AM
Talk: Challenges and lessons learned introducing Fuse, an evolving open source technology, into an established legacy Ada and C++ program Brian Kleinke 10:35AM - 11:00AM
Break: HILT Clowdr Break Room ——— 11:00AM - 11:10AM
Talk: Productive Parallel Programming with Parsl Kyle Chard 11:10AM - 11:35AM
Talk: Building a Culture of Safe and Performant Systems with the Rust Programming Language James Munns 11:35AM - 12:00PM
Panel: Language support for Parallel and Distributed ComputingPanelists: Kyle Chard, James Munns, Richard Wai Moderator: Tucker Taft 12:00PM - 1:00PM
Questions? Use the HILT contact form.