The Davis Automated Reasoning Group (DARG), led by Prof. Aditya Thakur, is a team of researchers who develop tools and techniques for reasoning about software. The research conducted by DARG intersects with the areas of programming languages, formal methods, machine learning, and software engineering.
Error specification inference and error handling in systems code
Deterministic parallel fixpoint computation algorithm based on weak partial order (WPO) of directed graph for scalable abstract interpretation.
Symbolic representations for neural networks to understand, verify, and patch deep neural networks.