| PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust | May 7, 2025 | C++ code | —Unverified | 0 |
| Program Semantic Inequivalence Game with Large Language Models | May 2, 2025 | C++ codeCode Generation | CodeCode Available | 0 |
| GPRat: Gaussian Process Regression with Asynchronous Tasks | Apr 30, 2025 | C++ codeCPU | CodeCode Available | 0 |
| LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study | Apr 21, 2025 | C++ codeCode Translation | —Unverified | 0 |
| Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code | Mar 24, 2025 | C++ code | —Unverified | 0 |
| Towards Practical First-Order Model Counting | Feb 17, 2025 | C++ codemodel | —Unverified | 0 |
| EIQP: Execution-time-certified and Infeasibility-detecting QP Solver | Feb 11, 2025 | C++ codeModel Predictive Control | CodeCode Available | 1 |
| C codegen considered unnecessary: go directly to binary, do not pass C. Compilation of Julia code for deployment in model-based engineering | Feb 3, 2025 | C++ codeCode Generation | CodeCode Available | 1 |
| Skeleton-Guided-Translation: A Benchmarking Framework for Code Repository Translation with Fine-Grained Quality Evaluation | Jan 27, 2025 | BenchmarkingC++ code | —Unverified | 0 |
| Keras Sig: Efficient Path Signature Computation on GPU in Keras 3 | Jan 14, 2025 | BenchmarkingC++ code | —Unverified | 0 |
| Fortran2CPP: Automating Fortran-to-C++ Translation using LLMs via Multi-Turn Dialogue and Dual-Agent Integration | Dec 27, 2024 | C++ codeCode Repair | CodeCode Available | 1 |
| Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis | Dec 19, 2024 | C++ codeCode Generation | —Unverified | 0 |
| Learning Complex Word Embeddings in Classical and Quantum Spaces | Dec 18, 2024 | C++ codeWord Embeddings | —Unverified | 0 |
| Pattern Matching in AI Compilers and its Formalization (Extended Version) | Dec 18, 2024 | C++ code | —Unverified | 0 |
| GNN-Based Code Annotation Logic for Establishing Security Boundaries in C Code | Nov 18, 2024 | C++ codeGraph Neural Network | —Unverified | 0 |
| SceneGenAgent: Precise Industrial Scene Generation with Coding Agent | Oct 29, 2024 | C++ codeScene Generation | CodeCode Available | 1 |
| Fast and Efficient Bayesian Analysis of Structural Vector Autoregressions Using the R Package bsvars | Oct 19, 2024 | C++ code | —Unverified | 0 |
| OMPar: Automatic Parallelization with AI-Driven Source-to-Source Compilation | Sep 23, 2024 | C++ code | —Unverified | 0 |
| VulnLLMEval: A Framework for Evaluating Large Language Models in Software Vulnerability Detection and Patching | Sep 16, 2024 | C++ codeCode Translation | —Unverified | 0 |
| Are LLMs Any Good for High-Level Synthesis? | Aug 19, 2024 | C++ codeHigh-Level Synthesis | —Unverified | 0 |
| Deeploy: Enabling Energy-Efficient Deployment of Small Language Models On Heterogeneous Microcontrollers | Aug 8, 2024 | C++ code | —Unverified | 0 |
| Automated C/C++ Program Repair for High-Level Synthesis via Large Language Models | Jul 4, 2024 | C++ codeCode Generation | —Unverified | 0 |
| Transforming Software Development: Evaluating the Efficiency and Challenges of GitHub Copilot in Real-World Projects | Jun 25, 2024 | C++ code | —Unverified | 0 |
| Vulnerability Detection in C/C++ Code with Deep Learning | May 20, 2024 | C++ codeDeep Learning | —Unverified | 0 |
| Python-Based Reinforcement Learning on Simulink Models | May 14, 2024 | C++ codeCode Generation | —Unverified | 0 |
