[TutorialFest@POPL'24] MetaCoq Tutorial

(3:27:57)

[TutorialFest@POPL'24] Scaling Verification of Concurrent Programs with the Civl Verifier

(3:29:42)

[TutorialFest@POPL'24] Machine Learning Meets Program Synthesis

(2:45:4)

[TutorialFest@POPL'24] Verified Message-Passing Concurrency in Iris: Separation Logic Meet...

(1:31:15)

[TutorialFest@POPL'24] String Solving for Verification

(3:30:38)

[TutorialFest@POPL'24] Cedar: A language for expressing fast, safe, and fine-grained autho...

(1:34:50)

[TutorialFest@POPL'24] Automated Datastructure Verification using Unfoldings and SMT Solvi...

(2:56:54)

Live 12 Piano Roll: Top 9 Drum Programming Updates

(10:)

CMU Advanced NLP Fall 2024 (6): Instruction Tuning

(1:6:13)

GPT4All: Create RAGs without any coding \u0026 run LLMs locally

(10:16)

Task-Oriented Functional Programming for Industrial Applications -Rinus Plasmeijer |Lambda Days 2024

(1:10:10)

Creating Local-First Collaboration Software with Automerge • Martin Kleppmann • GOTO 2023

(40:45)

Fine Tuning LLMs Using HuggingFace [Code Walkthrough]

(15:27)

The Definitive Guide to WBPP: Cosmetic Correction Update (2024)

(15:21)

From IL Weaving to Source Generators, the Realm story - Ferdinando Papale - CPH DevFest 2024

(38:53)

[POPL'24] A Core Calculus for Documents: Or, Lambda: The Ultimate Document

(20:10)

[POPL'24] Indexed Types for a Statically Safe WebAssembly

(18:15)

[TutorialFest@POPL'24] Foundations of Type-Driven Probabilistic Modelling

(1:54:50)

[POPL'24] Commutativity Simplifies Proofs of Parameterized Programs

(19:5)

[POPL'24] Explicit Effects and Effect Constraints in ReML

(20:38)

[POPL'24] Type-based Gradual Typing Performance Optimization

(18:21)

[POPL'24] Securing Verified IO Programs Against Unverified Code in F*

(21:8)

[POPL'24] Guided Equality Saturation

(21:21)

[POPL'24] Fusing Direct Manipulations into Functional Programs

(18:15)

[POPL'24] Calculational Design of [In]Correctness Transformational Program Logics by Abstr...

(26:11)