Architectural Contracts for Safe Speculation.
Franz A. FuchsJonathan WoodruffPeter RuggMarno van der MaasAlexandre JoannouAlexander RichardsonJessica ClarkeNathaniel Wesley FilardoBrooks DavisJohn BaldwinPeter G. NeumannSimon W. MooreRobert N. M. WatsonPublished in: ICCD (2023)