Scattered, small, and self-contained pieces of knowledge.
License: CC-BY-NC-ND.
Intro to (a Subset of) Concepts of Rust PL
RAII and smart pointers of Rust: slide, note.
RSA
RSA procedures and correctness proof: slide.
Frangipani
For knowledge sharing session about Frangipani: A Scalable Distributed File System: slide.
Distributed Consistency
Distributed consistency and a case study of Chubby: slide.
Generic Support of PLs
Design of generic support in programming languages: slide, codes.
Performance Optimizations Done by Compilers
A brief introduction of optimizations done by compilers: slide.