Pony - A Language for Provably Safe Lockless Concurrency

Key takeaways
  • You'll learn about common patterns for safe lockless concurrency
  • You'll learn about how Pony enforces those patterns via reference capabilities in the type system
  • You'll learn about other key concepts in Pony
  • You'll get a brief look at where Pony is going

If you're interested in concurrency, actor-oriented programming, and emerging technologies, then this talk is for you. We'll be discussing safe patterns for lockless concurrency and how Pony, an emerging actor language built on LLVM, provides a platform for describing these patterns in our code explicitly, verifying our code's safety, and compiling high-performance concurrent applications.


Best companies