I'm a Ph.D. candiate in Computer Science at UC Davis. I love working with bleeding-edge technologies, cool gadgets, and designing programming languages.
Recently, we have developed a technique to find bugs, especially silent miscompilation errors, in production compilers called Equivalence Modulo Inputs (EMI). It has led to uncovering of more than a hundred bugs in GCC and LLVM in just a few months. You can learn more about it in Compiler Validation via Equivalence Modulo Inputs.
Check out prorogued programming!