Reasoning about inherent parallelism in modern object-oriented languages. - Wayne Reid; Wayne Kelly; Andrew Craik (ACSC, 2008)

Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs. - Andrew Craik; Wayne Kelly (CC, 2010)

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)

Compiler-driven performance. - Karim Ali 001; Andrew Craik; Bardia Mahjour; Gregor Richards (CASCON, 2017)

The best of IBM innovation: advancements through overcoming technological uncertainties. - Jerrold Landau; Perry Fuller; Shawn Robertson; Babneet Singh; John Matta; Nick Schofield; Andrew Craik; Igor Todorovski (CASCON, 2018)

Hotfixing misuses of crypto APIs in Java programs. - Kristen Newbury; Karim Ali 001; Andrew Craik (CASCON, 2021)

U can't inline this! - Erick Ochoa; Cijie Xia; Karim Ali 001; Andrew Craik; José Nelson Amaral (CASCON, 2021)