会员服务
obliv-clang: Real-World Oblivious Programming in C++
Arxiv
0+阅读 · 6月15日
Classport: Designing Runtime Dependency Introspection for Java
Arxiv
0+阅读 · 6月10日
AGENTSERVESIM: A Hardware-aware Simulator for Multi-Turn LLM Agent Serving
Arxiv
0+阅读 · 6月8日
LLMs Lean on Priors, Not Programming Language Semantics
Arxiv
0+阅读 · 5月29日
The Path Not Taken: Duality in Reasoning about Program Execution
Arxiv
0+阅读 · 4月22日
Polynomial Invariant Generation for Floating-Point Programs
Arxiv
0+阅读 · 5月3日
Classport: Designing Runtime Dependency Introspection for Java
Arxiv
0+阅读 · 4月14日
Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
Arxiv
0+阅读 · 4月7日
Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
Arxiv
0+阅读 · 3月13日
Debugging code world models
Arxiv
0+阅读 · 2月14日
Debugging code world models
Arxiv
0+阅读 · 2月7日
Classport: Designing Runtime Dependency Introspection for Java
Arxiv
0+阅读 · 1月23日
EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
Arxiv
0+阅读 · 2025年12月3日
CARTOS: A Charging-Aware Real-Time Operating System for Intermittent Batteryless Devices
Arxiv
0+阅读 · 2025年12月10日
A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming
Arxiv
0+阅读 · 2023年4月18日
参考链接
微信扫码咨询专知VIP会员
Top