Accelerating Inference: towards a full Language, Compiler and Hardware stack - Shawn Hershey; Jeffrey Bernstein; Bill Bradley; Andrew Schweitzer; Noah Stein; Theophane Weber; Benjamin Vigoda (CoRR, 2012)