Anthony Sloane
Associate Professor
Department of Computing
Macquarie University
Australia
Biography
Anthony Sloane is a member of the Programming Languages and Verification Research Group in the Department of Computing at Macquarie University. His research interests are in software design and development, programming language design and implementation, language processing, and programming environments and tools. The main focus of his research at present is the Kiama project that is investigating language embedding using language processing in the Scala language as a major case study, and applications of software language engineering to the construction of robust program verificaiton tools.
Research Interest
Computing
Publications
-
Specifying CSS layout with reference attribute grammars Buckley, S., Sloane, A. M. & Roberts, M. 2016 SPLASH Companion 2016: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. Visser, E. (ed.). New York, NY: Association for Computing Machinery, p. 29-30 2 p.
-
Embedding attribute grammars and their extensions using functional zippers Martins, P., Fernandes, J. P., Saraiva, J., Van Wyk, E. & Sloane, A. 15 Dec 2016 In : Science of Computer Programming. 132, p. 2-28 27 p.
-
Skink: Static analysis of programs in LLVM intermediate representation Cassez, F., Sloane, A. M., Roberts, M., Pigram, M., Suvanpong, P. & de Aledo, P. G. 2017 Tools and algorithms for the construction and analysis of systems: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, proceedings, part II. Legay, A. & Margaria, T. (eds.). Berlin: Springer Verlag, p. 380-384 5 p. (Lecture notes in computer science; vol. 10206)
