Scott Buckley

Postdoctoral Fellow

Scott has a PhD in Formal Methods and Programming Languages from Macquarie University, and is currently a Postdoctoral Fellow, working on formalising and proving Time Protection for the seL4 microkernel.

publications

Conference Papers
add
Buckley SJH; Sloane AM, 2017, 'A Formalisation of Parameterised Reference Attribute Grammars', in Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, Association for Computing Machinery, New York, NY, USA, pp. 139–150 - 139–150, http://dx.doi.org/10.1145/3136014.3136024
2017
Buckley S; Sloane A; Roberts M, 2016, 'Specifying CSS Layout with Reference Attribute Grammars', in Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, Association for Computing Machinery, New York, NY, USA, pp. 29–30 - 29–30, http://dx.doi.org/10.1145/2984043.2989216
2016
Sloane AM; Cassez F; Buckley S, 2016, 'The Sbt-Rats Parser Generator Plugin for Scala (Tool Paper)', in Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, Association for Computing Machinery, New York, NY, USA, pp. 110–113 - 110–113, http://dx.doi.org/10.1145/2998392.3001580
2016
Sloane AM; Roberts M; Buckley S; Muscat S, 2014, 'Monto: A Disintegrated Development Environment', in Combemale B; Pearce DJ; Barais O; Vinju JJ (eds.), Software Language Engineering, Springer International Publishing, Cham, pp. 211 - 220
2014
Journal articles
add
Buckley S; others , 2015, 'Attribute grammars: an executable specification for CSS layout',
2015