Static deep error checking in large system applications using parfait. - Cristina Cifuentes; Nathan Keynes; Lian Li; Nathan Hawes; Manuel Valdiviezo; Andrew Browne; Jacob Zimmermann; Andrew Craik; Douglas Teoh; Christian Hoermann (SIGSOFT FSE, 2011)

Transitioning Parfait into a Development Tool. - Cristina Cifuentes; Nathan Keynes; Lian Li; Nathan Hawes; Manuel Valdiviezo (IEEE Secur. Priv., 2012)

Frappé: Querying the Linux Kernel Dependency Graph. - Nathan Hawes; Ben Barham; Cristina Cifuentes (GRADES@SIGMOD/PODS, 2015)

CodeSurveyor: Mapping large-scale software to aid in code comprehension. - Nathan Hawes; Stuart Marshall; Craig Anslow (VISSOFT, 2015)