AI and infrastructure news
Filter by type: Paper13
ADRS explores automated systems performance research
Published on December 24, 2025, the paper presents a framework that uses language models to generate, evaluate, and refine algorithms, tested on ten tasks across networks, databases, and distributed systems.
- 17 days ago akkadia.org
Shared libraries: guiding their development
Published on February 16, 2026, Ulrich Drepper’s guide covers the design and implementation of shared libraries.
- 17 days ago eprint.iacr.org
Evaluating constant-time tests for cryptographic libraries
An article published on March 28, 2026 compares DATA and Microwalk for detecting constant-time violations in cryptographic libraries.
Float conversion: comparing algorithms
A March 10, 2026 paper compares floating-point conversion algorithms across architectures and datasets; Schubfach and Dragonbox reach up to ten times the speed of Dragon4.
- 17 days ago gabi.xinuos.com
ELF on Linux: structuring binary analysis
Published on April 1, 2026, the publication about the ELF specification describes the format used for Linux executables, object files, shared libraries, and core dumps.
- 17 days ago refspecs.linuxfoundation.org
ELF format: organize binary analysis
Published on February 28, 2026, the specification documents the ELF format used for executables and object files. Companies can apply this knowledge to inventory binaries and improve analysis tools.
- 17 days ago users.cs.utah.edu
Integer overflow in C and C++: controls to reduce risk
A 2012 University of Utah article discusses integer overflow in C and C++, a relevant risk when writing and reviewing code in these languages.
- 17 days ago cdrdv2-public.intel.com
Intel updates the AVX10.2 specification to version 6.0
In a post published on March 11, 2026, Intel announced version 6.0 of the AVX10.2 specification and the renaming of AVX10_VNNI_INT to AVX10_V1_AUX.
- 17 days ago people.freebsd.org
Memory and performance: turning knowledge into diagnosis
Published on March 29, 2026, Ulrich Drepper’s article discusses memory for programmers and offers context for engineers investigating memory behavior and software performance.
- 17 days ago cs.yale.edu
Verifying stack limits in C programs
A 2014 article by Q. Carbonneaux and coauthors addresses end-to-end verification of stack usage limits in C programs, a practical topic for teams that need to control memory resources.
- 17 days ago cs.cmu.edu
Parallel algorithms and memory hierarchy
Guy Blelloch’s book covers parallel algorithms and memory hierarchy, topics relevant to assessing the performance of systems that process tasks in parallel.
C*: Bringing programming and verification closer in C
An article dated September 8, 2026 presents C*, an approach to bring conventional C programming closer to formal verification.
- 18 days ago net.in.tum.de
How to observe packet paths through the Linux kernel
Published on June 27, 2026, the publication covers the path a packet takes through the Linux kernel and how this knowledge can help engineers analyze Linux network behavior.
arxiv.orgLet's assess your project
I reply with scope and a proposal.