ACM HILT 2020 (High Integrity Language Technologies) at SPLASH 2020 - Nov 16 & 17

[Richard Wai <ric.wai88@gmail.com>]

Hey everyone, just a reminder that the 6th HILT workshop this year is on Nov 16 & 17, and is part of the larger SPLASH 2020 conference (2020.spashcon.org). Unsurprisingly, this year's workshop will be fully virtual.

HILT 2020 focuses on the growing importance of large-scale, highly parallel, distributed and/or cloud applications.

For Ada specifically we have talks on:

- A layered mapping of Ada 202X parallel constructs to OpenMP (Tucker Taft),

- Experience integrating FAA's NextGen ERAM (mostly Ada) with SWIM (Mixed languages) (Brian Kleinke, Leidos)

- A highly parallel multiple double precision polynomial solver framework in Ada (PHC Pack - Prof. Jan Verschelde of UoI at Chicago)

- A cloud-native/HPC-centric hyperscaling framework for Ada, and a supporting Ada-specific exokernel OS (Yours truly)

Please check out the workshop's website (https://2020.splashcon.org/home/hilt-2020) if you are interested in attending.