Inferring Synchronization under Limited Observability
No abstract available.
DOI 10.1007/978-3-642-00768-2_13
Related papers
- PriTran: Privacy-Preserving Inference for Transformer-Based Language Models under Fully Homomorphic Encryption CGO 2026
- Incremental precision-preserving symbolic inference for probabilistic programs PLDI 2019
- Pin or Fuse? Exploiting Scratchpad Memory to Reduce Off-Chip Data Transfer in DNN Accelerators CGO 2023
- Bottom-Up Synthesis of Memory Mutations with Separation Logic ECOOP 2025
- Associating synchronization constraints with data in an object-oriented language POPL 2006
- Tractable Refinement Checking for Concurrent Objects POPL 2015
- Reactive probabilistic programming PLDI 2020
- Running Probabilistic Programs Backwards ESOP 2015