Synchronous Concurrent Broadcasts for Intermittent Channels with Bounded Capacities

Arbitrarily Varying Broadcast and Relay ChannelsПодробнее

[VMCAI'22] Simplifying Concurrent Programming via Synchronization SynthesisПодробнее

Brief Announcement: Multi-Threshold Asynchronous Reliable Broadcast and ConsensusПодробнее

OPODIS 2020 - Multi-Threshold Asynchronous Reliable Broadcast and ConsensusПодробнее

Throughput Improvements of Hyperscaled Distributed Databases based on Precision TimingПодробнее

[Session Previews @ POPL'23] Concurrency & LinearizabilityПодробнее

Synchronization - Blocking & Non-Blocking (2/2) | Petr KuznetsovПодробнее

"Computer-aided Concurrent Programming" by Roopsha Samanta [PWLConf 2018]Подробнее

Interactive Channel Capacity - Gillat KolПодробнее

2.6 Video Streaming and Content Distribution NetworksПодробнее

Broadcasts: Best Effort vs Regular Reliable vs Uniform Reliable | Vivien QuemaПодробнее

A Separation Logic for Concurrent Randomized ProgramsПодробнее

Safe Replication through Bounded Concurrency VerificationПодробнее

Distributed Systems 4.2: Broadcast orderingПодробнее

Constant-Time Snapshots with Applications to Concurrent Data StructuresПодробнее

Optimizing Your Web Performance: Separating the Signals from the NoiseПодробнее

Invisible Probe: Timing Attacks with PCIe Congestion Side-channelПодробнее

From Partial to Global Asynchronous Reliable BroadcastПодробнее

[APLAS] Verification of Concurrent Programs under Release-Acquire ConcurrencyПодробнее