Sanaa Siddiqui

According to our database, Sanaa Siddiqui authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Learning DNN Abstractions using Gradient Descent.

Diganta Mukhopadhyay, Sanaa Siddiqui, Hrishikesh Karmarkar, Kumar Madhukar, Guy Katz

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks.

Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

Towards Multi-Language Static Code Analysis.

Sanaa Siddiqui, Ravindra Metta, Kumar Madhukar

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023