Sanjana Singh

According to our database, Sanjana Singh authored at least 5 papers between 2019 and 2022.

Collaborative distances:

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

2022

Fence Synthesis Under the C11 Memory Model.

Sanjana Singh, Divyanjali Sharma, Ishita Jaju, Subodh Sharma

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics.

Sanjana Singh, Divyanjali Sharma, Subodh Sharma

CoRR, 2021

Dynamic Verification of C11 Concurrency over Multi Copy Atomics.

Sanjana Singh, Divyanjali Sharma, Subodh Sharma

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2019

Performance Evaluation of a Generative Adversarial Network for Deblurring Mobile-phone Cervical Images.

Prasanth Ganesan, Zhiyun Xue, Sanjana Singh, L. Rodney Long, Behnaz Ghoraani, Sameer K. Antani

Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

Deep Learning for Assessing Image Focus for Automated Cervical Cancer Screening.

Peng Guo, Sanjana Singh, Zhiyun Xue, L. Rodney Long, Sameer K. Antani

Proceedings of the 2019 IEEE EMBS International Conference on Biomedical & Health Informatics, 2019