Skip to content Skip to navigation

Publications

CoSA: Integrated Verification for Agile Hardware Design

Cristian Mattarei, Makai Mann, Clark Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan
2018

Evaluating Programmable Architectures for Imaging and Vision Applications

Artem Vasilyev, Nikhil Bhagdikar, Ardavan Pedram, Stephen Richardson, Shahar Kvatinsky, Mark Horowitz
2016

Rigel: Fexible Multi-Rate Image Processing Hardware

James Hegarty, Ross Daly, Zachary DeVito, Jonathan Ragan-Kelley, Mark Horowitz, Pat Hanrahan
2016

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
2014

Simplex with Sum of Infeasibilities for SMT

Timothy King, Clark Barrett, Bruno Dutertre
2013

Terra: A Multi-stage Language for High-performance Computing

Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek
2013

FPU Generator for Design Space Exploration

Sameh Galal, Ofer Shacham, John Brunhaver, Jing Pu, Artem Vassiliev, Mark Horowitz
2013

Decoupling Algorithms from Schedules for Easy Optimization of Image Processing Pipelines

Jonathan Ragan-Kelley, Andrew Adams, Sylvain Paris, Marc Levoy, Saman Amarasinghe, Fredo Durand
2012

Satisfiability Modulo Theories

Clark Barrett, Roberto Sebatiani, Sanjit Seshia, Cesare Tinelli
2009