Slide 1 Sketching high-performance implementations of bitstream programs. Armando Solar-Lezama, Rastislav Bodik UC Berkeley Slide 2 Bitstream programs bitstream programs:…