Anthony M. Sloane

Associate Professor in the Department of Computing in the Faculty of Science and Engineering at Macquarie University.

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: When and how to develop domain-specific languages in ACM Computing Surveys.

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 work on the Skink Software Verification Tool with Franck Cassez focuses on applying Kiama, sbt-rats, SMT solvers and related libraries to build an automatic program verifier with applications to correctness and security.

He is the lead of the Cooma project funded by Oracle Labs Australia is investigating pure, functional language design based on fine-grained object capabilities.

Previously, he was one of the designers and developers of the Eli compiler generation system which uses high-level domain-specific languages as specifications.

Projects

Publications

Buckley, S. J. H. and Sloane, A. M. 2017. A formalisation of parameterised reference attribute grammars. International Conference on Software Language Engineering. 139-150. PDF

Martins, P., Fernandes, J. P., Saraiva, J., Van Wyk, E., and Sloane, A. 2016. Embedding attribute grammars and their extensions using functional zippers. Science of Computer Programming. 132, 2-28. PDF

Roberts, M. and Sloane, A. 2014. Type inference for the spine view of data. Workshop on Generic programming. 25-34. PDF

Sloane, A. M., Roberts, M., Buckley, S., and Muscat, S. 2014. Monto: A Disintegrated Development Environment. International Conference on Software Language Engineering (SLE). 211-220. PDF

Hoang, T. S., McIver, A. K., Meinicke, L., Morgan, C. C., Sloane, A., and Susatyo, E. 2014. Abstractions of non-interference security: probabilistic versus possibilistic. Formal Aspects of Computing. 26, 1, 169-194. PDF

Mernik, M., Heering, J., and Sloane, A. M. 2005. When and how to develop domain-specific languages. ACM Computing Surveys. 37, 4, 316-344. PDF

Recent Teaching

Recent External Service

Awards

Visiting Positions

Biography

Contact