| 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 |
| 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 |
| 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 |
| 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 |
| GraphEye: A Novel Solution for Detecting Vulnerable Functions Based on Graph Attention Network | Feb 5, 2022 | C++ codeGraph Attention | —Unverified | 0 |
