Tag: Software
aLEAKator verifies masked hardware and software under leakage models
—
What the study found The study presents aLEAKator, an open-source framework for automated formal verification of masked cryptographic accelerators and software on CPUs from HDL descriptions. It uses mixed-domain simulation to model leakage under several 1-probing leakage models, including robust and relaxed versions. Why the authors say this matters The authors say this matters because…
Mamba-based compressor matches or exceeds standard tools on scientific data
—
What the study found BOA Constrictor is a new lossless neural compressor based on the Mamba state space model, and it achieved competitive compression on structured scientific datasets. The authors report that it matched or exceeded LZMA, ZSTD, and ZLIB at maximum compression on several high-energy physics datasets. Why the authors say this matters The…
ANATAR is a Mathematica package for multi-loop computations
What the study found ANATAR is a new Mathematica package for multi-loop computations. It integrates several existing tools for higher-order amplitude generation and analysis, and it is described as efficient, user-friendly, and flexible. Why the authors say this matters The authors say ANATAR provides a platform for higher-order computations and is optimized for computations in…
Static analysis helped detect and repair workflow defects
—
What the study found The study found that foundation models often generate domain-specific language (DSL) workflows with defects, and that static analysis feedback can help detect and repair some of those defects. The authors also report an initial taxonomy of 20 defect types and note that 89.23% of the studied workflows contained at least one…
Intelligent system supports multicriteria investment project optimization
Researchers developed an intelligent software system using network models and vector optimization to manage investment projects adaptively under multiple objectives and uncertainty.
AI tools are changing how web developers work
—
Qualitative and quantitative study examining how web developers adopt AI tools, their efficiency gains, and persistent concerns about code quality and security vulnerabilities.
Review maps large language models in automated program repair
—
Systematic review of 189 papers examining Large Language Models for Automated Program Repair from 2020-2025, analyzing LLM architectures, deployment strategies, and applications in bug repair and.
Support Vector Machine and Random Forest led software fault prediction
Review of machine learning techniques for software fault prediction from 2023-2025, examining algorithms, datasets, evaluation methods, and challenges in predictive modeling for software reliability.
Migration-based maintenance is proposed as a future direction
—
Systematic research agenda for migration-based software maintenance automation, establishing a four-stage lifecycle model for transferring knowledge and solutions across software systems.
FLAT uses formal languages to type strings
—
FLAT uses context-free grammars as type definitions to distinguish semantically different string encodings, enabling type-safe handling of URLs, file paths, and other structured data.
