"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop ConferenceYouTube ↗
Archive guide
Aditya Siram introduces ATS, a statically typed ML-like language that compiles to C and offers type-safe pointer arithmetic and a full proof language. The Strange Loop talk shows off C interop, concurrency and verification features with non-trivial examples.