Guide to Theses and Smaller Projects

Project Related Resources

• A guide on writing theses and project agreements in software programs of the IT University.
• Writing reports by Peter Sestoft
• Formatting guidelines by Kjeld Schmidt (Primarily for users of Microsoft Word and similar word processors. Users of LaTex will be fine following standard LaTex conventions).
• Academic conduct and misconduct (Akademisk redelighed og uredelighed)
• Writing for Computer Science by Justin Zobel - a book that will help you to write and typeset your report in a professional way.
• An unofficial LaTeX template for ITU theses

Some Project Ideas

• Incorporate symbolic execution to EBA and use it to generate valid traces (can be usef for program testing, repair, and verification)
• Incorporate symbolic execution into EBA and use it to eliminate false positives from bug reports (so that kernel programmers can find and fix errors more effectively)
• Implement new bug detectors within the EBA tool.
• Implement new bug finders for finding dependency bugs in Robot Operating System (ROS)
• Create a benchmark of concurrent C programs with locks by collecting C programs that use TSAN annotations online, or by translating from C++ programs that use TSAN.
• Assess and report the state of documentation regarding QA for the ROS project (analysis), organize and refresh this documentation in Quality Hub Wiki (intervention), measure how ROS community members use the QA documentation (evaluation).
• Implement a functional reactive programming (FRP) extension for rospy. So a python version of rxros.