Sep 2026· Zenodo (CERN European Organization for Nuclear Research)
Abstract
Real-time quantum error correction for superconducting processors requires decoding streaming syndrome data within microsecond cycle intervals (T_cycle ≈ 1.1 μs). Classical minimum-weight perfect matching executed on host processors suffers from communication and serial matching bottlenecks, creating an exponential decoding backlog that limits quantum execution. This paper presents a design automation and hardware-software co-design framework for real-time surface code decoding using symmetry-aware, low-bit quantized graph neural networks. Operating as a confidence-gated hardware pre-filter, the four-bit integer (INT4) decoder commits 73.4% to 94.0% of syndrome frames directly on silicon within deterministic sub-microsecond deadlines, routing only ambiguous degenerate frames to classical matching while preserving full logical fidelity. To prevent arithmetic collapse in fixed-point datapaths without increasing word length, lattice dihedral equivariance is incorporated as an algebraic variance regularizer that suppresses activation outliers. Automated clique projection converts irregular detector hypergraphs into bounded-degree topologies, enabling an initiation interval of one cycle on systolic pipelines. Evaluated across physical AMD Kintex UltraScale+ FPGA hardware telemetry and sign-off post-route SkyWater 130 nm standard-cell ASIC synthesis (room-temperature extractions at 25°C and 1.8 V evaluated analytically against a 1.5 W 4K cryostat cooling lift), the architecture delivers 106.2 to 396.8 ns execution latency with +0.18 ns positive static timing slack at 312.5 MHz clock frequency and 3.80 to 66.25 nJ energy per operation. Multi-server queueing analysis confirms queue stability under continuous 1 MHz syndrome streams, bounding average queue wait time well within physical qubit coherence limits. Note: This work has been submitted to the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) for possible publication.
Agile methods continue to gain popularity. In particular, the Scrum method appears to be on the verge of becoming a de-facto standard in the industry, leading the so called Agile movement. While there are success stories and recommendations, there is little scientifically valid evidence of the challenges in the adoptio...
A. Marchenko, P. Abrahamsson· Agile Conference· 59 citations· ⚡11
A comprehensive taxonomy of the challenges faced when a medium-scale organization decided to adopt software platforms is provided, namely: business challenges, organizational challenges, technical challenges, and people challenges.
Yaser Ghanam, F. Maurer, P. Abrahamsson· Information and Software Tec...· 41 citations· ⚡3
It is shown that high article processing charges are not sufficiently justified by the publishers, which often lack transparency and may prevent authors from adopting OA.
D. Graziotin, Xiaofeng Wang, P. Abrahamsson· Scientometrics· 21 citations· ⚡1
MCGLPPI, a novel geometric representation learning framework that combines graph neural networks (GNNs) with the MARTINI molecular coarse-grained (CG) model to predict overall PPI properties accurately and efficiently, offers an effective and efficient solution for PPI overall property predictions.
Yang Yue, Shu Li, Yihua Cheng et al.· bioRxiv· 15 citations
PepPCBench enables a robust evaluation of PFNN-based methods and supports their continued development for peptide-protein structure prediction, and highlights the influence of peptide length, conformational flexibility, and training set similarity on prediction accuracy.
Si-Long Zhai, Huifeng Zhao, Ji-Ke Wang et al.· Journal of Chemical Informat...· 13 citations· ⚡1
OmniMol is presented, a framework using hypergraphs to improve predictions of molecular properties, addressing challenges of imperfect data annotation and enhancing model explainability, and achieves state-of-the-art performance in properties prediction.
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.