Dr Scott Buckley
Casual Academic

Dr Scott Buckley

Computer Science and Engineering

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.

  • 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