IMDEA initiative
Abstract: Reasoning about hyperproperties of concurrent implementations, such as the guarantees these implementations provide to r...
Abstract: Byzantine agreement, a fundamental problem in distributed computing, enables $N$ processes to reach consensus on a commo...
Abstract: In the zoo of programming languages there are two cute yet rather misbehaved animals, typically found in the Dynamic Lan...
