Programming Languages Courses
ACM SIGPLAN via YouTube Extending the Scope of the Array Abstraction beyond Sparsity
ACM SIGPLAN via YouTube Verifying Quantum Circuits in GAP
ACM SIGPLAN via YouTube Four Languages for Portability - SPARSE 2024
ACM SIGPLAN via YouTube Choreographic Programming With Multicast and Multiply Located Values
ACM SIGPLAN via YouTube Continuous Arrays - SPARSE 2024 Workshop
ACM SIGPLAN via YouTube Compiler Support for Structured Data
ACM SIGPLAN via YouTube Taype: A Policy-Agnostic Language for Oblivious Computation
ACM SIGPLAN via YouTube A Lineage-Based Referencing DSL for Computer-Aided Design
ACM SIGPLAN via YouTube A Type System for Safe Intermittent Computing
ACM SIGPLAN via YouTube