Sun 15 - Fri 20 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.

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

Questions? Use the HILT contact form.