外围体育投注Hey everyone, I'm pleased to announce that Tucker Taft and I will be co-chairing the HILT (High Integrity Language Technologies) workshop this year as part of the larger 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.
This is the 6th HILT workshop, and will focus on the growing importance of large-scale, highly parallel, distributed and/or cloud applications.
外围体育投注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. 1-3 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 for more information, and to submit your proposals.
Hope to see some of you there 😉 Feel free to reach out to me directly if you have any questions.
GWindows is a full Microsoft Windows Rapid Application Development framework for programming GUIs (Graphical User Interfaces) with Ada.
外围体育投注GWindows works with the GNAT development system (could be made pure Ada with some effort).
Changes to the framework are detailed in gwindows/changes.txt or in the News forum on the project site.
GWindows Project site:
外围体育投注GWindows GitHub clone:
外围体育投注For anyone who wants to have an idea of how our favorite language is evolving, check out the meeting minutes of the ARG who is responsible for maintaining the language. It is a great way to get an insight about the technical challenges with adding new language features.