Minnowbrook Logic Programming Seminar (Supercut w/ Extras)
Автор: Kristopher Micinski
Загружено: 2025-07-07
Просмотров: 692
Описание:
Chapters:
00:00:00 Introduction
00:01:14 Oliver Kennedy (SUNY Buffalo): "Draupnir: A Database Engine for Declarative Compilers"
00:57:49 Max Willsey (UC Berkeley): "Introduction to E-Graphs"
01:46:07 Thomas Gilray & Kris Micinski (WSU & Syracuse): "Slog & HPC Approaches to Datalog"
02:46:57 Arlen Cox (IDA/CCS): "Structural Code Analysis with Datalog"
03:25:43 Y. Annie Liu (Stony Brook): "Incremental Computation: What Is the Essence?"
04:24:39 Andrew Johnson (Princeton): "Distributed runtime checking of mostly monotone queries in networks"
04:53:24 Chris Martens (Northeastern): "Finite-Choice Logic Programming with Dusa" (Demo/Livecoding)
05:30:37 Frank McSherry (Materialize, Inc.): "Introduction to Differential Dataflow"
06:42:17 Kris Brown (Topos Institute): "Incremental querying in adhesive categories"
07:30:30 Sowmith Kunapaneni (WSU): "Vectorized Recursive Query Execution in CUDA"
08:10:08 Denis Bueno (Sandia): "Compositional Taint Analysis in Datalog: CTADL"
08:59:35 Group Photo and Outro
All source material copyright their respective authors, this video aggregation distributed under the CC BY 3.0 license.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
