Pony - A Language for Provably Safe Lockless Concurrency

If you're interested in concurrency, actor-oriented programming, and emerging technologies, then this talk is for you. I'll be discussing safe patterns for lockless concurrency and how Pony, an emerging actor language built on LLVM, provides a platform for making describing these patterns in our code explicitly, verifying our code's safety, and compiling high-performance concurrent applications.
Length: 01:29:38
Views 1823 Likes: 20
abstract
Recorded on 2016-04-23 at Linuxfest Northwest
Look for other videos at Linuxfest Northwest.
Tweet this video