Aaron Bembenek

Why they're in the Luvo100

Bembenek makes sophisticated program analysis easier to implement and run efficiently. The team’s 2024 eager-evaluation work accelerated Formulog on published analysis benchmarks, with reviewed code, experiment data and reproduction instructions. It provides reusable infrastructure for verification rather than an opaque performance claim.