Computer Architecture Courses
ACM SIGPLAN via YouTube Revisiting Dynamic Dispatch for Modern Architectures
ACM SIGPLAN via YouTube Software and Hardware for Sparse Machine Learning
ACM SIGPLAN via YouTube ISVABI: In-Storage Video Analytics Engine with Block Interface
ACM SIGPLAN via YouTube CHERI C Semantics
ACM SIGPLAN via YouTube The Morello ISA Semantics, Proof, and Test Generation
ACM SIGPLAN via YouTube The State of Morello Software and Projects - POCL'24
ACM SIGPLAN via YouTube Morello Cerise - Proving Secure Encapsulation - Work in Progress
ACM SIGPLAN via YouTube Heterogeneous Concurrency - A New Frontier for Weak Memory
ACM SIGPLAN via YouTube Evolving Weak Memory Models for Evolving Architectures
ACM SIGPLAN via YouTube