Sam Thomas

by Samuel Thomas, Rachit Nagim 2019-10-24

Very Long Instruction Word (VLIW) architectures allow execution of multiple instructions in the same cycle. Instead of executing a single instruction, the architecture executes a “bundle” of independe

by Rachit Nagim, Samuel Thomas 2019-09-25

Writing programs is famously hard. Writing program that generate programs (compilers) is harder still. Compiler verification usually comes in two flavors: (1) Proving a compiler is correct by construc