Matching statistics: efficient computation and a new practical algorithm for the multiple common substring problem.
Application invariants: Design by Contract augmented with deployment correctness logic.
STLlint: lifting static checking from languages to libraries.
Applying a framework for the improvement of software process maturity.