Back to
Dr Scott Buckley

Dr Scott Buckley

Casual Academic
Engineering
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.
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 , 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 | 2023
    Sison R; Buckley S; Murray T; Klein G; Heiser G, 2023, 'Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems', in Katoen JP; Chechik M; Leucker M (eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, Lübeck, Germany, pp. 103 - 121, presented at Formal Methods (FM 2023), Lübeck, Germany, 06 March 2023 - 10 March 2023, http://dx.doi.org/10.1007/978-3-031-27481-7_8
    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