mel- model extractor language for extracting facts from models. - Robert Hackman; Joanne M. Atlee; Alistair Finn Hackett; Michael W. Godfrey (MoDELS, 2020)

Compiling Distributed System Models with PGo. - A. Finn Hackett; Shayan Hosseini; Renato Costa; Matthew Do; Ivan Beschastnikh (ASPLOS (2), 2023)

Understanding Inconsistency in Azure Cosmos DB with TLA+. - A. Finn Hackett; Joshua Rowe; Markus Alexander Kuppe (ICSE-SEIP, 2023)

Listening to the Firehose: Sonifying Z3's Behavior. - A. Finn Hackett; Ivan Beschastnikh (NIER@ICSE, 2025)