Tag: pl
main
Blog
Projects
CV
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 18, 2023 | Do Your Units Match? An Embedded DSL for Physical Quantities