Type System Courses
ACM SIGPLAN via YouTube RefinedRust: A Type System for High-Assurance Verification of Rust Programs
ACM SIGPLAN via YouTube A Verified Compiler for a Functional Tensor Language - PLDI 2024
ACM SIGPLAN via YouTube Choreographic Programming With Multicast and Multiply Located Values
ACM SIGPLAN via YouTube Exploring Algebraic Placement in Multiparty Languages - CP 2024
ACM SIGPLAN via YouTube Compiling Probabilistic Programs for Variable Elimination with Information Flow
ACM SIGPLAN via YouTube Compiler Support for Structured Data
ACM SIGPLAN via YouTube Type-Based Incorrectness Reasoning - Integrating Underapproximate Analysis in Refinement Types
ACM SIGPLAN via YouTube Covering All the Bases: Type-Based Verification of Test Input Generators
ACM SIGPLAN via YouTube Flux: Liquid Types for Rust
ACM SIGPLAN via YouTube