<h3>Summary:</h3>Snapshot isolation is supported by most commercial databases and is widely used by applications. However, checking, if given a set of transactions, a database ensures Snapshot Isolation is either slow or gives up soundness. In this episode, Jian Zhang tells us about VIPER, an SI checker that is sound, complete, and fast. Tune in to learn more!! <h3>Links:</h3><ul><li><a href="https://dl.acm.org/doi/pdf/10.1145/3552326.3567492" rel="noopener noreferrer" target="_blank">Paper</a></li><li><a href="https://github.com/Khoury-srg/Viper" rel="noopener noreferrer" target="_blank">GitHub repo</a></li><li><a href="https://www.khoury.northeastern.edu/people/jian-zhang/" rel="noopener noreferrer" target="_blank">Jian's homepage</a></li></ul><hr> Hosted on Acast. See <a style='color:grey;' target='_blank' rel='noopener noreferrer' href='https://acast.com/privacy'>acast.com/privacy</a> for more information.

Summary:Snapshot isolation is supported by most commercial databases and is widely used by applications. However, checking, if given a set of transactions, a database ensures Snapshot Isolation is either slow or gives up soundness. In this episode, Jian Zhang tells us about VIPER, an SI checker that is sound, complete, and fast. Tune in to learn more!! Links:PaperGitHub repoJian's homepage Hosted on Acast. See acast.com/privacy for more information.

Summary:Snapshot isolation is supported by most commercial databases and is widely used by applications. However, checking, if given a set of transactions, a database ensures Snapshot Isolation is either slow or gives up soundness. In this episode, Jian Zhang tells us about VIPER, an SI checker that is sound, complete, and fast. Tune in to learn more!! Links:<ul><li><a href="https://dl.acm.org/doi/pdf/10.1145/3552326.3567492" rel="noopener noreferrer">Paper</a></li><li><a href="https://github.com/Khoury-srg/Viper" rel="noopener noreferrer">GitHub repo</a></li><li><a href="https://www.khoury.northeastern.edu/people/jian-zhang/" rel="noopener noreferrer">Jian's homepage</a></li></ul> Hosted on Acast. See <a href="https://acast.com/privacy" rel="noopener noreferrer">acast.com/privacy</a> for more information.

Jian Zhang | VIPER: A Fast Snapshot Isolation Checker | #34

This podcast features interviews with Computer Science researchers. Hosted by <a href="https://jackwaudby.github.io/" rel="noopener noreferrer" target="_blank">Dr. Jack Waudby</a> researchers are interviewed, highlighting the problem(s) they tackled, solutions they developed, and how their findings can be applied in practice. This podcast is for industry practitioners, researchers, and students, aims to further narrow the gap between research and practice, and to generally make awesome Computer Science research more accessible. We have 2 types of episode: (i) Cutting Edge (red/blue logo) where we talk to researchers about their latest work, and (ii) High Impact (gold/silver logo) where we talk to researchers about their influential work. You can support the show through&nbsp;<a href="https://www.buymeacoffee.com/disseminate" rel="noopener noreferrer" target="_blank">Buy Me a Coffee</a>.&nbsp;A donation of $3 will help us keep making you awesome Computer Science research podcasts.&nbsp;<hr> Hosted on Acast. See <a style='color:grey;' target='_blank' rel='noopener noreferrer' href='https://acast.com/privacy'>acast.com/privacy</a> for more information.

News

Technology

Education

Tech News

This podcast features interviews with Computer Science researchers. Hosted by Dr. Jack Waudby researchers are interviewed, highlighting the problem(s) they tackled, solutions they developed, and how their findings can be applied in practice. This podcast is for industry practitioners, researchers, and students, aims to further narrow the gap between research and practice, and to generally make awesome Computer Science research more accessible. We have 2 types of episode: (i) Cutting Edge (red/blue logo) where we talk to researchers about their latest work, and (ii) High Impact (gold/silver logo) where we talk to researchers about their influential work. You can support the show through Buy Me a Coffee. A donation of $3 will help us keep making you awesome Computer Science research podcasts.  Hosted on Acast. See acast.com/privacy for more information.

This podcast features interviews with Computer Science researchers. Hosted by <a href="https://jackwaudby.github.io/" rel="noopener noreferrer">Dr. Jack Waudby</a> researchers are interviewed, highlighting the problem(s) they tackled, solutions they developed, and how their findings can be applied in practice. This podcast is for industry practitioners, researchers, and students, aims to further narrow the gap between research and practice, and to generally make awesome Computer Science research more accessible. We have 2 types of episode: (i) Cutting Edge (red/blue logo) where we talk to researchers about their latest work, and (ii) High Impact (gold/silver logo) where we talk to researchers about their influential work. You can support the show through&nbsp;<a href="https://www.buymeacoffee.com/disseminate" rel="noopener noreferrer">Buy Me a Coffee</a>.&nbsp;A donation of $3 will help us keep making you awesome Computer Science research podcasts.&nbsp; Hosted on Acast. See <a href="https://acast.com/privacy" rel="noopener noreferrer">acast.com/privacy</a> for more information.

Share Jian Zhang | VIPER: A Fast Snapshot Isolation Checker | #34

Sign up to save your podcasts

Jian Zhang | VIPER: A Fast Snapshot Isolation Checker | #34

Jian Zhang | VIPER: A Fast Snapshot Isolation Checker | #34

More shows like Disseminate: The Computer Science Research Podcast

The Changelog: Software Development, Open Source

Software Engineering Daily

Kubernetes Podcast from Google

Hard Fork

Developer Voices

Complex Systems with Patrick McKenzie (patio11)