Immo Grabe defends thesis on formal methods for parallel programs

Publication date: 17-12-2012

Software

CWI researcher Immo Grabe has developed new formal methods for analysis of parallel object-oriented software. Formal methods form the mathematical basis for correctness of computer programs. He defended his thesis Static Analysis of Unbounded Structures in Object-Oriented Programs on 19 december 2012 at Leiden University.

Grabe's research focuses on the dynamic creation of objects and synchronization of parallel processes in object-oriented programming languages such as Java. The new methods can detect so-called deadlocks, situations in which processes wait for each's data, causing the program to stop functioning. Grabe also describes in his thesis a calculus for the formal description of the semantics of recent object-oriented programming languages such as Erlang and Scala that are especially suited for multi-core programming.


Thesis: Static Analysis of Unbounded Structures in Object-Oriented Programs
By: Immo Grabe (CWI Foundations of Software Engineering-group)
Promoters: Prof. dr. F.S. de Boer (CWI and UL) and prof. dr. M. Steffen (University Oslo)
Date: 19 December 2012, 10.00h
Place: Academiegebouw Universiteit Leiden

More information:
Homepage Foundations of Software Engineering-group
CREDO project