ML-EXray: Visibility into ML Deployment on the Edge. - Hang Qiu 001; Ioanna Vavelidou; Jian Li; Evgenya Pergament; Pete Warden; Sandeep Chinchali; Zain Asgar; Sachin Katti (MLSys, 2022)

G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators. - Saranyu Chattopadhyay; Keerthikumara Devarajegowda; Bihan Zhao; Florian Lonsing; Brandon A. D'Agostino; Ioanna Vavelidou; Vijay Deep Bhatt; Sebastian Prebeck; Wolfgang Ecker; Caroline Trippel; Clark W. Barrett; Subhasish Mitra (DAC, 2023)