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

Home

Lecture

Trustworthy Systems Research

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Formally Correct Intermittent Systems Log in to Mediaspace to watch this video

Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.

Virtual Memory: Principles and Mechanisms Log in to Mediaspace to watch this video

Covers the principles and mechanisms of virtual memory in computer systems, focusing on isolation, efficiency, and the role of the Memory Management Unit.

Congestion Control Algorithms: Enhancing Network Performance Log in to Mediaspace to watch this video

Explores congestion control challenges, emphasizing the need for robust network systems and performance verification to enhance internet performance and address issues like starvation and low utilization.

Operating System Roles: Referee and Resource Manager Log in to Mediaspace to watch this video

Covers the operating system's role as a referee in managing resources and ensuring security through fault isolation, resource sharing, and communication.

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.

Analog Circuits for Biochip: Wireless Power and Data Transmission Log in to Mediaspace to watch this video

Explores wireless power and data transmission to implanted systems, emphasizing system architecture and functional modules.

Virtual Memory: Memory Organization & Virtualization Log in to Mediaspace to watch this video

Explores memory organization, virtualization, dynamic memory allocation, stack, heap, and memory virtualization techniques like base register and segmentation.

Computation & Algorithms II: Sorting and Recursive Algorithms Log in to Mediaspace to watch this video

Explores sorting and recursive algorithms, including complexity analysis, maximal value, and binary search.

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.

The Role of Operating Systems: Foundations and Functions Log in to Mediaspace to watch this video

Covers the essential role of operating systems in managing hardware and enabling applications across various devices.

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.

Advanced Types in C: Unions and Bit Fields Log in to Mediaspace to watch this video

Discusses advanced types in C, focusing on unions, bit fields, and their associated modifiers and operators.

Page 2 of 2