Monto: A Disintegrated Development Environment. - Anthony M. Sloane; Matthew Roberts; Scott Buckley; Shaun Muscat (SLE, 2014)

Specifying CSS layout with reference attribute grammars. - Scott Buckley; Anthony M. Sloane; Matthew Roberts (SPLASH (Companion Volume), 2016)

The sbt-rats parser generator plugin for Scala (tool paper). - Anthony M. Sloane; Franck Cassez; Scott Buckley (SCALA@SPLASH, 2016)

A formalisation of parameterised reference attribute grammars. - Scott J. H. Buckley; Anthony M. Sloane (SLE, 2017)

Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. - Robert Sison; Scott Buckley; Toby Murray; Gerwin Klein; Gernot Heiser (FM, 2023)

Proving the Absence of Microarchitectural Timing Channels. - Scott Buckley; Robert Sison; Nils Wistoff; Curtis Millar; Toby Murray; Gerwin Klein; Gernot Heiser (CoRR, 2023)