Using automatically generated invariants for regression testing and bug localization

Publication
IEEE/ACM International Conference on Automated Software Engineering (ASE)
Debjit Pal
Debjit Pal
Post-Doctoral Associate

My research interests include ML for EDA, SoC verification, Edge Intelligence as Service, and Compiler Optimizations for Reconfigurable and High-Performance Computing.