25:482nd exaFOAM Workshop March 2024 - Coherent Mesh Representation for Parallel I/OexaFOAM123 viewsView & Download
42:42Comp. Arch. - Lecture 28: Systolic Array Architectures (Fall 2025)Onur Mutlu Lectures2.5K viewsView & Download
5:30Truth about 'val' keyword in Kotlin: Does 'val' makes a variable immutable?Smartherd3.7K viewsView & Download
32:06[VMCAI'23] Satisfiability Modulo Custom Theories in Z3 (Tool Paper)ACM SIGPLAN185 viewsView & Download
8:46Z3 Explained - Satisfiability Modulo Theories & SMT SolversGuided Hacking22.2K viewsView & Download