Programming Languages Courses
ACM SIGPLAN via YouTube Learn 'em Dafny - Incorporating Verification Tools in Software Engineering Education
ACM SIGPLAN via YouTube Randomised Testing of the Dafny Compiler
ACM SIGPLAN via YouTube Generating Java Interfaces for Accessing Foreign Objects in GraalVM - Work in Progress
ACM SIGPLAN via YouTube Synthesizing Specifications - Automatic Generation of Program Behavior Descriptions
ACM SIGPLAN via YouTube Mutually Iso-Recursive Subtyping - OOPSLA 2023
ACM SIGPLAN via YouTube Interactive Debugging of Datalog Programs
ACM SIGPLAN via YouTube The Bounded Pathwidth of Control-Flow Graphs
ACM SIGPLAN via YouTube Automated Ambiguity Detection in Layout-Sensitive Grammars
ACM SIGPLAN via YouTube How Profilers Can Help Navigate Type Migration
ACM SIGPLAN via YouTube