4 papers · 1 filter
Verified Learning for Compiler Optimization: An LLM-Guided Architecture with Formal Control
Dev Pratap Singh, Rong Feng, Suman Saha
Compiler optimizations traditionally rely on handcrafted heuristics that often fail to generalize across programs and architectures. We investigate whether large language models ca…
Stage-Supervised Latent Reasoning for Single-Shot JavaScript Deobfuscation
Rong Feng, Suman Saha
JavaScript obfuscation is widely used to protect code, but it also makes program analysis and security review substantially harder. Existing LLM-based deobfuscation methods usually…
Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution
Rong Feng, Suman Saha
Obfuscation poses a persistent challenge for software engineering tasks such as program comprehension, maintenance, testing, and vulnerability detection. While compiler optimizatio…
Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
Rong Feng, Vanisha Gupta, Vivek Patel +2
Symbolic execution helps check programs by exploring different paths based on symbolic inputs. Tools like KLEE are commonly used because they can automatically detect bugs and crea…