From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: *
X-Spam-Status: No, score=1.8 required=3.0 tests=BAYES_50,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.5-pre1
X-Received: by 2002:a0c:99e1:: with SMTP id y33mr281551qve.62.1604289385294;
        Sun, 01 Nov 2020 19:56:25 -0800 (PST)
X-Received: by 2002:ac8:431c:: with SMTP id z28mr4104202qtm.118.1604289385120;
 Sun, 01 Nov 2020 19:56:25 -0800 (PST)
Path: eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!fdn.fr!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 1 Nov 2020 19:56:24 -0800 (PST)
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=2607:fea8:880:3a00:2514:db78:79dc:478a;
 posting-account=FIrIqgoAAAAbYWMmVdbV5-vsuCUTq8lA
NNTP-Posting-Host: 2607:fea8:880:3a00:2514:db78:79dc:478a
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <99238f9a-1d77-4f3e-9f75-2e3533652a1bn@googlegroups.com>
Subject: ACM HILT 2020 (High Integrity Language Technologies) at SPLASH 2020 -
 Nov 16 & 17
From: Richard Wai <ric.wai88@gmail.com>
Injection-Date: Mon, 02 Nov 2020 03:56:25 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:60537
List-Id: <comp.lang.ada>

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.