Thesis Topic Details

Topic ID:
3495
Title:
Data Races Detection in Java Programs
Supervisor:
Franck CASSEZ
Research Area:
Formal Methods, Software Engineering, Theory
Associated Staff
Assessor:
Ralf Huuck
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
--
Description:
The goal of this thesis is to design an automated verification tool
to automatically detect concurrency bugs in Java programs.
A prototype of the tool has been implemented in Scala but lacks many features.
Moreover, the input language of the tool is currently an ad-hoc simple language supporting the creation of a fixed number of threads.

The goal is to extend the tool with a front-end to analyse Java programs and to investigate how to analyse programs composed of an unbounded number of threads.
Comments:
If you want to discuss the topic, send me an email and we can make an appointment.
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.