fix

Author: deian

index.html

@@ -56,45 +56,44 @@
     - [Two Kinds of Invariants: Safety and Validity](https://www.ralfj.de/blog/2018/08/22/two-kinds-of-invariants.html)
     - [Unsafe Rust and Miri](https://www.youtube.com/watch?v=svR0p6fSUYY&t=213s)
 
-Wed Oct 8 2025:
-Operating Systems
+Wed Oct 8 2025: Operating Systems
   - *Reading*:
     - [TickTock: Verified Isolation in a Production Embedded OS](https://ranjitjhala.github.io/static/sosp25-ticktock.pdf) by Vivien Rindisbacher et al.
   - *Optional reading*:
     - [Flux: Liquid Types for Rust](./papers/flux.pdf)
 
-Mon Oct 13 2025: Guest lecture: Evan Johnson
-
-Wed Oct 15 2025: Guest lecture: Evan Johnson 
-
-Mon Oct 20 2025: Operating Systems
+Mon Oct 13 2025: Operating Systems
   - *Reading*:
     - [Theseus: an Experiment in Operating System Structure and State Management](https://www.usenix.org/conference/osdi20/presentation/boos) by Kevin Boos et al.
 
-Wed Oct 22 2025: Operating Systems
+Wed Oct 15 2025: Operating Systems
   - *Reading*:
     - [Beyond isolation: OS verification as a foundation for correct applications](https://dl.acm.org/doi/10.1145/3593856.3595899) by Matthias Brun, et al.
 
-Mon Oct 27 2025: Operating Systems
+Mon Oct 20 2025: Operating Systems
   - *Reading*:
     - [Atmosphere: Towards Practical Verified Kernels in Rust](https://dl.acm.org/doi/10.1145/3625275.3625401) by Xiangdong Chen, et al.
 
-Wed Oct 29 2025: Virtual Machines
+Wed Oct 22 2025: Virtual Machines
   - *Reading*:
     - [Securing a Multiprocessor KVM Hypervisor with Rust](https://dl.acm.org/doi/10.1145/3698038.3698562) by Yu-Hsun Chiang, et al.
 
-Mon Nov 3 2025: Virtual Machines
+Mon Oct 27 2025: Virtual Machines
  - *Reading*:
     - [Firecracker: Lightweight Virtualization for Serverless Applications](https://www.usenix.org/system/files/nsdi20-paper-agache.pdf) by Alexandru Agache et al.
 
-Wed Nov 5 2025: Confidential VMs
+Wed Oct 29 2025: Confidential VMs
   - *Reading*:
     - [VERISMO: A Verified Security Module for Confidential VMs](https://www.usenix.org/system/files/osdi24-zhou.pdf) by Ziqiao Zhou et al.
 
-Mon Nov 10 2025: The Cloud
+Mon Nov 3 2025: The Cloud
  - *Reading*:
     - [Systems Correctness Practices at Amazon Web Services](https://dl.acm.org/doi/10.1145/3729175) by Marc Brooker and Ankush Desai
 
+Wed Nov 5 2025: TBA
+
+Mon Nov 10 2025: TBA
+
 Wed Nov 12 2025: TBA
 
 Mon Nov 17 2025: Guest Lecture