BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Reasoning about Consistency Choices in Distributed Systems
DTSTART:20161123T140000
DTSTAMP:20260406T115317Z
UID:94df0c299a9af8a91f353f60af50812746d34d679d300715ab939670
CATEGORIES:Conferences - Seminars
DESCRIPTION:Prof. Alexey Gotsman\nAbstract:\nModern databases underlying l
 arge-scale cloud services guarantee immediate availability and tolerate ne
 twork failures at the expense of providing only weak data consistency guar
 antees. Unfortunately\, we currently lack sophisticated theory and tools t
 hat would help programmers in using such databases correctly despite the e
 ffects of weak consistency. I will present our ongoing work that uses form
 al techniques to study how weak consistency in cloud databases affects the
  correctness of applications using them. Building on it\, we aim to improv
 e the programmability and performance of cloud databases.\n\nBio:\nAlexey 
 Gotsman is a tenured Associate Research Professor at the IMDEA Software In
 stitute in Madrid\, Spain. He obtained his PhD from the University of Camb
 ridge\, UK. He has received best paper awards at PODC and CONCUR and the B
 est Dissertation Award of the European Association for Programming Languag
 es and Systems. He is a holder of an ERC Starting Grant and a Spanish Ramo
 n y Cajal Fellowship. Alexey's research interests are in methods and tools
  for developing correct concurrent and distributed software.\n\n 
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR