| Monto: A disintegrated development environment AM Sloane, M Roberts, S Buckley, S Muscat Software Language Engineering: 7th International Conference, SLE 2014 …, 2014 | 10 | 2014 |
| The sbt-rats parser generator plugin for Scala (tool paper) AM Sloane, F Cassez, S Buckley Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala, 110-113, 2016 | 8 | 2016 |
| Formalising the prevention of microarchitectural timing channels by operating systems R Sison, S Buckley, T Murray, G Klein, G Heiser International Symposium on Formal Methods, 103-121, 2023 | 7 | 2023 |
| Proving the Absence of Microarchitectural Timing Channels S Buckley, R Sison, N Wistoff, C Millar, T Murray, G Klein, G Heiser arXiv preprint arXiv:2310.17046, 2023 | 1 | 2023 |
| A formalisation of parameterised reference attribute grammars SJH Buckley, AM Sloane Proceedings of the 10th ACM SIGPLAN International Conference on Software …, 2017 | 1 | 2017 |
| Specifying CSS layout with reference attribute grammars S Buckley, A Sloane, M Roberts Companion Proceedings of the 2016 ACM SIGPLAN International Conference on …, 2016 | 1 | 2016 |
| Foundational Semantics of Dynamically Scheduled Attribute Grammar Evaluation S Buckley Macquarie University, 2021 | | 2021 |
| Attribute grammars: an executable specification for CSS layout S Buckley Macquarie University, 2015 | | 2015 |
Anthony SloaneHonorary Associate Professor, Macquarie UniversityVerified email at mq.edu.au