Towards Multi-Language Static Code Analysis. - Sanaa Siddiqui; Ravindra Metta; Kumar Madhukar (ISSREW, 2023)

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. - Sanaa Siddiqui; Diganta Mukhopadhyay; Mohammad Afzal; Hrishikesh Karmarkar; Kumar Madhukar (FMICS, 2024)

Learning DNN Abstractions using Gradient Descent. - Diganta Mukhopadhyay; Sanaa Siddiqui; Hrishikesh Karmarkar; Kumar Madhukar; Guy Katz (ASE, 2024)