J. Nausheen Mohammed

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

Collaborative distances:

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

2025

LLM Assistance for Memory Safety.

J. 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.

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

CoRR, 2024

Leveraging LLMs for Program Verification.

Adharsh Kamath, J. 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

Reactive Dataflow for Inflight Error Handling in ML Workflows.

Abhilash Jindal, Kaustubh Beedkar, Vishal Singh, J. Nausheen Mohammed, Tushar Singla, Aman Gupta, Keerti Choudhary

Proceedings of the Eighth Workshop on Data Management for End-to-End Machine Learning, 2024