Acknowledgments

SMT-Exec is supported by the following funders:

• The U.S. National Science Foundation, under grant CNS-0551697. This grant has purchased the cluster on which the service runs, as well as provided partial support for staff at the organizers' institutions running the service.

SMT-Exec is run by:

• Morgan Deters: New York University
• Aaron Stump : Computer Science, The University of Iowa

The SMT-Exec benchmark execution infrastructure and web site are implemented and maintained by Morgan Deters.

SMT-Exec is hosted at The University of Iowa Computer Science department. IT support is provided by the Computer Support Group.

Last modified: Fri 13 Aug 2010 10:02 CDT