Anthony M. Sloane

    

I am currrently a Principal Software Engineer at Oracle working on static analysis tooling for security.

I researched programming languages and software language engineering for more than twenty years. I 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 investigated pure, functional language design based on fine-grained object capabilities. My work on the Skink Software Verification Tool with Franck Cassez focused 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.

Notable Service and Memberships

• Editorial board member of Software-Practice & Experience Journal
• Member of Steering Committee of International Conference on Software Language Engineering (SLE), PC member SLE 2021, SLE 2018, Co-PC Chair SLE 2011,
• Member of IFIP TC-2 Working Group 2.11 on Program Generation (2009-2023)
• Program Committee member for SCAM 2020, IFL 2019, GPCE 2018
• Reviewer for ECOOP 2019, Computer Languages, Systems and Structures, Journal of Functional Programming

Qualifications

• Received a B.Sc.(Honours)(1984) in Computer Science from the Australian National University and a M.S.(1991) and Ph.D.(1993) in Computer Science from the University of Colorado, Boulder.

Awards

• Excellence in Education Award, Macquarie University, 2007
• Outstanding Teacher Award, Macquarie University, 2004

Employment

• Principal Software Engineer in Security Tools at Oracle (Jun 2023-present).
• Senior Software Engineer at Symbiont in the Language Team working on the SymPL smart contract language (Jul 2021-Dec 2022).
• Honorary Associate Professor in the Department of Computing in the Faculty of Science and Engineering at Macquarie University (Nov 2020-present). Associate Professor until Nov 2020.
• Head of the Department of Computing at Macquarie University (2005-2007) and Director of Teaching (2001-2004, 2016-2018).
• Prior to joining Macquarie University in February 1998, lecturer in the Department of Computer Science at James Cook University.

Visiting Positions

• Visiting Professor, University of Minnesota (Jul 2015-Jan 2016)
• Visiting Professor, Eindhoven University of Technology (Jan-Jun 2012)
• Visiting Professor, Delft University of Technology (Feb-Dec 2008)
• Visiting Research Fellow, The University of New South Wales (Feb-Jul 2005)
• Visiting Professor, Yale University (Jan-Jun 2001)