Aug 17, 2024
08/17/24: Efficient Synthesis of Symbolic Distributed Protocols by Sketching with Derek Egolf
Boston Computation ClubInformation
- Published
- August 17, 2024
- Type
- audio
- Language
- EN
- Author
- Max von Hippel
- Categories
- sciencemathematics
Discover
Find new listens