Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
IEEE

Evaluating Large Language Models for G-Code Debugging, Manipulation, and Comprehension

Abstract: 3D printing is a revolutionary technology that enables the creation of physical objects from digital models. However, the quality and accuracy of 3D printing depend on the correctness and ...
Hacker

Code Review Anti-Patterns: How to Stop Nitpicking Syntax and Start Improving Architecture

I am a Senior Member of Technical Staff at Salesforce, where I build AI-driven enterprise solutions that integrate LLM. I am a Senior Member of Technical Staff at Salesforce, where I build AI-driven ...
IEEE

Software Defect Prediction Based on Deep Representation Learning of Source Code From Contextual Syntax and Semantic Graph

Abstract: Software defect prediction approaches play an essential role in the software development life cycle to help developers predict defects early, thus, preventing wasted time and effort. Defect ...