SAC 2026
An Empirical Study on Spectrum Based Fault Localization Heuristics
The 41st ACM/SIGAPP Symposium on Applied Computing
PhD Researcher, Indian Institute of Technology Kanpur
Building Reliable AI Systems for Software Engineering
I work at the intersection of large language models, software engineering, fault localization, program analysis and automated testing. My goal is to make software systems easier to understand, verify, and debug.
Large Language Models
Software Engineering
Fault Localization
Program Analysis
Automated Testing
Selected work
Selected Publications
ASE 2025
AndroFL: Evolutionary-Driven Fault Localization for Android Apps
40th IEEE/ACM International Conference on Automated Software Engineering
ASE 2023
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering
38th IEEE/ACM International Conference on Automated Software Engineering
Featured work
Featured Projects
Personal project
VIRA
An open-source AI-OS / Agentic OS layer that builds live context from your machine, runs fully locally, and can synthesize and verify tools from natural language.
GitHub repository: Vishalsng112/VIRA
ODIN
A stochastic sampling framework for fault spectrums that enables statistically grounded evaluation of spectrum-based fault localization metrics.
Associated with fault localization research
Read MoreAndroFL
An evolutionary test generation and fault localization infrastructure for diagnosing faults in Android applications.
ASE 2025 tool demonstration
Read MoreChiron
A teaching-oriented program analysis framework that combines analysis, verification, testing, and visual explanations.
ASE 2023 research track
Read MoreTeaching
Teaching and Service
CS253A
Software Development and Operations
CS639A
Program Analysis, Verification and Testing
CS661A
Big Data Visual Analytics
Contact
Get in touch
Institution
Department of Computer Science and Engineering
Indian Institute of Technology Kanpur