By Dr Scott Buckley

Journal articles

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

Conference Papers

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

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

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

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

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

Back to profile page