Anthony Sloane

Associate Professor

  • 1368 Citations
  • 8 h-Index
19922017

Research output per year

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. 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 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.

See the Programming Languages and Verification Research Group page for detail on all research projects and other group activities.

 

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 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.

  • 11 Similar Profiles

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

Projects

Research Outputs

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 proceedingConference proceeding contribution

  • 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 contribution

    1 Citation (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 proceedingConference proceeding contribution

  • 7 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 journalArticle

  • 5 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 proceedingConference proceeding contribution