SOTAVerified

C++ code

Papers

Showing 150 of 91 papers

TitleStatusHype
ChatDBG: Augmenting Debugging with Large Language ModelsCode5
Open-Source Skull Reconstruction with MONAICode3
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal VerificationCode2
SceneGenAgent: Precise Industrial Scene Generation with Coding AgentCode1
RepoBench: Benchmarking Repository-Level Code Auto-Completion SystemsCode1
Neural Transfer Learning for Repairing Security Vulnerabilities in C CodeCode1
Learning C to x86 Translation: An Experiment in Neural CompilationCode1
Latent Execution for Neural Program SynthesisCode1
HDCC: A Hyperdimensional Computing compiler for classification on embedded systems and high-performance computingCode1
Fortran2CPP: Automating Fortran-to-C++ Translation using LLMs via Multi-Turn Dialogue and Dual-Agent IntegrationCode1
EIQP: Execution-time-certified and Infeasibility-detecting QP SolverCode1
Dynamic Decision Tree Ensembles for Energy-Efficient Inference on IoT Edge NodesCode1
Break-It-Fix-It: Unsupervised Learning for Program RepairCode1
C codegen considered unnecessary: go directly to binary, do not pass C. Compilation of Julia code for deployment in model-based engineeringCode1
DORY: Automatic End-to-End Deployment of Real-World DNNs on Low-Cost IoT MCUsCode1
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)Code1
A C Code Generator for Fast Inference and Simple Deployment of Convolutional Neural Networks on Resource Constrained SystemsCode1
Creating a Dataset for High-Performance Computing Code Translation using LLMs: A Bridge Between OpenMP Fortran and C++Code1
CPL-SLAM: Efficient and Certifiably Correct Planar Graph-Based SLAM Using the Complex Number RepresentationCode1
Simulated Annealing Algorithm for the Multiple Choice Multidimensional Knapsack ProblemCode1
SegFormer: Simple and Efficient Design for Semantic Segmentation with TransformersCode1
Cross-Language Learning for Program Classification using Bilateral Tree-Based Convolutional Neural NetworksCode0
FPGA/DNN Co-Design: An Efficient Design Methodology for IoT Intelligence on the EdgeCode0
Genetic Algorithm for the 0/1 Multidimensional Knapsack ProblemCode0
GPRat: Gaussian Process Regression with Asynchronous TasksCode0
Hybrid Deep Neural Networks to Infer State Models of Black-Box SystemsCode0
μNCA: Texture Generation with Ultra-Compact Neural Cellular AutomataCode0
OpenGM: A C++ Library for Discrete Graphical ModelsCode0
PL-SLAM: a Stereo SLAM System through the Combination of Points and Line SegmentsCode0
Privacy-Preserving CNN Training with Transfer Learning: Multiclass Logistic RegressionCode0
Program Semantic Inequivalence Game with Large Language ModelsCode0
Structural Language Models of CodeCode0
The Limits of Mathematics (in C)Code0
Skeleton-Guided-Translation: A Benchmarking Framework for Code Repository Translation with Fine-Grained Quality Evaluation0
FP-Stereo: Hardware-Efficient Stereo Vision for Embedded Applications0
From Research to Production and Back: Ludicrously Fast Neural Machine Translation0
GCLIQUE: An Open Source Genetic Algorithm for the Maximum Clique Problem0
Smart structural health monitoring (SHM) system for on-board localization of defects in pipes using torsional ultrasonic guided waves0
GNN-Based Code Annotation Logic for Establishing Security Boundaries in C Code0
Vulnerability Detection in C/C++ Code with Deep Learning0
GraphEye: A Novel Solution for Detecting Vulnerable Functions Based on Graph Attention Network0
Hardware-in-the-loop simulation of a UAV autonomous landing algorithm implemented in SoC FPGA0
Automated Creation of Source Code Variants of a Cryptographic Hash Function Implementation Using Generative Pre-Trained Transformer Models0
Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis0
High Performance Computing of Gene Regulatory Networks using a Message-Passing Model0
Structural Language Models for Any-Code Generation0
Keras Sig: Efficient Path Signature Computation on GPU in Keras 30
Large Language Models to Generate System-Level Test Programs Targeting Non-functional Properties0
Automated C/C++ Program Repair for High-Level Synthesis via Large Language Models0
Latent Execution for Neural Program Synthesis Beyond Domain-Specific Languages0
Show:102550
← PrevPage 1 of 2Next →

No leaderboard results yet.