IMDEA initiative
Abstract: Market fragmentation across multiple Automated Market Makers (AMMs) creates inefficiencies such as costly arbitrage, unn...
Abstract: The dominant guiding philosophy in the first sixty years of Computer Science was for designers to design systems that we...
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...
