Tag: compilers
main
Blog
Projects
CV
Jun 3, 2024 | Chordal Graph Register Allocation
May 31, 2024 | A Year in Caiman
Jan 12, 2024 | Z3-Powered Constraint Solving for Static Analysis
Dec 20, 2023 | Fuzzing Compilers With Genetic Programming
Nov 15, 2023 | Scheduling LLVM Passes with the New Pass Manager
Oct 7, 2023 | Not Now Null Pointers: LLVM Null Analysis