A Dynamic Programming Algorithm for De Novo Peptide Sequencing with Variable Scoring. - Matthew A. Goto; Eric J. Schwabe (ISBRA, 2008)

Types for relaxed memory models. - Matthew Goto; Radha Jagadeesan; Corin Pitcher; James Riely (TLDI, 2012)

An extensible approach to session polymorphism. - Matthew A. Goto; Radha Jagadeesan; Alan Jeffrey; Corin Pitcher; James Riely (Math. Struct. Comput. Sci., 2016)