M.Sc. and B.Sc. Thesis Topics
Here, you will find a list of suggested research M.Sc. and B.Sc. thesis topics. All of these projects contain a combination of theory and implementation. If you are interested in any of these projects, or have an idea of your own that you would like to explore, please contact Martin Vechev.
To access the PDF files, use your standard ETH account information.
| Title | Type | Details |
|---|---|---|
| Concurrency Analysis for the Power and ARM Memory Models | M.Sc. |  |
| Analysis of Linux on x86 memory model | M.Sc. | |
| Relaxed Concurrent Algorithms for Weak Memory Models | M.Sc. |
|
| Safe Binaries for Weak Memory Models | B.Sc. |
|
| Programming Language Support for Concurrent Algorithms | M.Sc. |
|
| Race-Based Analysis for Weak Memory Models | M.Sc. |
|
| Scalable Assertion Checking | M.Sc. |
|