Acknowledgments

Acknowledgments

Chord would not be possible without the following open-source software:

• Joeq, a Java compiler framework
• Javassist, a Java bytecode manipulation framework
• bddbddb, a BDD-based Datalog solver

Chord additionally relies on the following open-source tools and libraries:

• Ant-Contrib, a collection of useful Ant tasks
• BuDDy, a BDD library
• GNU Trove, a primitive collections library for Java
• Java2HTML and Java2Html, Java-to-HTML tools
• Saxon, an XSLT processor

Chord was supported in part by grants from the National Science Foundation, an equipment grant from Intel, and a Microsoft fellowship during 2005-2007.

Acknowledgments