| Learning Complex Word Embeddings in Classical and Quantum Spaces | Dec 18, 2024 | C++ codeWord Embeddings | —Unverified | 0 | 0 |
| A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems | Jun 27, 2023 | C++ code | —Unverified | 0 | 0 |
| LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study | Apr 21, 2025 | C++ codeCode Translation | —Unverified | 0 | 0 |
| Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP | May 20, 2023 | C++ code | —Unverified | 0 | 0 |
| VulnLLMEval: A Framework for Evaluating Large Language Models in Software Vulnerability Detection and Patching | Sep 16, 2024 | C++ codeCode Translation | —Unverified | 0 | 0 |
| Multi-context Attention Fusion Neural Network for Software Vulnerability Identification | Apr 19, 2021 | C++ codeVulnerability Detection | —Unverified | 0 | 0 |
| Multi-layer Optimizations for End-to-End Data Analytics | Jan 10, 2020 | BIG-bench Machine LearningC++ code | —Unverified | 0 | 0 |
| Multi-threaded Memory Efficient Crossover in C++ for Generational Genetic Programming | Sep 22, 2020 | C++ codeEvolutionary Algorithms | —Unverified | 0 | 0 |
| A Study of the Complexity and Accuracy of Direction of Arrival Estimation Methods Based on GCC-PHAT for a Pair of Close Microphones | Nov 28, 2018 | C++ codeDirection of Arrival Estimation | —Unverified | 0 | 0 |
| Neuro-symbolic Zero-Shot Code Cloning with Cross-Language Intermediate Representation | Apr 26, 2023 | C++ codeCode Search | —Unverified | 0 | 0 |
| 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 |
| Real-time Nonlinear MPC Strategy with Full Vehicle Validation for Autonomous Driving | Oct 7, 2021 | Autonomous DrivingC++ code | —Unverified | 0 | 0 |
| Real-Time Pose Estimation Piggybacked on Object Detection | Dec 1, 2015 | C++ codeObject | —Unverified | 0 | 0 |
| Register Your Forests: Decision Tree Ensemble Optimization by Explicit CPU Register Allocation | Apr 10, 2024 | C++ codeCode Generation | —Unverified | 0 | 0 |
| A rapid-prototype MPC tool based on gPROMS platform | Aug 31, 2022 | C++ codeCode Generation | —Unverified | 0 | 0 |
| Safurai-Csharp: Harnessing Synthetic Data to improve language-specific Code LLM | Nov 6, 2023 | C++ code | —Unverified | 0 | 0 |
