Skip to content

Author

Devyani Singh

We have 1 of 2 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#software testing Preprint Sep 2026

Verified Learning for Compiler Optimization: An LLM-Guided Architecture with Formal Control

This work fine-tune a code-centric LLM on transformations produced by Wyvern and embed Alive2 into a feedback loop that enforces semantic preservation for every generated rewrite, demonstrating that generative AI components can be safely integrated into compiler pipelines through deterministic validation and structured...

Devyani Singh, Rong Feng, Suman Saha · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.