Time: 
2016-04-23 10:45-2016-04-23 12:15
Room: 
CC-208

Experience level

Expert

Session Track

Programming

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 describing these patterns in our code explicitly, verifying our code's safety, and compiling high-performance concurrent applications.