Posts

Nov 17, 2020
Quick sort on singly linked list
Oct 31, 2020
Temporal Logic
Oct 24, 2020
Binary Decision Diagram (BDD)
Jun 19, 2020
Conway's Game of Life
Apr 8, 2020
[Review] CT-wasm: type-driven secure cryptography for the web ecosystem
Apr 4, 2020
[Review] Securing the .NET programming model
Apr 1, 2020
[Review] The Correctness-Security Gap in Compiler Optimization
Mar 30, 2020
[Review] Typed closure conversion preserves observational equivalence
Mar 25, 2020
[Review] Lightweight verification of separate compilation
Mar 23, 2020
[Review] Compositional CompCert
Mar 15, 2020
[Review] Formal certification of a compiler back-end or: programming a compiler with a proof assistant
Mar 10, 2020
[Review] Bringing the web up to speed with WebAssembly
Mar 8, 2020
[Review] A dependently typed assembly language
Mar 4, 2020
[Review] Proof-carrying code
Mar 2, 2020
[Review] TIL: A Type-direct optimizing compiler for ML
Feb 26, 2020
[Review] From System F to Typed Assembly Language
Oct 14, 2019
Introduction to Lambda Calculus
Oct 11, 2019
Linear Regression in R
Jan 6, 2018
The Sieve of Erathothenes
Jan 6, 2018
Deployment of a Laravel and MySQL Web Application to EC2
May 1, 2017
CPSC 320 Final - Intermediate Algorithm Design and Analysis
Apr 16, 2017
Welcome to Jekyll!
Apr 15, 2017
About this blog