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

Home

Lecture

Verifying Programs with Stainless: Part 2

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (35)

Caches - Performance

Explores cache memory performance evaluation, covering benchmarks, Amdahl's law, CPU performance, memory hierarchy, cache optimizations, and multilevel caches.

Hoare Logic: Foundations and Applications Log in to Mediaspace to watch this video

Covers Hoare Logic, its foundations, applications, and significance in program verification.

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.

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.

LabVIEW Programming Essentials Log in to Mediaspace to watch this video

Explores LabVIEW essentials, troubleshooting common issues, managing cache, and data visualization techniques.

Software Correctness: Testing and Verification Log in to Mediaspace to watch this video

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

MIPS Assembly: Function Calls & Memory Management Log in to Mediaspace to watch this video

Explores MIPS assembly language, covering function calls, memory management, and data structures, including recursive functions, programming constructs, arrays, and linked lists.

Device Management in Operating Systems: Chaperones and Persistence Log in to Mediaspace to watch this video

Discusses device management in operating systems, focusing on device drivers, persistence, and performance optimization techniques.

Introduction to Data Science Log in to Mediaspace to watch this video

Introduces the basics of data science, covering decision trees, machine learning advancements, and deep reinforcement learning.

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.

Memory Management & Crash Programs Log in to Mediaspace to watch this video

Covers memory management for engineers, focusing on crash programs related to memory access errors.

Heterogeneous Reactions: Transport Effects Log in to Mediaspace to watch this video

Explores transport effects in heterogeneous catalysis, including molecular diffusion and Knudsen diffusion in different types of pores.

Memory Consistency Models Log in to Mediaspace to watch this video

Explores memory consistency models, cache coherence, and processor performance factors.

Fourier Inversion Formula Log in to Mediaspace to watch this video

Covers the Fourier inversion formula, exploring its mathematical concepts and applications, emphasizing the importance of understanding the sign.

Service Design Basics Log in to Mediaspace to watch this video

Introduces the basics of service design, including key models and processes, problem framing, co-creation, and customer journey mapping.

Page 2 of 2