HILT 2020 Workshop on Safe Languages and Technologies for Structured and Efficient Parallel and Distributed/Cloud Computing.

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

• Monday 9AM-10AM US Central Time

  • Keynote: What’s new with the OpenMP API Version 5.1
  • Michael Klemm, CEO of OpenMP ARB

    

• Tuesday 9AM-10AM US Central Time

  • Keynote: ZeroMQ - The world-saving superhero sockets of the networking world
  • Arnaud Loonstra (Utrecht School of the Arts) and Kevin Sapper (codecentric AG)

    

Panels

• Monday 12PM-1PM US Central Time

  • Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors
  • Moderator: Sara Royuela, Barcelona Supercomputing Center
  • Panelists:
    • Michael Klemm, CEO, OpenMP ARB
    • Eduardo Quiñones, Barcelona Supercomputing Center
    • Tucker Taft, Director of Language Research, AdaCore
    • Dirk Ziegenbein, Corporate Research, Robert Bosch GmbH

• Tuesday 12PM-1PM US Central Time

  • Panel: Language Support for Parallel and Distributed Computing
  • Moderator: Tucker Taft, Director of Language Research, AdaCore
  • Panelists:
    • Kyle Chard, University of Chicago
    • James Munns, Ferrous Systems
    • Richard Wai, Annexi-Strayline

Monday Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors

Sara Royuela, Michael Klemm, Eduardo Quiñones, Tucker Taft, Dirk Ziegenbein

Tuesday Panel: Language support for parallel and distributed computing

Tucker Taft, Kyle Chard, James Munns, Richard Wai

Workshop Papers

In addition to our panels and keynotes, the following papers will be presented at the HILT 2020 Workshop

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