2016-03-23 Departmental seminar: Bob Atkey (MSP)

Tue, 14 Oct 2025 16:51:42 +0000

Bob Atkey (MSP)

A static analyser for concurrent Java

Abstract

ThreadSafe is a static analysis tool for finding bugs in concurrent Java code that has been used by companies across the world to analyse and find bugs in large mission industrial applications. I will talk about how ThreadSafe works, and our experiences in applying static analysis technology to the "real world".

ThreadSafe is available from http://www.contemplateltd.com/

2016-03-23 16:00:00 UTC
LT1415