Potential Master's and Ph.D. Thesis Projects

On different Topics

• Finding Weak Memory Model bugs using the SIMICS Simulator
• [2010-12-09]. Thesis project, Interview study concerning employability among IT-Alumni, see here
• Testing and Model Generation
• Performance of Parallel Programs on Multicore Platforms
• Verification and Analysis of Concurrent Algorithms
• [2011-01-18]. See here for a thesis project on Redesign of Web-site for the Master Students at the Department of Information Technology, Uppsala University.