Dr Scott Buckley

Back to

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.

E-mail

s.buckley@unsw.edu.au

Book Chapters | 2023

Sison R; Buckley S; Murray T; Klein G; Heiser G, 2023, 'Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems', in Formal Methods, Springer International Publishing, pp. 103 - 121, http://dx.doi.org/10.1007/978-3-031-27481-7_8
Journal articles | 2015

Buckley S; others , 2015, 'Attribute grammars: an executable specification for CSS layout',
Conference Papers | 2017

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

Conference Papers | 2016

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

Conference Papers | 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

Conference Papers | 2014

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