CoSA: Integrated Verification for Agile Hardware Design
Cristian Mattarei, Makai Mann, Clark Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan
Evaluating Programmable Architectures for Imaging and Vision Applications
Artem Vasilyev, Nikhil Bhagdikar, Ardavan Pedram, Stephen Richardson, Shahar Kvatinsky, Mark Horowitz
Rigel: Fexible Multi-Rate Image Processing Hardware
James Hegarty, Ross Daly, Zachary DeVito, Jonathan Ragan-Kelley, Mark Horowitz, Pat Hanrahan
Darkroom: Compiling High-level Image Processing Code into Hardware Pipelines
James Hegarty, John Brunhaver, Zachary DeVito, Jonathan Ragan-Kelley, Noy Cohen, Steven Bell, Artem Vasilyev, Mark Horowitz, Pat Hanrahan
Simplex with Sum of Infeasibilities for SMT
Timothy King, Clark Barrett, Bruno Dutertre
Terra: A Multi-stage Language for High-performance Computing
Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek
FPU Generator for Design Space Exploration
Sameh Galal, Ofer Shacham, John Brunhaver, Jing Pu, Artem Vassiliev, Mark Horowitz
Decoupling Algorithms from Schedules for Easy Optimization of Image Processing Pipelines
Jonathan Ragan-Kelley, Andrew Adams, Sylvain Paris, Marc Levoy, Saman Amarasinghe, Fredo Durand
Satisfiability Modulo Theories
Clark Barrett, Roberto Sebatiani, Sanjit Seshia, Cesare Tinelli
