Sanaa Siddiqui

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

Collaborative distances:

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

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