I'm a Ph.D. candidate in Computer Science and Engineering at IIT Bombay, passionate about building high-performance verification tools, scalable systems, and advanced concurrency solutions.
🔍 I specialize in:
- Formal Verification and Static/Dynamic Program Analysis
- Concurrent and Distributed Systems
- Scalable Software Engineering for Weak Memory Models and GPUs
My work focuses on translating deep theoretical research into robust tools that detect and fix concurrency issues at scale.
I thrive at the intersection of research, programming languages, and software engineering, solving real-world systems problems with rigor and creativity.
- Programming Languages: C, C++, Python, Go, Java, HTML/CSS
- Systems Expertise: Unix/Linux, Distributed Systems, Multithreading, Memory Consistency Models
- Tooling and Frameworks: LLVM, JavaPathFinder, LaTeX, Git
- Focus Areas: Stateless Model Checking, Formal Verification, Program Analysis
- GPUMC: Built a stateless model checker for GPU concurrency, improving bug detection in heterogeneous systems.
🔗 Artifact - TranSER: Developed an efficient verification tool for transactional programs under serializability.
🔗 Artifact - DynamicDyckReachability: Engineered an O(n log n) dynamic graph algorithm for scalable static analysis.
🔗 Artifact - ConsChecker: Designed a verification system for causal consistency built on top of LLVM infrastructure.
🔗 Artifact
Each tool is designed for scalability, efficiency, and practical impact.
- GitHub
- 📫 Email: [email protected] | [email protected]
"Building systems that bridge rigorous verification and practical scalability."