Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Verifying Programs with Stainless: Part 2
Graph Chatbot
Related lectures (30)
Previous
Page 3 of 3
Next
Online Algorithms: Competitive Ratio
Covers online algorithms and competitive ratio in caching strategies to optimize memory usage.
Correctness of Compilers: Part 1
Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.
Software Correctness: Testing and Verification
Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.
Introduction to R Programming for Genetics & Genomics
Introduces a course on Genetics & Genomics, focusing on R programming with interactive exercises.
MIPS Assembly: Function Calls & Memory Management
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
Discusses device management in operating systems, focusing on device drivers, persistence, and performance optimization techniques.
Introduction to Data Science
Introduces the basics of data science, covering decision trees, machine learning advancements, and deep reinforcement learning.
Fibonacci Numbers: Recursion and Induction
Explores Fibonacci numbers, rabbit population growth, and recursively defined functions.
Property-Based Testing: QuickChick
Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.
Caches - Performance
Explores cache memory performance evaluation, covering benchmarks, Amdahl's law, CPU performance, memory hierarchy, cache optimizations, and multilevel caches.
