1. 15-418 Project

    Our first checkpoint report is here Final Report is here…


  2. My new project

    I'm going to work on implementing c0 in a distributed context. The source language c0 will look very similar to c in its grammar but we will add extra distributed semantics. The parser and the typechecker will be written in SML and we hope we could compile this code to…


  3. Ways to reverse a list in Haskell

    Reversing a link list is never an out-dated topic while doing interview. Here I just want to summarize a few ways to reverse a link list by using Haskell, and show some of important logic of functional programming. Some remarks about Haskell's list type A list in Haskell can be…

    on Haskell

  4. Quine

    Intro to the problem of Quine According to the definition of Quine, it is a piece of is a non-empty computer program which takes no input and produces a copy of its own source code as its only output ("Wikipedia"). Another prospective to understand this problem is that if we…

    on Compiler

  5. Some thoughts about XcodeGhost, RoTT, and Quine

    Story background Recently in China, there is a trojan called XcodeGhost that infected many popular softwares in China. The trojan's spreading method is pretty unique: By a faulty Xcode compiler. The whole story is, due to the slow connection speed to the apple's mirror server for Xcode, there is always…

    on Compiler