HILT 2020             ACM logo - Advancing Computing as a Science & Profession

ACM SIGAda’s High Integrity Language Technology
International Workshop on
Safe Languages and Technologies for Structured and Efficient Parallel and Distributed/Cloud Computing

Organized by SIGAda, ACM’s Special Interest Group on the Ada Programming Language.

November 15-20, 2020

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.

Information is also on SPLASH's website for HILT 2020


Please check back here periodically for up-to-date information about the conference program.

Come back soon for more information!



 

Why Should You Join ACM?


USA Visas: If you require a visa to attend HILT 2020, read this IMPORTANT VISA INFORMATION FOR NON-US SUBMITTERS.

Created on 8 September 2020;  website comments and corrections to ClydeRoby at ACM.Org