AWS team wins best-paper award for work on automated reasoning November 2, 2021 by admin Amazon AWS SOSP paper describes lightweight formal methods for validating new S3 data storage service.Read More Previous Post Reducing city transport emissions with Maps and AI Next Post 3 Questions: Blending computing with other disciplines at MIT
