Advanced Data Structures Courses and Certifications

Insights into Mathematics

The Algebra of Natural Number Multisets - Data Structures in Mathematics

Explore multiset algebra in natural numbers, introducing notation and operations. Discover potential extensions to negative and rational multiplicities, with implications for modern algebra.

• YouTube
• 23 minutes
• Self-Paced
• Free Video

GeeCON Conference

Understanding Probabilistic Data Structures with UFO Sightings

Explore probabilistic data structures through UFO sightings analysis. Learn about Bloom Filters, MinHash, and Top-K, and their applications in processing large datasets efficiently.

• YouTube
• 52 minutes
• Self-Paced
• Free Video

Center for Language & Speech Processing(CLSP), JHU

BitFunnel: How Bing Uses Bloom Filters for Search

Explore BitFunnel algorithm powering Bing search, using Bloom filters to efficiently process queries and search billions of documents, challenging conventional wisdom in text indexing.

• YouTube
• 51 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

E-graphs and Automated Reasoning: Looking Back to Look Forward

Explore e-graph rewriting techniques in automated reasoning, examining historical connections and potential extensions for future implementations.

• YouTube
• 38 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Disequalities in E-Graphs: An Experiment

Explore integration of disequalities into e-graphs for enhanced automated theorem proving efficiency. Learn about implementation approaches and preliminary results in egg library.

• YouTube
• 25 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Bridging Syntax and Semantics of Lean Expressions in E-Graphs

Explore proof automation in Lean using equality saturation, addressing challenges in bridging expression semantics with e-graphs for improved equational reasoning and theorem proving.

• YouTube
• 28 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Guided Equality Saturation

Explore guided equality saturation, a semi-automatic rewriting technique scaling complex tasks in theorem proving and compilation by incorporating human insight at key decision points.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

Devoxx Poland

Understanding Probabilistic Data Structures with 112,092 UFO

Explore probabilistic data structures through 112,092 UFO sightings, learning efficient algorithms for handling massive datasets with memory-optimized techniques.

• YouTube
• 52 minutes
• Self-Paced
• Free Video

USENIX

HEC - Equivalence Verification Checking for Code Transformation via Equality Saturation

Discover HEC, a framework using e-graph data structures to verify functional equivalence between programs after code transformations, detecting critical compiler bugs.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

Simons Institute

Capacity Analysis of Vector Symbolic Architectures

Explores representation capacities of vector symbolic architectures, analyzing their ability to perform symbolic tasks and comparing them to a novel Hopfield network variant.

• YouTube
• 43 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Mind the Abstraction Gap - Bringing Equality Saturation to Real-World ML Compilers

Discover how equality saturation revolutionizes ML compiler optimization by replacing manual heuristics with global performance models for better adaptability.

• YouTube
• 13 minutes
• Self-Paced
• Free Video

Simons Institute

Algorithms with Prediction

Explore how machine learning predictions can enhance traditional algorithms, improving efficiency in search, caching, and data structures like Bloom filters.

• YouTube
• 30 minutes
• Self-Paced
• Free Video

Graph Search, Shortest Paths, and Data Structures

1998 ratings at Coursera

Explore data structures, graph algorithms, and their applications in computer science, from search techniques to social network analysis.

• Coursera
• 13 hours 32 minutes
• Self-Paced
• Paid Course

Intermediate Julia

Take your Julia skills to the next level with our intermediate Julia course. Learn about loops, advanced data structures, timing, and more.

• DataCamp
• 4 hours
• Self-Paced
• Free Trial Available

Easy to Advanced Data Structures

7660 ratings at Udemy

A complete guide to learning everything there is to know about data structures

• Udemy
• 8 hours 18 minutes
• Self-Paced
• Paid Course