Niranjan Hasabnis



Google Scholar

About me

I am currently a Research Scientist at Machine Programming Lab in Intel Labs. My research interests are at the intersection of application of artificial intelligence, machine learning, and formal method techniques to problems in compilers, HPC, software systems, and software engineering. Previously, I implemented and published an automated system, named ControlFlag, that learns to detect programming errors in code. ControlFlag is open-source now, and has been covered by several news outlets such as Communications of ACM, Venturebeat, ZDNet, TechRepublic, etc.

Prior to joining Intel, I was a PhD student at Secure Systems Lab at Stony Brook University, and I was advised by Prof. R. Sekar. At Stony Brook, I conducted research in program analysis, symbolic execution, machine learning techniques to learn code translators, and binary analysis.