Cesar Andres du 15/04 /09 au 31/05/09 – Doctorant à l’Université Complutense de Madrid
Abstract :
I will present Checkmate, a generic static analyzer of Java multithreaded programs based on the abstract interpretation theory.
It supports all the most relevant features of Java multithreading, as dynamic unbounded thread creation, runtime creation of monitors, and dynamic allocation of shared memory.
