6 papers
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…
On the Existence and Nonexistence of Splitter Sets
Zhiyu Yuan, Rongquan Feng, Gennian Ge
In this paper, the existence of perfect and quasi-perfect splitter sets in finite abelian groups is studied, motivated by their application in coding theory for flash memory storag…
Crossmodal Knowledge Distillation with WordNet-Relaxed Text Embeddings for Robust Image Classification
Chenqi Guo, Mengshuo Rong, Qianli Feng +2
Crossmodal knowledge distillation (KD) aims to enhance a unimodal student using a multimodal teacher model. In particular, when the teacher's modalities include the student's, addi…