Max Bernstein

https://bernsteinbear.com

@tekknolagi

Posts

• 2025-02-24 • Max Bernstein, Maxime Chevalier-Boisvert

  Interprocedural Sparse Conditional Type Propagation

  We prototyped an interprocedural static analysis tool using sparse conditional constant propagation.