PulseAugur
EN
LIVE 16:27:52

Researchers develop graph construction for imperative programs using neural methods

By PulseAugur Editorial · [3 sources] ·

Researchers have developed a pipeline to convert imperative programs and their annotations into typed, attributed graphs. This process combines abstract syntax tree parsing with semantic embeddings from models like SentenceTransformer and CodeBERT. The goal is to identify structural and semantic similarities across programs for reusing verification artifacts. Experiments using C, Java, and Dafny demonstrate the ability to create consistent graph representations across different languages and annotation styles. AI

IMPACT Enables more efficient reuse of software verification artifacts through improved program similarity detection.

RANK_REASON This is a research paper describing a new method for program analysis.

Read on arXiv cs.AI →

AI-generated summary · Google Gemini · from 3 sources. How we write summaries →

Researchers develop graph construction for imperative programs using neural methods

COVERAGE [3]

  1. arXiv cs.AI TIER_1 English(EN) · Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan ·

    Graph Construction and Matching for Imperative Programs using Neural and Structural Methods

    arXiv:2604.26578v1 Announce Type: cross Abstract: Reusing verification artefacts requires identifying structural and semantic similarities across programs and their specifications. In this paper, we focus on graph construction as a foundational step toward this goal. We present a…

  2. arXiv cs.AI TIER_1 English(EN) · Rosemary Monahan ·

    Graph Construction and Matching for Imperative Programs using Neural and Structural Methods

    Reusing verification artefacts requires identifying structural and semantic similarities across programs and their specifications. In this paper, we focus on graph construction as a foundational step toward this goal. We present a pipeline that converts imperative programs and th…

  3. Hugging Face Daily Papers TIER_1 English(EN) ·

    Graph Construction and Matching for Imperative Programs using Neural and Structural Methods

    Reusing verification artefacts requires identifying structural and semantic similarities across programs and their specifications. In this paper, we focus on graph construction as a foundational step toward this goal. We present a pipeline that converts imperative programs and th…

RELATED ENTITIES

RELATED TOPICS