CAMP: A Common API for Measuring Performance. - Mark Gabel; Michael Haungs (LISA, 2007)

Scalable detection of semantic clones. - Mark Gabel; Lingxiao Jiang; Zhendong Su 001 (ICSE, 2008)

Symbolic mining of temporal specifications. - Mark Gabel; Zhendong Su 001 (ICSE, 2008)

Javert: fully automatic mining of general temporal properties from dynamic traces. - Mark Gabel; Zhendong Su 001 (SIGSOFT FSE, 2008)

Online inference and enforcement of temporal properties. - Mark Gabel; Zhendong Su 001 (ICSE (1), 2010)

Scalable and systematic detection of buggy inconsistencies in source code. - Mark Gabel; Junfeng Yang; Yuan Yu; Moisés Goldszmidt; Zhendong Su 001 (OOPSLA, 2010)

A study of the uniqueness of source code. - Mark Gabel; Zhendong Su 001 (SIGSOFT FSE, 2010)

Testing mined specifications. - Mark Gabel; Zhendong Su 001 (SIGSOFT FSE, 2012)

On the naturalness of software. - Abram Hindle; Earl T. Barr; Mark Gabel; Zhendong Su 001; Premkumar T. Devanbu (Commun. ACM, 2016)