University of Washington Programming Languages and Software Engineering (research group).
I'm not at UW any more, I'm now at Utah, but some of the Herbie team is at UW and they provide the infrastructure