Automated Provenance Analytics: A Regular Grammar Based Approach with Applications in Security. - Mark Lemay; Wajih Ul Hassan; Thomas Moyer; Nabil Schear; Warren Smith (TaPP, 2017)

Towards Scalable Cluster Auditing through Grammatical Inference over Provenance Graphs. - Wajih Ul Hassan; Mark Lemay; Nuraini Aguse; Adam Bates 001; Thomas Moyer (NDSS, 2018)

A dependently typed programming language with dynamic equality - Mark Lemay (2022)

A Dependently Typed Language with Dynamic Equality. - Mark Lemay; Qiancheng Fu; William Blair; Cheng Zhang; Hongwei Xi (TyDe@ICFP, 2023)