M.Sc. and B.Sc. Thesis Topics

Here, you will find a partial list of suggested topics for M.Sc. and B.Sc. theses. All of these projects are suited for both B.Sc. and M.Sc. theses, but are adjusted according to the duration for the respective thesis.

All of the topics below are related to our current research projects, so if you would like to find out more about the projects, check out the Research and Publications web pages.

If you are interested in working with us or just want to find out more about these projects (or other ongoing work), please contact Prof. Martin Vechev.

To access the PDFs, use your standard ETH account information.

Program Analysis for the Power and ARM Memory Models PDF
Program Analysis for High-Performance Computing
(several thesis possible)
Predicate Abstraction for Relaxed Memory Models PDF
Lazy Abstraction for Relaxed Memory Models PDF
Race-Based Concurrency Analysis PDF
Statistical Code Completion (2 thesis possible) PDF
Program Refactoring by Example PDF
Synchronization Discovery in Web Pages PDF
Scalable Assertions PDF