Broken Dependency Orderings in the Linux Kernel

• Laid the project foundation in my bachelor’s thesis, "Dependency Ordering in the Linux Kernel," by building a tool that checks for broken dependency orderings in the Linux kernel while compiling it with the LLVM toolchain (Thesis Link)
• Advised a guided research project on detecting Linux kernel address dependencies broken by the LLVM backend that was based on my bachelor’s thesis (Guided Research Report)
• Gave a Linux Plumbers Conference talk which proved that compilers are capable of breaking dependency orderings in the Linux kernel (Abstract, Recording)
• Gave the same talk at the 2022 ClangBuiltLinux Meetup at Google, Dublin (Meetup Schedule)
• Presented a proof-of-concept for broken dependency ordering checks at runtime using the angr binary analysis platform in my master’s thesis "Out-Of-Spec Compilation in the Presence of Dragons: Investigating Broken Dependency Orderings in the Linux Kernel" (Thesis Link)
• Technologies used: angr, C, C++, cmake, git, LaTeX, Linux kernel, Linux kernel mailing list, LLVM, make, nix, Python