ACM SIGPLAN Courses

Trustworthy Runtime Verification via Bisimulation - Experience Report

Explore trustworthy runtime verification using bisimulation in the Copilot framework. Learn how CopilotVerifier generates correctness proofs for compiled monitors, enhancing safety-critical system assurance.

• YouTube
• 30 minutes
• On-Demand
• Free Video

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
• On-Demand
• Free Video

Dependent Session Protocols in Separation Logic from First Principles - Functional Pearl

Explore dependent session protocols in concurrent separation logic, building from mutable references to channels. Simplify verification using basic mechanisms for one-shot protocols and extend to dependent session protocols.

• YouTube
• 28 minutes
• On-Demand
• Free Video

MacoCaml - Staging Composable and Compilable Macros

Explore MacoCaml, a novel approach to compile-time code generation in OCaml, combining macros with phase separation and quotation-based staging. Learn about its theoretical foundation and implementation.

• YouTube
• 32 minutes
• On-Demand
• Free Video

Embedding by Unembedding - Extending HOAS for Complex Semantic Domains

Explore a novel language development technique that extends HOAS, addressing limitations in semantic domains for open expressions, with applications in incremental computation and bidirectional languages.

• YouTube
• 27 minutes
• On-Demand
• Free Video

FP² - Fully in-Place Functional Programming

Explore a novel approach to functional programming that enables efficient in-place updates without sacrificing purity. Learn about the FIP calculus and its implementation in the Koka language.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Towards Higher-level Abstractions for Molecular Programming

Explore higher-level abstractions for molecular programming using chemical reaction networks, inspired by functional reactive programming. Build modular CRN programs with a Haskell library.

• YouTube
• 31 minutes
• On-Demand
• Free Video

NCATS' Biomedical Data Translator - Connecting the Dots

Explore NCATS' Biomedical Data Translator, a system connecting vast biomedical research data into knowledge graphs for generating new hypotheses and improving data sharing standards in the field.

• YouTube
• 46 minutes
• On-Demand
• Free Video

Why Code in Python+C When You Can Code in Lisp+Zig

Explore the benefits of combining GNU Guile Lisp and Zig for bioinformatics, offering quick coding and high performance without fighting Rust's borrow checker.

• YouTube
• 27 minutes
• On-Demand
• Free Video

The Algorithm for Precision Medicine

Explore the intersection of algorithms and precision medicine, uncovering innovative approaches to personalized healthcare and treatment strategies.

• YouTube
• 53 minutes
• On-Demand
• Free Video

Strange Loops: Journeys in Declarative Logic Programming in Genomics and Beyond

Explore declarative logic programming applications in genomics and other fields through Christopher Mungall's insightful journey and discoveries.

• YouTube
• 54 minutes
• On-Demand
• Free Video

Mental Health Mentoring for Programming Language Students

Explore strategies for maintaining mental health as a programming language student, focusing on self-care, stress management, and seeking support.

• YouTube
• 47 minutes
• On-Demand
• Free Video

How to Thrive as a PhD Student in Programming Languages

Discover strategies for success and personal growth during your PL PhD journey, focusing on research, collaboration, and professional development.

• YouTube
• 48 minutes
• On-Demand
• Free Video

A History of Subtyping

Explore the evolution and significance of subtyping in programming languages with Benjamin C. Pierce's comprehensive historical overview.

• YouTube
• 48 minutes
• On-Demand
• Free Video

GHC Status Report - Haskell Compiler Updates and Improvements

Explore GHC's latest developments, including quality-of-life improvements, WebAssembly support, dependent types, and linear types in this comprehensive status report.

• YouTube
• 1 hour 22 minutes
• On-Demand
• Free Video