We will be developing and testing program analysis tools and techniques for finding bugs in software, in particular highly-configurable low-level C systems like the Linux kernel.
Start Date: 1/8/2024 - End Date: 4/28/2024
Type of Project
Running tools and analyzing bug reports Reading and summarizing existing research literature Data analyst on tool results Presenting findings
Programming skill, particularly in C Ability to read and understand source code Data analysis skills are good but not required Knowledge of language tools good but not required. Intro to programming and CS1 required Systems software, CS2, and big discrete desirable
Interested in Working With the Following Programs
For EXCEL URE Students Only