Slides

There are some slides I wrote.

Any suggestions are welcome.

License: CC-BY-NC-ND.

Intro to (a Subset of) Concepts of Rust PL

A slide about the RAII and smart pointers of Rust.

See: Slide, Note.

RSA

A slide about RSA procedures and correctness proof.

See: Slide.

Frangipani

A slide about Frangipani.

See: Slide.

Distributed Consistency

A slide about distributed consistency and a case study of Chubby.

See: Slide.

Generic Support of PLs

A slide about design of generic support in programming languages.

See: Slide, Code.

Performance Optimizations Done by Compilers

A brief introduction of optimizations done by compilers.

See: Slide.