Call For Presentations: ACM HILT 2020 (High Integrity Language Technologies) workshop at SPLASH 2020.

Call For Presentations: ACM HILT 2020 (High Integrity Language Technologies) workshop at SPLASH 2020.

[ric.wai88]

This is the 6th HILT workshop, and will focus on the growing importance of large-scale, highly parallel, distributed and/or cloud applications.
 
The workshop will be part of SPLASH 2020 Conference, on November 15-20. The conference is tentatively planned to take place in Chicago, but may be hosted virtually, or a combination thereof, depending on the evolution of the COVID-19 pandemic. 
 
We are currently accepting proposals for presentations, due by September 4th. The workshop program committee will select presentations and organize them into sessions.

Attendees wishing to present at the workshop should prepare extended abstracts (approx. 2-4 pages) for the proposed presentations. Full papers (6-8 pages) are also acceptable. 

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)
 
Please visit the landing page at https://2020.splashcon.org/home/hilt-2020 for more information!