Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties. - Shirley Goldrei; Anthony M. Sloane (LDTA@ETAPS, 2004)

Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper. - Leonard G. C. Hamey; Shirley Goldrei (LDTA@ETAPS, 2007)

Quantifying Isolation Anomalies. - Alan D. Fekete; Shirley Goldrei; Jorge Perez Asenjo (Proc. VLDB Endow., 2009)