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

You're viewing the program in a time zone which is different from your device's time zone - change time zone
No schedule or scheduled events are not visible yet, check back later

Not scheduled yet

Not scheduled yet
Other
HILT
P: Tucker TaftAdaCore, United States, P: Kyle ChardUniversity of Chicago, P: James MunnsFerrous Systems, P: Richard WaiANNEXI-STRAYLINE
Not scheduled yet
Talk
HILT
Not scheduled yet
Talk
HILT
Kyle ChardUniversity of Chicago
Not scheduled yet
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
Not scheduled yet
Talk
HILT
James MunnsFerrous Systems
Not scheduled yet
Talk
HILT
Jan VerscheldeUniversity of Illinois at Chicago
Not scheduled yet
Talk
HILT
Richard WaiANNEXI-STRAYLINE
Not scheduled yet
Talk
HILT
TB SchardlMIT CSAIL
Not scheduled yet
Keynote
HILT
Michael KlemmOpenMP ARB
Not scheduled yet
Keynote
HILT
Arnaud LoonstraUtrecht School of the Arts, Netherlands, Kevin Sappercodecentric AG
Not scheduled yet
Talk
HILT
Tucker TaftAdaCore, United States

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 Speakers US Central Time
Keynote: What’s new with the OpenMP API Version 5.1 Michael Klemm 9:00AM - 10:00AM
Break ——— 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 ——— 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 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 ——— 10:00AM - 10:10AM
Talk: XERIS/APEX: Hyperscaling with Ada Richard Wai 10:10AM - 10:35AM
Talk: Challenges and lessons learned introducing an evolving open source technology into an established legacy Ada and C++ program Brian Kleinke 10:35AM - 11:00AM
Break ——— 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.