• I am a third-year Ph.D student in the Software Engineering Research Center at the University of Texas at Arlington.
• I received my Bachelor’s Degree in Computer Engineering from Kathmandu University
• My research focuses on applications and development of machine learning/deep learning methods as well as natural language processing for Software Engineering and vice versa.

Recent News

• February 26, 2020. DeepFuzzSL: Generating Models with Deep Learning to Find Bugs in the Simulink Compiler was accepted at DeepTest 2020.
• February 6, 2020. Demo: SLEMI: Finding Simulink Compiler Bugs through Equivalence Modulo Input (EMI) was accepted at ICSE 2020.
• February 2, 2020. I will be presenting my research Automatic Generation of Simulink Models to Find Bugs in a Cyber-Physical System Tool Chain using Deep Learning at ACM Student Research Competition at ICSE 2020.
• December 8, 2019. Our paper SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink was accepted in International Conference in Software Engineering 2020(ICSE)
• August 8, 2019. Our National Science Foundation NSF grant to explore mutation and deep-learning based compiler validation has been accepted!
• May 30, 2019. Received Diversity and Inclusion fellowship to attend ICML.
• May 18 - 25, 2019. Was accepted to Ninth Summer School on Formal Techniques.
• December 2 - 8, 2018. Volunteered in NeurIPS.
• November 30 - December 2,2018. Received travel grant to attend Self-Organizing Conference on Machine Learning.
• November 13, 2018, Presented poster on “Precomputing Outputs of Hidden Layers to Speed Up Deep Neural Network Training” in ACM Student Research Competition at SC18.
• November 11–16, 2018. Volunteered in International Conference for High Performance Computing, Networking, Storage and Analysis (SC18).
• June 10 - June 15, 2018. Volunteered in SIGMOD/PODS.
• May 27, 2018. Gave a talk at RAISE 2018. Slides can be found here.
• January 22, 2018. Our paper “Complementing Machine Learning Classifiers Via Dynamic Symbolic Execution:“Human vs. Bot Generated” Tweets” was published in International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE).