“A (Not So Gentle) Introduction To Systems Programming In ATS“ by Aditya Siram
The recent surge of interest in secure memory management has sparked a renaissance of type safe systems programming languages. ATS is a statically typed ML that compiles to C and offers what almost no other modern systems language including Rust has: type safe pointer arithmetic. It is unabashedly large and complex featuring a dazzling array of verification tools from advanced type system mechanisms like refinement types right up a full proof language. This talk will use these features to show off the language’s incredible power and control with non-trivial examples C interop, concurrency, and GC free low latency servers. No ATS experience is expected but the talk will move fast. Basic experience with C and a type system like Haskell’s will be helpful.
Aditya Siram
COMCAST
I work as a Scala developer by day, but write Haskell, Shen, C, Rust and ATS by candlelight. My latest passion is languages like Rust and ATS that use sophisticated type systems that allow safe memory access and high level abstractions ov
4 views
4200
1730
2 hours ago 00:16:13 1
hi, i made some frogs for your desktop
21 hour ago 00:03:55 1
Twenty One Pilots - “The Line” (from Arcane Season 2) [Official Music Video]
1 day ago 00:03:13 1
AI Trading Bot: Can CoinTech2U Really Make Profits? Find Out!
1 day ago 00:07:14 1
How To Use AI Crypto Bot and Make $2000 Per Day
1 day ago 00:01:17 1
1987-1025 Как делать бандан. (Из пуджи Дивали. Италия) Временно без перевода.
2 days ago 00:16:57 1
Creating an Exotic Material With A Static Secret (Electret)
2 days ago 00:07:15 1
30-06 at 3000+ Yards
2 days ago 00:03:53 1
Havana & Ioana Ignat - Vivere (Official Video)
2 days ago 00:13:26 1
В магазине таких не купить Стакан кефира немного молока и мука Kак же это вкусно Праздничная Выпечка
2 days ago 02:48:56 1
291 ‒ Role of testosterone in men & women, performance-enhancing drugs, sustainable fat loss, & more
2 days ago 02:37:35 1
David Goggins: How to Build Immense Inner Strength
2 days ago 00:04:54 1
Tesla’s New 2025 Model 3 – You Won’t Believe the Upgrades!
2 days ago 00:12:30 1
Charas: The World’s First Full-Spectrum Concentrate
2 days ago 00:11:24 1
UNCLE ERLING & LAMINE YAMAL❤️
3 days ago 00:04:34 1
Полёт на реактивном самолёте («Старик Хоттабыч», 1956) - RU, EN, FR, SV, FI
3 days ago 00:05:11 1
This is Create. (2022)
3 days ago 00:22:39 3
Presenting the FIRST Halo VR mod: Halo CEVR
3 days ago 00:04:05 1
NEMRA - I’m Afraid of Stars (ft. SERJ TANKIAN)
3 days ago 00:03:08 1
Красивая песня “Полёту Любви отдайся!“
3 days ago 00:17:37 1
День 186: Борьба с самоозабоченностью – «Библия за год» с о.Майком Шмитцем
3 days ago 00:01:15 1
“Pray for me, because my motorcycle is old and does not work well“
3 days ago 01:01:28 1
Place Vendôme in Paris for Christmas 2025 🎄 – Magic of Lights and Beauty in the Heart of Paris🎅