Daedalus: Safer Document Parsing – ACM on Programming Languages

The source code of the project is available here: https://github.com/GaloisInc/daedalus (haskell)