| 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 |
| μNCA: Texture Generation with Ultra-Compact Neural Cellular Automata | Nov 26, 2021 | C++ codeTexture Synthesis | CodeCode Available | 0 |
| Real-time Nonlinear MPC Strategy with Full Vehicle Validation for Autonomous Driving | Oct 7, 2021 | Autonomous DrivingC++ code | —Unverified | 0 |
| Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages | May 21, 2021 | C++ codeProgram Synthesis | —Unverified | 0 |
| Embedded Model Predictive Controller on Low-Cost Low-End Microcontroller for Electrical Drives | May 18, 2021 | C++ code | —Unverified | 0 |
| Multi-context Attention Fusion Neural Network for Software Vulnerability Identification | Apr 19, 2021 | C++ codeVulnerability Detection | —Unverified | 0 |
| Multi-threaded Memory Efficient Crossover in C++ for Generational Genetic Programming | Sep 22, 2020 | C++ codeEvolutionary Algorithms | —Unverified | 0 |
| Designing Neural Networks for Real-Time Systems | Aug 26, 2020 | C++ code | —Unverified | 0 |
| Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems | Aug 26, 2020 | Anomaly DetectionC++ code | CodeCode Available | 0 |
| Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package | Jun 17, 2020 | C++ codeVocal Bursts Type Prediction | —Unverified | 0 |
| FP-Stereo: Hardware-Efficient Stereo Vision for Embedded Applications | Jun 5, 2020 | C++ codeDepth Estimation | —Unverified | 0 |
| GCLIQUE: An Open Source Genetic Algorithm for the Maximum Clique Problem | May 15, 2020 | C++ code | —Unverified | 0 |
| Automated Physics-Derived Code Generation for Sensor Fusion and State Estimation | Apr 28, 2020 | C++ codeCode Generation | —Unverified | 0 |
| A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning | Feb 10, 2020 | C++ code | —Unverified | 0 |
| Multi-layer Optimizations for End-to-End Data Analytics | Jan 10, 2020 | BIG-bench Machine LearningC++ code | —Unverified | 0 |
| From Research to Production and Back: Ludicrously Fast Neural Machine Translation | Nov 1, 2019 | C++ codeCPU | —Unverified | 0 |
