Keyword:programming languages

Publications
The Vehicle Tutorial: Neural Network Verification with Vehicle Matthew Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke and Jeonghyeon Lee In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Automatic Mapping of Parallel Pattern-based Algorithms on Heterogeneous Architectures Lukas Trümper, Julian Miller, Christian Terboven and Matthias S. Müller EasyChair Preprint 5597
A Next Generation Data Language Proposal Eugene Panferov EasyChair Preprint 5302
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations Kiko Fernandez-Reyes, Dave Clarke and Daniel S. McCain EasyChair Preprint 43