Research projects I work on or have worked on.
Datalog + SMT + FP for writing SMT-based static analyses