Projects per year
Personal profile
Biography
Anthony Sloane has been researching programming languages and software language engineering for more than twenty years. He has made particular contributions to the design and implementation of small languages that bring domain expertise to bear on software challenges, including as a co-author of the main survey paper in the area that has over 1500 citations. He is the lead designer and developer of the Kiama language processing library for Scala that applies domain-specific techniques to the rapid development of language implementations. Kiama has been successfully applied in industrial settings by organisations including Zalando Inc. and NICTA (now Data61). His current work (with A/Prof. Franck Cassez) on the Skink project focuses on applying Kiama to build automatic tools for program verification with applications to correctness and security.
Research interests
Anthony Sloane was a member of the Programming Languages and Verification Research Group in the School of Computing at Macquarie University until November 2020.
His research interests were in software design and development, programming language design and implementation, language processing, and programming environments and tools. The main focus of his research was the Kiama project that investigated 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.
See his personal web page for details of projects, source code and publications.
Community Activities
Member of IFIP TC 2 Working Group on Program Generation (WG 2.11).
Member of Editorial Board of Software-Practice & Experience journal.
Founder and Chair of Steering Committee for Sydney Area Programming Languages INterest Group (SAPLING).
Steering Committee member for International Conference on Software Language Engineering (SLE).
Teaching
Teaching Awards
Excellence in Education Award, Macquarie University, 2007
Outstanding Teacher Award, Macquarie University, 2004
Selected Teaching
Education/Academic qualification
Computer Science, Bachelor of Science (Honours), Australian National University
Award Date: 1 Dec 1994
Computer Science, Doctor of Philosophy, Execution Monitoring for Reusable Software Components, University of Colorado Boulder
1 Aug 1988 → 31 Aug 1993
Award Date: 1 Apr 1994
External positions
Visiting Professor, University of Minnesota
20 Jul 2015 → 19 Jan 2016
Visiting Professor, Eindhoven University of Technology
1 Jan 2012 → 30 Jun 2012
Visiting Professor, Delft University of Technology
1 Feb 2008 → 31 Dec 2008
Visiting Research Fellow, The University of New South Wales
1 Feb 2005 → 31 Jul 2005
Visiting Professor, Yale University
1 Jan 2001 → 30 Jun 2001
Lecturer, James Cook University
1 Jan 1994 → 31 Dec 1997
Fingerprint
Dive into the research topics where Anthony Sloane is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Projects
- 4 Finished
-
OOA_Oracle: Cooma: Security properties via capabilities as implicit arguments
15/10/18 → 31/12/21
Project: Research
-
-
-
-
A formalisation of parameterised reference attribute grammars
Buckley, S. J. H. & Sloane, A. M., 23 Oct 2017, SLE 2017: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering. Combemale, B., Mernik, M. & Rumpe, B. (eds.). New York, NY: Association for Computing Machinery, Inc, p. 139-150 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
-
ScalaSMT: Satisfiability Modulo Theory in Scala (tool paper)
Cassez, F. & Sloane, A. M., 22 Oct 2017, SCALA 2017: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala. Miller, H., Haller, P. & Lhotak, O. (eds.). New York, NY: Association for Computing Machinery, Inc, p. 51-55 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
6 Citations (Scopus) -
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, Uppsala, Sweden, April 22–29, 2017. Proceedings, part II. Legay, A. & Margaria, T. (eds.). Berlin: Springer, Springer Nature, p. 380-384 5 p. (Lecture notes in computer science; vol. 10206).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
16 Citations (Scopus) -
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.Research output: Contribution to journal › Article › peer-review
9 Citations (Scopus) -
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 Systems, Programming, Languages and Applications: Software for Humanity. Visser, E. (ed.). New York, NY: Association for Computing Machinery, p. 29-30 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution