Skip to main content

Research & Insights

Explore our latest research on AI, edge computing, MLOps, and enterprise technology solutions.

Counting Without Running: Evaluating LLMs' Reasoning About Code Complexity
December 4, 2025
Counting Without Running: Evaluating LLMs' Reasoning About Code Complexity
Verified Code Transpilation with LLMs
October 15, 2025
Verified Code Transpilation with LLMs
Workflows vs Agents for Code Translation
September 22, 2025
Workflows vs Agents for Code Translation
UniPar: A Unified LLM-Based Framework for Parallel and Accelerated Code Translation in HPC
September 15, 2025
UniPar: A Unified LLM-Based Framework for Parallel and Accelerated Code Translation in HPC
MONOCODER: Domain-Specific Code Language Model for HPC Codes and Tasks
December 18, 2024
MONOCODER: Domain-Specific Code Language Model for HPC Codes and Tasks
Combining AI with formal verification for efficient migration of legacy code
December 18, 2024
Combining AI with formal verification for efficient migration of legacy code
Code migration with formal verification for performance improvement of legacy code
December 20, 2023
Code migration with formal verification for performance improvement of legacy code