Relaxed activation analysis of dataflow networks - A clock calculus for machine learning and real-time scheduling

This document is an arXiv computer science feed containing research on programming languages, program analysis, compiler optimization, machine learning systems, fuzzing, smart-contract security, MPC, and LLM-assisted reverse engineering. The most directly security-relevant work is Belobog, a type-aware fuzzing framework for Move smart contracts that reports reproducing exploits and finding previously unknown vulnerabilities, plus REFORGE, which evaluates reliability and uncertainty in LLM-based binary reverse engineering. No specific CVEs are mentioned.