I’m very pleased to have Bob Atkey present a guest lecture in APL.
Bob is a researcher and developer: his extensive original research on programming languages, types, and effects stands alongside practical work such as that with Edinburgh spin-out Contemplate on their flagship ThreadSafe product for early detection of concurrency bugs in Java.
|ThreadSafe: Static Analysis for Java Concurrency
ThreadSafe is the leading static analysis tool for finding and diagnosing dangerous concurrency bugs in Java code.
Why wait for customers to find what ThreadSafe can help prevent? Take your free trial today.
He is also an engaging and approachable speaker, and I strongly recommend coming along to hear him this afternoon.