SOTAVerified

C++ code

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 of 91 papers

TitleStatusHype
PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust—0
Program Semantic Inequivalence Game with Large Language ModelsCode0
GPRat: Gaussian Process Regression with Asynchronous TasksCode0
LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study—0
Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code—0
Towards Practical First-Order Model Counting—0
EIQP: Execution-time-certified and Infeasibility-detecting QP SolverCode1
C codegen considered unnecessary: go directly to binary, do not pass C. Compilation of Julia code for deployment in model-based engineeringCode1
Skeleton-Guided-Translation: A Benchmarking Framework for Code Repository Translation with Fine-Grained Quality Evaluation—0
Keras Sig: Efficient Path Signature Computation on GPU in Keras 3—0
Fortran2CPP: Automating Fortran-to-C++ Translation using LLMs via Multi-Turn Dialogue and Dual-Agent IntegrationCode1
Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis—0
Pattern Matching in AI Compilers and its Formalization (Extended Version)—0
Learning Complex Word Embeddings in Classical and Quantum Spaces—0
GNN-Based Code Annotation Logic for Establishing Security Boundaries in C Code—0
SceneGenAgent: Precise Industrial Scene Generation with Coding AgentCode1
Fast and Efficient Bayesian Analysis of Structural Vector Autoregressions Using the R Package bsvars—0
OMPar: Automatic Parallelization with AI-Driven Source-to-Source Compilation—0
VulnLLMEval: A Framework for Evaluating Large Language Models in Software Vulnerability Detection and Patching—0
Are LLMs Any Good for High-Level Synthesis?—0
Deeploy: Enabling Energy-Efficient Deployment of Small Language Models On Heterogeneous Microcontrollers—0
Automated C/C++ Program Repair for High-Level Synthesis via Large Language Models—0
Transforming Software Development: Evaluating the Efficiency and Challenges of GitHub Copilot in Real-World Projects—0
Vulnerability Detection in C/C++ Code with Deep Learning—0
Python-Based Reinforcement Learning on Simulink Models—0
Automated Creation of Source Code Variants of a Cryptographic Hash Function Implementation Using Generative Pre-Trained Transformer Models—0
Register Your Forests: Decision Tree Ensemble Optimization by Explicit CPU Register Allocation—0
ChatDBG: Augmenting Debugging with Large Language ModelsCode5
Smart structural health monitoring (SHM) system for on-board localization of defects in pipes using torsional ultrasonic guided waves—0
Large Language Models to Generate System-Level Test Programs Targeting Non-functional Properties—0
Enhanced Automated Code Vulnerability Repair using Large Language Models—0
CompCodeVet: A Compiler-guided Validation and Enhancement Approach for Code Dataset—0
Safurai-Csharp: Harnessing Synthetic Data to improve language-specific Code LLM—0
Creating a Dataset for High-Performance Computing Code Translation using LLMs: A Bridge Between OpenMP Fortran and C++Code1
SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs?—0
A Toolbox for Fast Interval Arithmetic in numpy with an Application to Formal Verification of Neural Network Controlled Systems—0
Dynamic Decision Tree Ensembles for Energy-Efficient Inference on IoT Edge NodesCode1
RepoBench: Benchmarking Repository-Level Code Auto-Completion SystemsCode1
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal VerificationCode2
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP—0
Neuro-symbolic Zero-Shot Code Cloning with Cross-Language Intermediate Representation—0
HDCC: A Hyperdimensional Computing compiler for classification on embedded systems and high-performance computingCode1
Privacy-Preserving CNN Training with Transfer Learning: Multiclass Logistic RegressionCode0
Hector: An Efficient Programming and Compilation Framework for Implementing Relational Graph Neural Networks in GPU Architectures—0
Beyond the C: Retargetable Decompilation using Neural Machine Translation—0
Open-Source Skull Reconstruction with MONAICode3
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)Code1
An interpretative and adaptive MPC for nonlinear systems—0
A rapid-prototype MPC tool based on gPROMS platform—0
Hardware-in-the-loop simulation of a UAV autonomous landing algorithm implemented in SoC FPGA—0
Show:102550
← PrevPage 1 of 2Next →

No leaderboard results yet.