DARK-Adders: Digital Hardware Trojan Attack on Block-based Approximate Adders. - Vishesh Mishra; Neelofar Hassan; Akshay Mehta; Urbi Chatterjee (VLSID, 2023)

Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems. - Alexander W. Lee; Justin Chan; Michael Fu; Nicolas Kim; Akshay Mehta; Deepti Raghavan; Ugur Çetintemel (CoRR, 2025)