Co-occurring keywords · papers mentioning both
Papers
Accurate Legal Reasoning at Scale: Neuro-Symbolic Offloading and Structural Auditability for Robust Legal Adjudication
ACL 2026
Deterministic Client: Enforcing Determinism on Untrusted Machine Code
OSDI 2025
KRR: Efficient and Scalable Kernel Record Replay
OSDI 2025
Massively Parallel Multi-Versioned Transaction Processing
OSDI 2024