Lecture 15: Guest Lecture by Bob Atkey

APL Lecture 15: Guest Lecture by Bob Atkey - Static Analysis for Java Concurrency with ThreadSafeStatic Analysis for Java Concurrency with ThreadSafe
Bob Atkey
Heriot-Watt University

Bob AtkeyI’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 issue report 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.

Links: Slides; Bob Atkey; Contemplate

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s