3 papers
cs.SE2026
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…
cs.CR2026
Reliable Federated TinyML Deployment for IoT Security
Younsoo Park, Seokhyoen Bae, Shasi Kumar Ramachandran Prabhu +2
The growing deployment of Internet of Things (IoT) devices has increased the need for privacy-preserving intrusion detection systems that operate directly on resource-constrained h…
cs.SE2026
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…