Week2: Some interesting paper from ATC/OSDI 2022 - Xudong Sun Automatic Reliability Testing For Cluster Management Controllers Fuzz test DuoAI Ivy vs CoQ What is the advantages of Ivy compared to other verification language like CoQ? Because I have heard of CoQ but Ivy is new to me. RESIN: Memory Leak

Lecture1: Introduction 4*2 Homework 2 person team Online Exams with books open Lecture2: Moral Lecture3: Buffer Overflow By the end of this chapter you should:

Introduction History Manually 1989 Machenical telephone switch Circuit switching is wasteful Packet Switch 1959

OSI Model https://www.forcepoint.com/zh-hans/cyber-edu/osi-model Performance Metrics (性能与指标) Bandwidth (Throughput)

Basic Concepts 操作系统起着分离运行、幻象（抽象层？）、粘合（高级）的作用 Process Program state PC, reg, Execution flag, Stack Address Space

课程目标 概念 方法 原理 二叉树模型 教材: 《期权、期货和其它衍生产品》 Chapter 1: 衍生产品市场基本知识 衍生产品