| A General Framework for Flexible Multi-Cue Photometric Point Cloud Registration | Sep 13, 2017 | C++ codePoint Cloud Registration | —Unverified | 0 |
| Automated Creation of Source Code Variants of a Cryptographic Hash Function Implementation Using Generative Pre-Trained Transformer Models | Apr 24, 2024 | C++ codeCompiler Optimization | —Unverified | 0 |
| Automated C/C++ Program Repair for High-Level Synthesis via Large Language Models | Jul 4, 2024 | C++ codeCode Generation | —Unverified | 0 |
| Compilation as a Typed EDSL-to-EDSL Transformation | Mar 29, 2016 | C++ codeTranslation | —Unverified | 0 |
| An interpretative and adaptive MPC for nonlinear systems | Sep 4, 2022 | C++ codeModel Predictive Control | —Unverified | 0 |
| Hardware-in-the-loop simulation of a UAV autonomous landing algorithm implemented in SoC FPGA | Jul 25, 2022 | 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 |
| CompCodeVet: A Compiler-guided Validation and Enhancement Approach for Code Dataset | Nov 11, 2023 | C++ codeCode Generation | —Unverified | 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 |
| GCLIQUE: An Open Source Genetic Algorithm for the Maximum Clique Problem | May 15, 2020 | C++ code | —Unverified | 0 |
