conftrace_

concurrent programming

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

task cancellation (1) static checking (1) concurrent verification (1) ownership type (1) shared memory verification (1) synchronization primitive (1) latency-aware synchronization (1) shared data access (1) concurrent application (1) concurrent system (1)

Papers

Protego: Overload Control for Applications with Unpredictable Lock Contention NSDI 2023 Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems OSDI 2023 Cancellation in Systems: An Empirical Study of Task Cancellation Patterns and Failures OSDI 2022