🧘 Quiescence Detection - hello · Scour

AccelSync: Verifying Synchronization Coverage in Accelerator Pipeline Programs 🛡️Intel CET

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification 🛡️Memory Safety

mem-doc/doc/.NETMemoryPerformanceAnalysis.md at master 📊Profiling Tools

github.com·6d·Hacker News

LITMUS: Benchmarking Behavioral Jailbreaks of LLM Agents in Real OS Environments 🔐Futexes

Unsafe by Flow: Uncovering Bidirectional Data-Flow Risks in MCP Ecosystem 📈Differential Dataflow

Defense effectiveness across architectural layers: a mechanistic evaluation of persistent memory attacks on stateful LLM agents 🔗Intrusive Containers

HyDRA: Deadline and Reuse-Aware Cacheability for Hardware Accelerators 🎲Hardware Branch Prediction

Pomegranate: A Lightweight Compartmentalization Architecture using Virtualization Extensions 🔗Intrusive Containers

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning ⚠️Rust Unsafe

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version) 🔄Memory Ordering

t\"{a}k\={o}Formal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version) 🚧Memory Barriers

ipc_shared_ptr: A Publish/Subscribe-Aware Smart Pointer for Cross-Process Object Lifetime Management 🗺️Memory-Mapped Queues

RetentiveKV: State-Space Memory for Uncertainty-Aware Multimodal KV Cache Eviction 🔄Memory Ordering

Not All Faults Are Equal: Transient-Fault Sensitivity Characterization of an Open-Source RISC-V Vector Cluster 🔬Intel VTune

Tutti: Making SSD-Backed KV Cache Practical for Long-Context LLM Serving 🎴TAO

Beyond Static Policies: Exploring Dynamic Policy Selection for Single-Thread Performance Optimization 📍CPU Pinning

Log in to enable infinite scrolling