Calendar

Posts organized

by date.

December 2020

Mon Tue Wed Thu Fri Sat Sun

1 Region-Based Memory Management: Tofte & Talpin's Region Inference, the ML Kit, Safety Proofs, and the Relationship to Rust's Lifetimes

2

3 The Design Of A Modern Hypervisor: Virtual Memory Translation, Cpu Virtualization, And I/O Passthrough

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23 Implementing A Virtual Machine For A Stack Based Language: Bytecode Interpreter And Jit Compilation

24

25

26

27

28 The Complexity Of Scheduling Dags With Minimum Makespan And Dependencies: List Scheduling Vs. Critical Path

29

30

31