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.