This paper explores the application of Graph Neural Networks (GNNs) to the problem of program abstraction and optimization. Traditional approaches to program abstraction often rely on manually crafted rules or limited pattern matching, which can be brittle and difficult to scale. This work proposes a novel framework th...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper proposes a novel approach to compiler optimization by leveraging the power of Graph Neural Networks (GNNs). Traditional compiler optimization techniques rely heavily on hand-crafted heuristics and static analysis, often struggling to capture complex code relationships and achieve optimal performance. We intr...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
Graph Neural Networks (GNNs) have demonstrated remarkable success in various domains, including social network analysis, drug discovery, and recommendation systems. However, their inherent complexity often leads to a "black box" problem, where it is difficult to understand the reasoning behind their predictions. This p...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper introduces a novel approach to graph embedding that leverages the temporal dynamics of graph relationships. Traditional graph embedding techniques often treat graphs as static structures, failing to capture the evolving nature of connections between nodes. Our method, Temporal Graph Embedding via Relational...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
This paper proposes a novel approach to program error diagnosis and repair leveraging Graph Neural Networks (GNNs). Traditional methods for software defect detection and correction often rely on manual inspection or rule-based systems, which can be time-consuming, expensive, and prone to human error. Our approach trans...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
An edge AI‐powered power converter (EAI‐PC) hardware platform that utilizes locally deployed edge intelligence to establish bidirectional data exchange between converter low‐level control and EAI upper‐layer command dispatch and features an end‐to‐end AI‐to‐converter closed‐loop deployment framework.
Ping-Yang Sun, Fan Zhang, Zi-Hang Qiu et al.· Energy Conversion and Econom...· 0 citations
Biological regulatory networks (BRNs) govern cellular processes with inherent stochasticity, reflecting the probabilistic nature of gene expression and protein interactions. Traditional Graph Neural Networks (GNNs) often treat these networks as deterministic, leading to inaccurate representations and predictions. This...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper presents a novel approach to dependency discovery within software systems, leveraging topological information derived from program code. The core idea is to automatically uncover complex dependencies between programs by analyzing control flow graphs, data dependencies, and abstract syntax trees (ASTs). A gra...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper explores the development of an emergent semantic network system designed to accelerate and enhance mathematical proof verification. Traditional methods rely heavily on manual verification, which is inherently slow and susceptible to human error. We propose a novel approach leveraging graph neural networks to...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper introduces a novel approach to graph embedding that explicitly models the temporal dynamics of relationships within a graph. Current graph embedding techniques often treat graphs as static structures, neglecting the crucial aspect of how connections evolve over time. This work addresses this limitation by le...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
The optimization of computational graphs is a critical step in deploying machine learning models, particularly deep neural networks. Traditional manual optimization methods are labor-intensive, require deep domain expertise, and are prone to human error. This paper proposes a novel approach leveraging program synthesis...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
This paper presents a novel approach to graph neural networks (GNNs) based on adaptive graph structures. Traditional GNNs often employ static graph structures, limiting their ability to effectively capture complex relationships within the data. This research introduces a dynamic graph structure adjustment mechanism, dy...
Jincheng Zhang· Zenodo (CERN European Organi...· 0 citations
Machine-learning networks can learn without detailed instructions from a designer. Those that do may offer insight into how the brain reorganizes itself during learning.
MIT News · Artificial Intelligence· news.mit.eduJul 15, 2026
Assistant Professor Pat Pataranutaporn describes a new interface that lets everyday users glimpse inside an AI's neural network before their chatbot ever says a word.
Microsoft Research Blog· microsoft.comJul 13, 2026
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduJul 6, 2026
PhD student Rachel Sava, winner of the Envisioning the Future of Computing Prize, explores transformative improvements and dystopian risks of neural technology.