Research
Projects and selected publications.
Selected Projects
Research tools and open-source implementations for program analysis and machine learning.
- VarDeterminismChecker — detecting sources of nondeterminism in unsupervised learning implementations
- Ocelot — verifying nondeterminism/inconsistency via SMT solving
- Constraint-guided Generalization — MILP-based post-hoc constraints for prediction flips/confidence
- DeAnomalyzer — reducing nondeterminism/inconsistency in anomaly detection
- ACE — parallelizing clustering implementations