Research Papers
All papers and articles from Code Metal Research.
All papers and articles
12 papers, newest first
Apples to Apples: Getting Type Mappings Right in LLM-Based Code Translation
[code translation]
Latent Reasoning Guidance for Parallel Code Translation
[hpc]
The Trust Problem Has Shifted: What Formal Verification Can and Cannot Guarantee About AI-Generated Code
[formal verification]
The Real Cost of Leaving NVIDIA
[gpu/cuda]
AI-generated code that works — and proves it
[formal verification]
Counting Without Running: Evaluating LLMs' Reasoning About Code Complexity
[gpu/cuda]
Verified Code Transpilation with LLMs
[formal verification]
Workflows vs Agents for Code Translation
[llms]
UniPar: A Unified LLM-Based Framework for Parallel and Accelerated Code Translation in HPC
[hpc]
MONOCODER: Domain-Specific Code Language Model for HPC Codes and Tasks
[hpc]
Combining AI with formal verification for efficient migration of legacy code
[formal verification]
Code migration with formal verification for performance improvement of legacy code
[formal verification]