| HDCC: A Hyperdimensional Computing compiler for classification on embedded systems and high-performance computing | Apr 24, 2023 | C++ codeDescriptive | CodeCode Available | 1 |
| CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version) | Nov 19, 2022 | BenchmarkingC++ code | CodeCode Available | 1 |
| Learning C to x86 Translation: An Experiment in Neural Compilation | Aug 17, 2021 | C++ codeCode Translation | CodeCode Available | 1 |
| Latent Execution for Neural Program Synthesis | Jun 29, 2021 | C++ codeProgram Synthesis | CodeCode Available | 1 |
| Break-It-Fix-It: Unsupervised Learning for Program Repair | Jun 11, 2021 | C++ codeCode Repair | CodeCode Available | 1 |
| SegFormer: Simple and Efficient Design for Semantic Segmentation with Transformers | May 31, 2021 | 2D Semantic SegmentationC++ code | CodeCode Available | 1 |
| Neural Transfer Learning for Repairing Security Vulnerabilities in C Code | Apr 16, 2021 | Bug fixingC++ code | CodeCode Available | 1 |
| DORY: Automatic End-to-End Deployment of Real-World DNNs on Low-Cost IoT MCUs | Aug 17, 2020 | C++ codeTiling & Deployment | 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 |
| Simulated Annealing Algorithm for the Multiple Choice Multidimensional Knapsack Problem | May 1, 2020 | AllC++ code | CodeCode Available | 1 |
