Thesis Topic Details

Topic ID:
3545
Title:
Detecting software bug for Go programs
Supervisor:
Yulei Sui
Research Area:
Program Analysis, Programming Languages, Compiler
Associated Staff
Assessor:
Jingling Xue
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE BIOM BINF SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
Some understanding about Go and good software development skills with large systems
Description:
The Go language was announced in 2009 in Australia. It is now used
not only in Google's products, but also becoming popular for
programmers world-wide. Go is a strongly typed language,
which supports concurrency at the language level and has a
built-in garbage collector.

Some existing tools for analysing Go are:
Go profiling (https://code.google.com/p/thread-sanitizer/wiki/GoManual)
and Go threadsanitizer for detecting data races
(https://blog.golang.org/profiling-go-programs).

This project aims to extend existing program analysis techniques to
find software bugs in Go programs.
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.