Anthony Sloane

Associate Professor

  • 1299 Citations
  • 8 h-Index
19922017
If you made any changes in Pure these will be visible here soon.

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 (https://bitbucket.org/inkytonik/kiama). 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) focuses on applying Kiama to build automatic tools for program verification with applications to correctness and security.

Research interests

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.

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

Recent Teaching

COMP115 Introduction to Computer Programming

COMP332 Programming Languages

COMP782 Advanced Topics in Theory and Practice of Software

Education/Academic qualification

Computer Science, Bachelor of Science (Honours), Australian National University

Computer Science, Doctor of Philosophy, University of Colorado Boulder

1 Aug 198831 Aug 1993

External positions

Visiting Professor, University of Minnesota

20 Jul 201519 Jan 2016

Visiting Professor, Eindhoven University of Technology

1 Jan 201230 Jun 2012

Visiting Professor, Delft University of Technology

1 Feb 200831 Dec 2008

Visiting Research Fellow, The University of New South Wales

1 Feb 200531 Jul 2005

Visiting Professor, Yale University

1 Jan 200130 Jun 2001

Lecturer, James Cook University

1 Jan 199431 Dec 1997

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 7 Similar Profiles
Computer programming languages Engineering & Materials Science
Attribute Grammars Mathematics
Specifications Engineering & Materials Science
Processing Engineering & Materials Science
Attribute Mathematics
Semantics Engineering & Materials Science
Software engineering Engineering & Materials Science
Specification languages Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2011 2016

Research Output 1992 2017

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. New York, NY: Association for Computing Machinery, Inc, p. 139-150 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

Semantics
Specifications

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. New York, NY: Association for Computing Machinery, Inc, p. 51-55 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearchpeer-review

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 proceedingConference proceeding contributionResearchpeer-review

Static analysis
Static Analysis
Program Analysis

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 journalArticleResearchpeer-review

Specification languages
Fasteners
Specifications
Processing

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.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionResearch

Specifications
Terminology