Tubidy
    Harry Goldstein | Property-Based Testing | #55

    Harry Goldstein | Property-Based Testing | #55

    49:14 |
    Download MP3

    Related Videos

    High Impact in Databases with... Moshe Vardi 47:40

    High Impact in Databases with... Moshe Vardi

    Jinkun Geng | Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks | #42 55:10

    Jinkun Geng | Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks | #42

    High Impact in Databases with... Andreas Kipf 53:07

    High Impact in Databases with... Andreas Kipf

    High Impact in Databases with... Raghu Ramakrishnan 23:57

    High Impact in Databases with... Raghu Ramakrishnan

    Dimitris Koutsoukos | NVM: Is it Not Very Meaningful for Databases? | #41 48:58

    Dimitris Koutsoukos | NVM: Is it Not Very Meaningful for Databases? | #41

    Yang Wang | Rethinking Concurrency Control in Databases | #25 55:57

    Yang Wang | Rethinking Concurrency Control in Databases | #25

    Yifei Yang | Predicate Transfer: Efficient Pre-Filtering on Multi-Join Queries | #48 47:38

    Yifei Yang | Predicate Transfer: Efficient Pre-Filtering on Multi-Join Queries | #48

    Lexiang Huang | Metastable Failures in the Wild | #17 53:19

    Lexiang Huang | Metastable Failures in the Wild | #17

    Harry Goldstein | Property-Based Testing | #55 49:14

    Harry Goldstein | Property-Based Testing | #55

    Bogdan Stoica | WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection | #38 56:35

    Bogdan Stoica | WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection | #38

    Alex Isenko | Where Is My Training Bottleneck? Hidden Trade-Offs in Deep Learning Preprocessing P... 24:33

    Alex Isenko | Where Is My Training Bottleneck? Hidden Trade-Offs in Deep Learning Preprocessing P...

    Vasily Sartakov | CAP-VMs: Capability-Based Isolation and Sharing in the Cloud #19 36:11

    Vasily Sartakov | CAP-VMs: Capability-Based Isolation and Sharing in the Cloud #19

    Haralampos Gavriilidis | In-Situ Cross-Database Query Processing | #27 1:00:54

    Haralampos Gavriilidis | In-Situ Cross-Database Query Processing | #27

    Felix S Campbell | Efficient Answering of Historical What-if Queries | #2 19:22

    Felix S Campbell | Efficient Answering of Historical What-if Queries | #2

    Roger Waleffe | MariusGNN: Resource-Efficient Out-of-Core Training of Graph Neural Networks | #37 1:13:07

    Roger Waleffe | MariusGNN: Resource-Efficient Out-of-Core Training of Graph Neural Networks | #37

    Gábor Szárnyas | The LDBC Social Network Benchmark: Business Intelligence Workload | #44 46:35

    Gábor Szárnyas | The LDBC Social Network Benchmark: Business Intelligence Workload | #44

    Audrey Cheng | TAOBench: An End-to-End Benchmark for Social Network Workloads | #15 52:44

    Audrey Cheng | TAOBench: An End-to-End Benchmark for Social Network Workloads | #15

    Mohamed Alzayat | Groundhog: Efficient Request Isolation in FaaS | #40 42:47

    Mohamed Alzayat | Groundhog: Efficient Request Isolation in FaaS | #40

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

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

    Rui Liu | Towards Resource-adaptive Query Execution in Cloud Native Databases | #49 53:53

    Rui Liu | Towards Resource-adaptive Query Execution in Cloud Native Databases | #49