Guide to Theses and Smaller Projects
Project Related Resources
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.