OPIUM: Optimal Package Install/Uninstall Manager. - Chris Tucker; David Shuffelton; Ranjit Jhala; Sorin Lerner (ICSE, 2007)

Deep typechecking and refactoring. - Zachary Tatlock; Chris Tucker; David Shuffelton; Ranjit Jhala; Sorin Lerner (OOPSLA, 2008)