Reasoning about Consistency Choices in Distributed Systems
Event details
| Date | 23.11.2016 |
| Hour | 14:00 |
| Speaker | Prof. Alexey Gotsman |
| Location | |
| Category | Conferences - Seminars |
Abstract:
Modern databases underlying large-scale cloud services guarantee immediate availability and tolerate network failures at the expense of providing only weak data consistency guarantees. Unfortunately, we currently lack sophisticated theory and tools that would help programmers in using such databases correctly despite the effects of weak consistency. I will present our ongoing work that uses formal techniques to study how weak consistency in cloud databases affects the correctness of applications using them. Building on it, we aim to improve the programmability and performance of cloud databases.
Bio:
Alexey Gotsman is a tenured Associate Research Professor at the IMDEA Software Institute in Madrid, Spain. He obtained his PhD from the University of Cambridge, UK. He has received best paper awards at PODC and CONCUR and the Best Dissertation Award of the European Association for Programming Languages and Systems. He is a holder of an ERC Starting Grant and a Spanish Ramon y Cajal Fellowship. Alexey's research interests are in methods and tools for developing correct concurrent and distributed software.
Modern databases underlying large-scale cloud services guarantee immediate availability and tolerate network failures at the expense of providing only weak data consistency guarantees. Unfortunately, we currently lack sophisticated theory and tools that would help programmers in using such databases correctly despite the effects of weak consistency. I will present our ongoing work that uses formal techniques to study how weak consistency in cloud databases affects the correctness of applications using them. Building on it, we aim to improve the programmability and performance of cloud databases.
Bio:
Alexey Gotsman is a tenured Associate Research Professor at the IMDEA Software Institute in Madrid, Spain. He obtained his PhD from the University of Cambridge, UK. He has received best paper awards at PODC and CONCUR and the Best Dissertation Award of the European Association for Programming Languages and Systems. He is a holder of an ERC Starting Grant and a Spanish Ramon y Cajal Fellowship. Alexey's research interests are in methods and tools for developing correct concurrent and distributed software.
Practical information
- General public
- Free
Organizer
- Prof. Alexey Gotsman is hosted by LABOS and LPD, ([email protected] and [email protected])