Concurrency bugs are difficult to detect, reproduce, and diagnose, as they manifest under rare timing conditions. Recently, active delay injection has proven efficient for exposing one such type of bug — thread-safety violations — with low over-head, high coverage, and minimal code analysis. However, how to efficiently apply active delay injection to broader classes of concurrency bugs is still an open question.

In this episode, Bogdan Stoica tells us about how answered this question by focusing on MemOrder bugs — a type of concurrency bug caused by incorrect timing between a memory access to a particular object and the object’s initialization or deallocation. Tune to learn about Waffle — a delay injection tool that tailors key design points to better match the nature of MemOrder bugs.

Links:

• EuroSys'23 Paper
• Bogdan's Homepage
• Waffle's GitHub Repo

Hosted on Acast. See acast.com/privacy for more information.

In this episode, Roger Waleffe talks about Graph Neural Networks (GNNs) for large-scale graphs. Specifically, he reveals all about MariusGNN, the first system that utilises the entire storage hierarchy (including disk) for GNN training. Tune in to find out how MaruisGNN works and just how fast it goes (and how much more cost-efficient it is!)

Links:

• Marius Project
• Roger's Homepage
• Roger's Twitter
• EuroSys'23 Paper

Support the podcast through Buy Me a Coffee

Hosted on Acast. See acast.com/privacy for more information.

The success of deep learning has sparked interest in improving relational table tasks, like data preparation and search, with table representation models trained on large table corpora. Existing table corpora primarily contain tables extracted from HTML pages, limiting the capability to represent offline database tables. To train and evaluate high-capacity models for applications beyond the Web, we need resources with tables that resemble relational database tables. In this episode, Madelon Hulsebos tells us all about such a resource! Tune in to learn more about GitTables!!

• Madelon's website
• GitTables homepage
• SIGMOD'23 paper

Buy Me A Coffee!

Hosted on Acast. See acast.com/privacy for more information.

Compared to hard disk drives (HDDs), solid-state drives (SSDs) have two fundamentally different properties: (i) read/write asymmetry (writes are slower than reads) and (ii) access concurrency (multiple I/Os can be executed in parallel to saturate the device bandwidth). But, database operators are often designed without considering storage asymmetry and concurrency resulting in device under utilization. In thie episode, Tarikul Islam Papon tells us about his work on a new Asymmetry & Concurrency aware bufferpool management (ACE) that batches writes based on device concurrency and performs them in parallel to amortize the asymmetric write cost. Tune in to learn more!

• ICDE'23 Paper
• Papon's Homepage
• Papon's LinkedIn

Buy me a coffee

Hosted on Acast. See acast.com/privacy for more information.

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!!

• Paper
• GitHub repo
• Jian's homepage

Hosted on Acast. See acast.com/privacy for more information.

Federated Learning (FL) enables distributed training by learners using local data, thereby enhancing privacy and reducing communication. However, it presents numerous challenges relating to the heterogeneity of the data distribution, device capabilities, and participant availability as deployments scale, which can impact both model convergence and bias. Existing FL schemes use random participant selection to improve fairness; however, this can result in inefficient use of resources and lower quality training. In this episode, Ahmed Sayed talks about how he and his colleagues address the question of resource efficiency in FL. He talks about the benefits of intelligent participant selection, and incorporation of updates from straggling participants. Tune in to learn more!

• EuroSys'23 Paper
• Ahmed's LinkedIn
• Ahmed's Homepage
• Ahmed's Twitter
• REFL Github

Hosted on Acast. See acast.com/privacy for more information.

Log-structured merge (LSM) trees have emerged as one of the most commonly used storage-based data structures in modern data systems as they offer high throughput for writes and good utilization of storage space. In this episode, Subhadeep Sarkar presents the fundamental principles of the LSM paradigm. He tells us about recent research on improving write performance and the various optimization techniques and hybrid designs adopted by LSM engines to accelerate reads. Tune in to find out more!

• Personal website
• ICDE'23 tutorial
• LinkedIn

Hosted on Acast. See acast.com/privacy for more information.

The increasing need for data trading across businesses nowadays has created a demand for data marketplaces. However, despite the intentions of both data providers and consumers, today’s data marketplaces remain mere data catalogs. In this episode, Andra tells us about her vision for marketplaces of the future which require a set of value-added services, such as advanced search and discovery. Also, she tell us about her and her team's effort to engineer and develop an open-source modular data market platform to enable both entrepreneurs and researchers to setup and experiment with data marketplaces. Tune in to learn more about Topio a real-world web platform for trading geospatial data, that is currently in a beta phase.

• Topio Marketplace
• Andra's Homepage
• Andra's Twitter

Hosted on Acast. See acast.com/privacy for more information.

Sorting is one of the most well-studied problems in computer science and a vital operation for relational database systems. Despite this, little research has been published on implementing an efficient relational sorting operator. In this episode, Laurens Kuiper tells us about his work filling this gap! Tune in to hear about a micro-benchmarks that explores how to sort relational data efficiently for analytical database systems, taking into account different query execution engines as well as row and columnar data formats. Laurens also tells us about his implementation of a highly optimized row-based sorting approach in the DuckDB open-source in-process analytical database management system. Check out the epiosde to learn more!

• Paper
• DuckDB
• Laurens's LinkedIn

Hosted on Acast. See acast.com/privacy for more information.

In this episode Semih Salihoğlu tell us about Kùzu, an in-process property graph database management system built for query speed and scalability.

Listen to hear the vision for Kùzu and to learn more about Kùzu's factorized query processor!

• Kùzu GitHub repo
• CIDR paper
• [email protected]
• Kùzu Slack
• Kùzu Twitter
• Kùzu Website - blog posts Semih mentioned can be found here
• Semih's Homepage
• Semih's Twitter

Hosted on Acast. See acast.com/privacy for more information.