Publications

You can also find my articles on my Google Scholar profile.

ITHICA: Intra-Thread Instruction Checking Approach for Defect-Induced Silent Data Corruptions

Published in arXiv, 2026

ITHICA is an approach and tool for automated functional test generation from arbitrary programs for detecting hardware defects in datacenter CPUs.

Recommended citation: Vavelidou, Ioanna, Banerjee, Subho S., Liu, Eric X., Fuller, Mike, Mitra, Subhasish, and Trippel, Caroline. "ITHICA: Intra-Thread Instruction Checking Approach for Defect-Induced Silent Data Corruptions." arXiv preprint arXiv:2605.15638 (2026).
Download Paper

G-QED: Generalized QED pre-silicon verification beyond non-interfering hardware accelerators

Published in DAC, 2023

G-QED (Generalized QED) goes beyond non-interfering HAs, providing a quick and provably thorough HA verification framework that does not require extensive design-specific properties or a full functional specification.

Recommended citation: S. Chattopadhyay et al., "G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators," 2023 60th ACM/IEEE Design Automation Conference (DAC), San Francisco, CA, USA, 2023, pp. 1-6, doi: 10.1109/DAC56929.2023.10247903. keywords: {Productivity;Context;Design automation;Digital systems;Side-channel attacks;Energy efficiency;Timing;QED;Quick Error Detection;Accelerators;Processors;Functional consistency},
Download Paper

ML-EXray: Visibility into ML deployment on the edge

Published in MLSys, 2022

ML-EXray provides visibility into layer-level details of the ML execution, helps developers analyze and debug cloud-to-edge deployment issues.

Recommended citation: Qiu, Hang, Ioanna Vavelidou, Jian Li, Evgenya Pergament, Pete Warden, Sandeep Chinchali, Zain Asgar, and Sachin Katti. "ML-EXray: Visibility into ML deployment on the edge." Proceedings of Machine Learning and Systems 4 (2022): 337-351.
Download Paper