Nausheen Mohammed

According to our database, Nausheen Mohammed authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

LLM Assistance for Memory Safety.

Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

Enabling Memory Safety of C Programs using LLMs.

Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma

CoRR, 2024

Leveraging LLMs for Program Verification.

Adharsh Kamath, Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma

Proceedings of the Formal Methods in Computer-Aided Design, 2024