Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language1 HN recommender · recommended in 1 month, 2016-2024
4K views · 11 years ago · talk · dated
Robert Moss's JuliaCon 2015 talk describes using Julia as a specification language for ACAS X, the next-generation airborne collision avoidance system that succeeds TCAS.
HN points to it as a real-world example of Julia used in safety-critical aerospace design.
39:46JuliaRobotics: Making robots walk with Julia | Robin Deits
The Julia Programming Language
9K views • 8 years ago
19:12Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017
The Julia Programming Language
7K views • 9 years ago
1:04:53Julia: to Lisp or not to Lisp?
European Lisp Symposium
24K views • 10 years ago
35:24The Unreasonable Effectiveness of Multiple Dispatch | Stefan Karpinski | JuliaCon 2019
The Julia Programming Language
79K views • 7 years ago
52:40Keynote. Professor Steven G. Johnson | JuliaCon 2019
The Julia Programming Language
18K views • 7 years ago
36:58"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
26K views • 9 years ago
16:04Jonathan Diegelman - Modeling Spacecraft Separation Dynamics in Julia
The Julia Programming Language
12K views • 5 years ago
8:34APL at Julia's Speed | Shashi Gowda | JuliaCon 2016
The Julia Programming Language
3K views • 10 years ago
59:50Leslie Lamport: Thinking Above the Code
Microsoft Research
403K views • 12 years ago
58:37NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
5K views • 6 years ago
1:00:28Keynote. Fortress Features and Lessons Learned | Guy Steele | JuliaCon 2016
The Julia Programming Language
15K views • 10 years ago
1:01:04Introduction to Julia - Part 1 | SciPy 2014 | David Sanders
Enthought
80K views • 12 years ago
30:06"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Strange Loop Conference
24K views • 9 years ago
42:43"Propositions as Types" by Philip Wadler
Strange Loop Conference
143K views • 11 years ago
23:38Interactive notebooks ~ Pluto.jl | Fons van der Plas | JuliaCon 2020
The Julia Programming Language
48K views • 6 years ago
39:40"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
15K views • 8 years ago
1:12:122017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele
7K views • 9 years ago
28:00APL demonstration 1975
Imperial College London
111K views • 13 years ago
56:58Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
20K views • 10 years ago
9:59Intentional Programming demo (Part 1) - Editor
dftube
14K views • 20 years ago
4 comments from Hacker News
This is true, but even engineers see the advantages of Julia. My engineering school has went from almost pure Matlab usage to many key engineering courses switching to Julia due to its simplicity and friendliness. It's also SOTA for many engineering applications, particularly for acausal modelling and scientific machine learning (see link ), which has led to big companies like Pfizer adopting it [1]. And for engineers writing novel libraries, it clearly has a strong edge. See for example the work by NASA's JPL [2, 3], the FAA [4] or the CliMa project [5]. [1]: link (see also link ) [2]: link [3]: link [4]: ▶ this video [5]: link
A detailed discussion is on Julia discourse: link Bugs are everywhere - including Python and R libraries. You would not design a safety critical system in Python using libraries and codepaths that are not heavily tested. Even then, you still have to carefully design testsuites that give you confidence that what you are computing is what is expected. See these talks on how a collision avoidance system was designed with Julia. link ▶ this video
While many of Julia Computing's customers already use Julia in production, JuliaCon has had many talks as well. Here are a few: A Big Data application: link A finance application: link An avionics application: ▶ this video
In case you are interested, here are slides ( link ) and a presentation ( ▶ this video ) about TCAS (and its successor, ACAS X)