The Total Optimisation using Answer Set Technology (TOAST) project aims to:
- create a practical, multi-platform toolchain that applies superoptimisation techniques to machine instruction programs
- develop knowledge, experience and tools for applying answer set programming (ASP) to large-scale, real-world problems
It started in the summer of 2004 and involves the following people:
- Martin Brain, Tom Crick, Marina De Vos and John Fitch. TOAST: Applying Answer Set Programming to Superoptimisation. In Sandro Etalle and Miroslaw Truszczynski, editors, Logic Programming, volume 4079 of LNCS, pages 270--284. Springer Verlag, 2006. (October 2006)
- Martin Brain, Tom Crick, Marina De Vos and John Fitch. An Application of Answer Set Programming: Superoptimisation - A Preliminary Report. In Proceedings of the 11th Workshop on Nonmonotonic Reasoning (NMR'06), pages 258--266. IFI Technical Report Series (IFI-06-4), 2006. (May 2006)
- Martin Brain, Tom Crick, Marina De Vos and John Fitch. An Application of Answer Set Programming: Superoptimisation (A Preliminary Report). University of Bath, Technical Report CSBU-2006-05. ISSN: 1740-9497. (April 2006).
We are very close to releasing TOAST v1. Full source code and documentation will be available to download here shortly.
H. Massalin. Superoptimizer: A Look at the Smallest Program. In Proceedings of the 2nd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'87), pages 122-126, IEEE Computer Society Press, 1987.