research
∙
07/09/2023
Robust Routing Made Easy: Reinforcing Networks Against Non-Benign Faults
With the increasing scale of communication networks, the likelihood of f...
share
research
∙
01/12/2023
Gradient TRIX
Gradient clock synchronization (GCS) algorithms minimize the worst-case ...
research
∙
08/17/2022
On Specifications and Proofs of Timed Circuits
Given a discrete-state continuous-time reactive system, like a digital c...
research
∙
07/13/2022
G-SINC: Global Synchronization Infrastructure for Network Clocks
Many critical computing applications rely on secure and dependable time ...
research
∙
03/04/2022
Optimal Clock Synchronization with Signatures
Cryptographic signatures can be used to increase the resilience of distr...
research
∙
09/11/2021
Accelerated Distributed Laplacian Solvers via Shortcuts
In this work we refine the analysis of the distributed Laplacian solver ...
research
∙
10/05/2020
Synchronizer-Free Digital Link Controller
This work presents a producer-consumer link between two independent cloc...
research
∙
10/03/2020
TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware
The vast majority of hardware architectures use a carefully timed refere...
research
∙
03/11/2020
PALS: Plesiochronous and Locally Synchronous Systems
Consider an arbitrary network of communicating modules on a chip, each r...
research
∙
02/14/2020
A Breezing Proof of the KMW Bound
In their seminal paper from 2004, Kuhn, Moscibroda, and Wattenhofer (KMW...
research
∙
11/01/2019
Optimal Metastability-Containing Sorting via Parallel Prefix Computation
Friedrichs et al. (TC 2018) showed that metastability can be contained w...
research
∙
09/19/2019
Low Diameter Graph Decompositions by Approximate Distance Computation
In many models for large-scale computation, decomposition of the problem...
research
∙
04/16/2019
Parallel Balanced Allocations: The Heavily Loaded Case
We study parallel algorithms for the classical balls-into-bins problem, ...
research
∙
04/11/2019
Locality of not-so-weak coloring
Many graph problems are locally checkable: a solution is globally feasib...
research
∙
02/21/2019
Fault Tolerant Gradient Clock Synchronization
Synchronizing clocks in distributed systems is well-understood, both in ...
research
∙
11/29/2018
Small Hazard-free Transducers
Recently, an unconditional exponential separation between the hazard-fre...
research
∙
01/22/2018
Optimal Metastability-Containing Sorting Networks
When setup/hold times of bistable elements are violated, they may become...
research
∙
11/06/2017
On the complexity of hazard-free circuits
The problem of constructing hazard-free Boolean circuits dates back to t...
research
∙
11/05/2017