| OMPar: Automatic Parallelization with AI-Driven Source-to-Source Compilation | Sep 23, 2024 | C++ code | —Unverified | 0 | 0 |
| Towards Neural Decompilation | May 20, 2019 | C++ codeMachine Translation | —Unverified | 0 | 0 |
| Are LLMs Any Good for High-Level Synthesis? | Aug 19, 2024 | C++ codeHigh-Level Synthesis | —Unverified | 0 | 0 |
| Pattern Matching in AI Compilers and its Formalization (Extended Version) | Dec 18, 2024 | C++ code | —Unverified | 0 | 0 |
| Hector: An Efficient Programming and Compilation Framework for Implementing Relational Graph Neural Networks in GPU Architectures | Jan 16, 2023 | 8kC++ code | —Unverified | 0 | 0 |
| Towards Practical First-Order Model Counting | Feb 17, 2025 | C++ codemodel | —Unverified | 0 | 0 |
| PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust | May 7, 2025 | C++ code | —Unverified | 0 | 0 |
| Transforming Software Development: Evaluating the Efficiency and Challenges of GitHub Copilot in Real-World Projects | Jun 25, 2024 | C++ code | —Unverified | 0 | 0 |
| Utilizing Static Analysis and Code Generation to Accelerate Neural Networks | Jun 27, 2012 | C++ codeCode Generation | —Unverified | 0 | 0 |
| Python-Based Reinforcement Learning on Simulink Models | May 14, 2024 | C++ codeCode Generation | —Unverified | 0 | 0 |
