| ChatDBG: Augmenting Debugging with Large Language Models | Mar 25, 2024 | C++ codeNavigate | CodeCode Available | 5 |
| Open-Source Skull Reconstruction with MONAI | Nov 25, 2022 | C++ codeDeep Learning | CodeCode Available | 3 |
| A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification | May 24, 2023 | C++ codeMathematical Proofs | CodeCode Available | 2 |
| DORY: Automatic End-to-End Deployment of Real-World DNNs on Low-Cost IoT MCUs | Aug 17, 2020 | C++ codeTiling & Deployment | CodeCode Available | 1 |
| Creating a Dataset for High-Performance Computing Code Translation using LLMs: A Bridge Between OpenMP Fortran and C++ | Jul 15, 2023 | C++ codeCode Translation | CodeCode Available | 1 |
| CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version) | Nov 19, 2022 | BenchmarkingC++ code | CodeCode Available | 1 |
| A C Code Generator for Fast Inference and Simple Deployment of Convolutional Neural Networks on Resource Constrained Systems | Jan 14, 2020 | C++ codeCode Generation | CodeCode Available | 1 |
| Break-It-Fix-It: Unsupervised Learning for Program Repair | Jun 11, 2021 | C++ codeCode Repair | 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 |
| CPL-SLAM: Efficient and Certifiably Correct Planar Graph-Based SLAM Using the Complex Number Representation | Jun 25, 2020 | C++ codeSimultaneous Localization and Mapping | CodeCode Available | 1 |
