Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
PROPS – AI-Powered Obsolete Parts Search System
Industry Capstone with B. Braun Medical Inc.
Built a secure, AI-powered web platform that automates sourcing of obsolete manufacturing parts across external marketplaces, reducing manual search time and production downtime for medical device engineers.
Tech: Next.js, React, Tailwind CSS, OpenAI API (Web Search), JWT Auth
Focus: AI for supply chain, procurement automation, decision-support systems
SportConnect – AI-Assisted Sports Social Networking App
Personal Project
A full-stack mobile application that connects sports enthusiasts based on geographic proximity, featuring AI-powered form analysis, real-time messaging, media sharing, and privacy-controlled location discovery.
Tech: React Native, TypeScript, AWS (DynamoDB, S3, AppSync), Expo, Computer Vision
Focus: AI for sports, real-time systems, cloud architecture, mobile development
publications
Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
2025
Rong Feng, Vanisha Gupta, Vivek Patel, Viroopaksh Reddy Ernampati, Suman Saha
This paper investigates whether large language models can simulate symbolic execution outputs produced by tools like KLEE. We research program semantics and code security, focusing on deobfuscation, symbolic execution, and program equivalence. We designed preprocessing pipelines to automatically insert symbolic variables into C programs and compile to LLVM bitcode for analysis. We fine-tuned GPT-4o on a large dataset with KLEE artifacts to evaluate its ability to replicate path constraints and test case outputs.
Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution
2025
Rong Feng, Suman Saha
This paper presents a systematic evaluation of whether large language models can recover program semantics from obfuscated code. We designed and implemented a benchmark suite combining TUM Obfuscation Benchmarks, LLVM test suite, and algorithmic repositories with four obfuscation transformations: control-flow flattening, opaque predicates, arithmetic encoding, and branch encoding. We fine-tuned multiple LLMs (GPT-4.1-mini, Codestral, Ministral) under baseline and KLEE-enhanced training configurations using SMT constraints, path statistics, and test cases.
[WIP] Stage-Supervised Latent Reasoning for Single-Shot JavaScript Deobfuscation
2026
This WIP paper proposes a stage-aware latent reasoning framework for JavaScript deobfuscation. Rather than treating deobfuscation as a one-step translation, we convert intermediate outputs from the Webcrack deterministic deobfuscation pipeline into structured supervision for a Coconut-based model. The model learns from multi-stage rewrites during training but generates the final cleaned program in a single shot at inference time. Preliminary evaluation on JsDeObsBench shows the Coconut-based model achieves 50% syntactic validity and 80% semantic correctness among valid outputs, outperforming direct fine-tuning (15% syntax, 0% semantics) and a zero-shot baseline (25% syntax, 40% semantics).
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.