Feeds to Scour
SubscribedAll
Scoured 3171 posts in 14.1 ms
Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)  ✅Formal Verification
arxiv.org·19h
Failure-Centered Runtime Evaluation for Deployed Trilingual Public-Space Agents  🔀Concolic Execution
arxiv.org·2d
FlyCatcher: Neural Inference of Runtime Checkers from Tests  🔀Concolic Execution
arxiv.org·3d
RaMP: Runtime-Aware Megakernel Polymorphism for Mixture-of-Experts  📜Decompilation
arxiv.org·19h
Pythia: Toward Predictability-Driven Agent-Native LLM Serving  🔣Type Systems
arxiv.org·1d
Quantum-HPC Software Stacks and the openQSE Reference Architecture: A Survey  ✅Formal Verification
arxiv.org·6d
Revealing NVIDIA Closed-Source Driver Command Streams for CPU-GPU Runtime Behavior Insight  🖥️Emulation
arxiv.org·19h·Hacker News
D\'ej\`a Vu Packing: Optimizing FPGA Logic Clustering Runtime via Pattern Memoization  🌊Dataflow Analysis
arxiv.org·2d
SWAN: World-Aware Adaptive Multimodal Networks for Runtime Variations  🧩Intermediate Representation
arxiv.org·19h
Reconstructive Authority Model: Runtime Execution Validity Under Partial Observability  ✅Formal Verification
arxiv.org·2d
TraceScope: Interactive URL Triage via Decoupled Checklist Adjudication  ⛓️ROP Chains
arxiv.org·6d
Hierarchical adaptive control for real-time dynamic inference at the edge  🎲Fuzzing
arxiv.org·19h
Layerwise Convergence Fingerprints for Runtime Misbehavior Detection in Large Language Models  🎲Fuzzing
arxiv.org·2d
Bug-Report-Driven Fault Localization: Industrial Benchmarking and Lesson Learned at ABB Robotics  ⚡JIT Exploitation
arxiv.org·1d
GICC: A High-Performance Runtime for GPU-Initiated Communication and Coordination in Modern HPC Systems  🔒CFI
arxiv.org·3d
Diffusion Templates: A Unified Plugin Framework for Controllable Diffusion  🧩Intermediate Representation
arxiv.org·2d
ADEMA: A Knowledge-State Orchestration Architecture for Long-Horizon Knowledge Synthesis with LLMAgents  ✅Formal Verification
arxiv.org·1d
DM$^3$-Nav: Decentralized Multi-Agent Multimodal Multi-Object Semantic Navigation  🔣Type Systems
arxiv.org·3d
Hybrid JIT-CUDA Graph Optimization for Low-Latency Large Language Model Inference  ⚙️Compilers
arxiv.org·2d
Feasible-First Exploration for Constrained ML Deployment Optimization in Crash-Prone Hierarchical Search Spaces  🎲Fuzzing
arxiv.org·1d

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help