| 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 |
| Register Your Forests: Decision Tree Ensemble Optimization by Explicit CPU Register Allocation | Apr 10, 2024 | C++ codeCode Generation | —Unverified | 0 |
| ChatDBG: Augmenting Debugging with Large Language Models | Mar 25, 2024 | C++ codeNavigate | CodeCode Available | 5 |
| Smart structural health monitoring (SHM) system for on-board localization of defects in pipes using torsional ultrasonic guided waves | Mar 17, 2024 | C++ codeStructural Health Monitoring | —Unverified | 0 |
| Large Language Models to Generate System-Level Test Programs Targeting Non-functional Properties | Mar 15, 2024 | C++ codeHyperparameter Optimization | —Unverified | 0 |
| Enhanced Automated Code Vulnerability Repair using Large Language Models | Jan 8, 2024 | C++ codeCode Repair | —Unverified | 0 |
| CompCodeVet: A Compiler-guided Validation and Enhancement Approach for Code Dataset | Nov 11, 2023 | C++ codeCode Generation | —Unverified | 0 |
| Safurai-Csharp: Harnessing Synthetic Data to improve language-specific Code LLM | Nov 6, 2023 | C++ code | —Unverified | 0 |
| 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 |
| SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs? | Jul 13, 2023 | Binary ClassificationBug fixing | —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 |
| Dynamic Decision Tree Ensembles for Energy-Efficient Inference on IoT Edge Nodes | Jun 16, 2023 | C++ code | CodeCode Available | 1 |
| RepoBench: Benchmarking Repository-Level Code Auto-Completion Systems | Jun 5, 2023 | BenchmarkingC++ code | CodeCode Available | 1 |
| 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 |
| Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP | May 20, 2023 | C++ code | —Unverified | 0 |
| Neuro-symbolic Zero-Shot Code Cloning with Cross-Language Intermediate Representation | Apr 26, 2023 | C++ codeCode Search | —Unverified | 0 |
| HDCC: A Hyperdimensional Computing compiler for classification on embedded systems and high-performance computing | Apr 24, 2023 | C++ codeDescriptive | CodeCode Available | 1 |
| Privacy-Preserving CNN Training with Transfer Learning: Multiclass Logistic Regression | Apr 7, 2023 | C++ codePrivacy Preserving | CodeCode Available | 0 |
| Hector: An Efficient Programming and Compilation Framework for Implementing Relational Graph Neural Networks in GPU Architectures | Jan 16, 2023 | 8kC++ code | —Unverified | 0 |
| Beyond the C: Retargetable Decompilation using Neural Machine Translation | Dec 17, 2022 | C++ codeMachine Translation | —Unverified | 0 |
| Open-Source Skull Reconstruction with MONAI | Nov 25, 2022 | C++ codeDeep Learning | CodeCode Available | 3 |
| CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version) | Nov 19, 2022 | BenchmarkingC++ code | CodeCode Available | 1 |
| An interpretative and adaptive MPC for nonlinear systems | Sep 4, 2022 | C++ codeModel Predictive Control | —Unverified | 0 |
| A rapid-prototype MPC tool based on gPROMS platform | Aug 31, 2022 | C++ codeCode Generation | —Unverified | 0 |
| Hardware-in-the-loop simulation of a UAV autonomous landing algorithm implemented in SoC FPGA | Jul 25, 2022 | C++ code | —Unverified | 0 |
