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
Times are displayed in time zone: Central Time (US & Canada) change

00:20 - 01:00: Breakfast in Paris (PLMW AMA)PLMW at SPLASH-I
00:20 - 01:00
Talk
PLMW
Sriram RajamaniMicrosoft Research
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
04:20 - 05:00: Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
08:20 - 09:00: Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
Meet The Speakers (MTS)
09:00 - 10:20: MKeynotes at SPLASH-I +12h
09:00 - 10:20
Keynote
Keynotes
Jonathan BellNortheastern University
Media Attached
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 - 10:00
Keynote
HILT
Michael KlemmOpenMP ARB
10:00 - 10:15
Coffee break
HILT
10:15 - 10:45
Talk
HILT
Tucker TaftAdaCore, United States
10:45 - 11:15
Talk
HILT
Jan VerscheldeUniversity of Illinois at Chicago
11:15 - 11:30
Coffee break
HILT
11:30 - 12:00
Talk
HILT
TB SchardlMIT CSAIL
12:00 - 13:00
Other
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
10:20 - 11:00: Breakfast in SeattlePosters at SPLASH-I +12h

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

10:20 - 11:00
Poster
Posters
12:20 - 13:00: Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I
12:20 - 13:00
Social Event
Meet The Speakers (MTS)
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
20:20 - 21:00: Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
Meet The Speakers (MTS)
21:00 - 22:20: MKeynotes at SPLASH-I
21:00 - 22:20
Keynote
Keynotes
Jonathan BellNortheastern University
Media Attached
22:20 - 23:00: Lunch in TokyoPosters at SPLASH-I

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

22:20 - 23:00
Poster
Posters

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

00:20 - 01:00: Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20 - 01:00
Social Event
Meet The Speakers (MTS)
02:20 - 03:00: Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
Meet The Speakers (MTS)
04:20 - 05:00: Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
Meet The Speakers (MTS)
06:20 - 07:00: Dinner in DelhiMeet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
Meet The Speakers (MTS)
07:00 - 08:20: TKeynotes at SPLASH-I +12h
Chair(s): Steve BlackburnAustralian National University
07:00 - 08:20
Keynote
Keynotes
Mary Lou SoffaUniversity of Virginia
Link to publication
08:20 - 09:00: Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
Meet The Speakers (MTS)
09:00 - 13:00: HILT workshop Tuesday sessionsHILT at SPLASH-IV
Chair(s): Robert BocchinoNASA/Caltech Jet Propulsion Laboratory, Tucker TaftAdaCore, United States, Richard WaiANNEXI-STRAYLINE

Tuesday HILT zoom roomTuesday HILT YouTubeHILT Clowdr Break Room

09:00 - 10:00
Keynote
HILT
Arnaud LoonstraUtrecht School of the Arts, Netherlands, Kevin Sappercodecentric AG
10:00 - 10:10
Coffee break
HILT
10:10 - 10:35
Talk
HILT
Richard WaiANNEXI-STRAYLINE
10:35 - 11:00
Talk
HILT
11:00 - 11:10
Coffee break
HILT
11:10 - 11:35
Talk
HILT
Kyle ChardUniversity of Chicago
11:35 - 12:00
Talk
HILT
James MunnsFerrous Systems
12:00 - 13:00
Other
HILT
P: Tucker TaftAdaCore, United States, P: Kyle ChardUniversity of Chicago, P: James MunnsFerrous Systems, P: Richard WaiANNEXI-STRAYLINE
10:20 - 11:00: Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
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 - 13:00
Poster
Student Research Competition
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
19:00 - 20:20: TKeynotes at SPLASH-I
Chair(s): Steve BlackburnAustralian National University
19:00 - 20:20
Keynote
Keynotes
Mary Lou SoffaUniversity of Virginia
Link to publication
20:20 - 21:00: Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
Meet The Speakers (MTS)
22:20 - 23:00: Lunch in TokyoMeet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
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.