Semantics Courses
ACM SIGPLAN via YouTube The Morello ISA Semantics, Proof, and Test Generation
ACM SIGPLAN via YouTube Toward Probabilistic Coarse-to-Fine Program Synthesis
ACM SIGPLAN via YouTube System-Level Weak Memory Models: The Need for Formalisation, ISA Semantics Integration and Model Diversity
ACM SIGPLAN via YouTube Languages with Decidable Learning: A Meta-theorem
ACM SIGPLAN via YouTube Semantics I - Session Preview for POPL 2023
ACM SIGPLAN via YouTube Type Theory Session Preview - POPL 2023
ACM SIGPLAN via YouTube