Tag: projects
main
Blog
Projects
CV
Nov 30, 2024 | Synthesizing Variable Initializations in CPS Programs
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
Oct 7, 2023 | Not Now Null Pointers: LLVM Null Analysis
Aug 1, 2023 | Real-Time, Accurate Collision Detection
Jul 20, 2023 | The Case of the Disappearing Shadow: Gradual Shadow Fading