Graph Theory Courses

Instituto de Matemática Pura e Aplicada

A Short Introduction to Sarkisov Theory

Explore Sarkisov theory with Sokratis Zikas in this concise introduction, part of IMPA's algebra community showcase featuring new postdoc fellows and their research interests.

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

Institute for Advanced Study

Candidate de Sitter Vacua in Type IIB String Theory

Explore type IIB string theory compactifications yielding de Sitter vacua. Examine Calabi-Yau orientifolds, quantized fluxes, and effective supergravity theories in the context of moduli stabilization and metastable vacua.

• YouTube
• 1 hour 12 minutes
• Self-Paced
• Free Video

Association for Computing Machinery (ACM)

GraphGPT: Graph Instruction Tuning for Large Language Models - Session M2.2

Explore graph instruction tuning for large language models, enhancing their ability to understand and process graph-structured data effectively.

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

ACM SIGPLAN

EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction

Explore e-graph application in software testing, focusing on test suite reduction and abstraction for program analysis tools. Learn about JSON-based implementation and preliminary research findings.

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

ACM SIGPLAN

Stream Types - A Foundational Theory of Typed Data Streams and Stream Transformers

Explore a foundational theory of typed data streams and transformers, covering complex sequential patterns, parallel structure, and programming idioms like punctuation and windowing.

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

ACM SIGPLAN

Pipelines and Beyond: Graph Types for ADTs with Futures

Explore a novel graph type system enabling arbitrary combinations of futures and recursive data types in parallel programming, enhancing pipelining and performance optimization techniques.

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

ACM SIGPLAN

Univalent Double Categories - Formalization and Applications in Category Theory

Explore univalent double categories in category theory, their formalization in Coq, and applications in mathematics and computer science.

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

ACM SIGPLAN

Martin-Löf Type Theory Mechanization in Coq

Explore an extensive mechanization of Martin-Löf Type Theory in Coq, covering decidability of conversion and type checking, with a certified executable type checker for MLTT.

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

ACM SIGPLAN

Teaching Logic and Set Theory with Dafny

Explore logic and set theory concepts using Dafny in a computer science course, enhancing understanding through practical application and verification.

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

ACM SIGPLAN

Homotopy Type Theory for Sewn Quilts

Explore PieceWork, an innovative programming language for quilt design inspired by Homotopy Type Theory. Learn how computational methods can enhance diversity in sewn designs and bridge programming theory with quilting craft.

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

ACM SIGPLAN

Graded Modal Dependent Type Theory with Universe and Erasure - Formalized

Explore a graded modal type theory with dependent types, erasure, and formalized meta-theoretic properties. Delve into its universe, extraction function, and soundness proofs for open programs.

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

ACM SIGPLAN

Explicit Refinement Types - A Type Theory with Embedded Proofs

Explore λert, a type theory with explicit proof refinement types. Learn about its soundness, denotational semantics, and formalization in Lean 4.

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

ACM SIGPLAN

PL4XGL: A Programming Language Approach to Explainable Graph Learning

Explore a novel programming language approach to explainable graph learning, addressing limitations in GNN explainability through a graph description language and interpretable classification model.

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

ACM SIGPLAN

SMT Theory Arbitrage: Approximating Unbounded Constraints Using Bounded Theories

Explore SMT theory arbitrage for transforming unbounded constraints into bounded ones, improving solver performance and enabling optimization techniques for bounded theories.

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

ACM SIGPLAN

Tackling the Challenges of High-Performance Graph Analytics at Compiler Level

Explore COMET, a DSL and compiler framework for efficient tensor algebra code generation, focusing on optimizations for high-performance graph analytics on heterogeneous systems.

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