Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Designing Provably Performant Networked Systems

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (29)

Property-Based Testing: QuickChick Log in to Mediaspace to watch this video

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Synchronization: Locks and Barriers Log in to Mediaspace to watch this video

Explores synchronization principles using locks and barriers, emphasizing efficient hardware-supported implementations and coordination mechanisms like OpenMP.

Encoder and Decoder for Prefix-Free Codes Log in to Mediaspace to watch this video

Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.

Audit UX & Voix du Marché: Benchmark UX Log in to Mediaspace to watch this video

Explores the theoretical aspects of UX audit, expert evaluation, and benchmarking, emphasizing the importance of detecting design issues impacting usability and user experience.

Purely Functional Priority Queue Log in to Mediaspace to watch this video

Covers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.

Introduction to LabVIEW Programming Log in to Mediaspace to watch this video

Introduces LabVIEW programming, covering memory management, data types, and parallel programming concepts, with hands-on demonstrations.

Speculative Query Execution: Bottlenecks and Dependencies Log in to Mediaspace to watch this video

Explores speculative query execution for complex queries, addressing bottlenecks, dependencies, and performance prediction.

Separation is all you need: Foundations for Modular Verification Log in to Mediaspace to watch this video

Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.

Formally Verified Chisel Designs Log in to Mediaspace to watch this video

Explores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.

Page 2 of 2