inkytonik.github.io

Anthony M. Sloane

I have been researching programming languages and software language engineering for more than twenty years. I have 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.

I’m 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. I’m the lead of the Cooma project funded by Oracle Labs Australia that is investigating pure, functional language design based on fine-grained object capabilities. My 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 for LLVM with applications to correctness and security.

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

Projects

Talks

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