Skip to content Skip to navigation

Publications

2019

Creating An Agile Hardware Flow

Contributors: Rick Bahr, Clark Barrett, Nikhil Bhagdikar, Alex Carsello, Nate Chizgi, Ross G Daly, Caleb Donovick, David Durst, Kayvon Fatahalian, Kathleen Feng, Pat Hanrahan, Teguh Hofstee, Mark Horowitz, Dillon Huff, Taeyoung Kong, Zheng Liang, Qiaoyi Liu, Makai Mann, Zachary Alexander Myers, Ankita Nayak, Aina Niemetz, Gedeon Nyengele, Priyanka Raina, Stephen Richardson, Raj Setaluri, Jeff Setter, Daniel Stanley, Maxwell Strange, Charles Tsao, James Thomas, Leonard Truong, Xuan Yang, Keyi Zhang

HotChips 2019
2019
Presentation

Future Technology: Domain Specific System on Chip (DSSoC)

Mark Horowitz
Electronics Resurgence Initiative (ERI) Summit
2019
Presentation

Invertibility Conditions for Floating-Point Formulas

Martin Brain, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli
Computer Aided Verification
2019
DOI Link

A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity

Lenny Truong, Pat Hanrahan
3rd Summit on Advances in Programming Languages (SNAPL 2019)
2019
DOI Link

Learning to Optimize Halide with Tree Search and Random Programs

Andrew Adams, Karima Ma, Luke Anderson, Riyadh Baghdadi, Tzu-Mao Li, Michaël Gharbi, Benoit Steiner, Steven Johnson, Kayvon Fatahalian, Frédo Durand, Jonathan Ragan-Kelley
ACM Transactions on Graphics (TOG)
2019
DOI Link

DRAT-based Bit-Vector Proofs in CVC4

Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark Barrett
Theory and Applications of Satisfiability Testing – SAT 2019
2019
DOI Link

Towards Bit-Width-Independent Proofs in SMT Solvers

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark Barrett, Cesare Tinelli
arXiv
2019
arXiv Link

Syntax-Guided Rewrite Rule Enumeration for SMT Solvers

Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Clark Barrett, Cesare Tinelli
Theory and Applications of Satisfiability Testing – SAT 2019
2019
DOI Link

TANGRAM: Optimized Coarse-Grained Dataflow for Scalable NN Accelerators

Mingyu Gao, Xuan Yang, Jing Pu, Mark Horowitz, Christos Kozyrakis
ASPLOS '19 Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems
2019
DOI Link

2018

Using Runtime Circuit Specialization to Accelerate Simulations of Reconfigurable Architectures

Dillon Huff, Pat Hanrahan
2018 International Conference on ReConFigurable Computing and FPGAs (ReConFig)
2018
DOI Link

Online Model Distillation for Efficient Video Inference

Ravi Teja Mullapudi, Steven Chen, Keyi Zhang, Deva Ramanan, Kayvon Fatahalian
arXiv
2018
arXiv Link

Training Domain Specific Models for Energy-Efficient Object Detection

Kentaro Yoshioka, Edward Lee, Mark Horowitz
arXiv
2018
arXiv Link

CoSA: Integrated Verification for Agile Hardware Design

Cristian Mattarei, Makai Mann, Clark Barrett, Ross G. Daly, Dillon Huff, Pat Hanrahan
2018 Formal Methods in Computer Aided Design (FMCAD)
2018
DOI Link

Invoking and Linking Generators from Multiple Hardware Languages using CoreIR

Ross Daly, Lenny Truong, Pat Hanrahan
Proceedings of the 1st Workshop on Open-Source EDA Technology
2018
WOSET Workshop Link

DNN Dataflow Choice Is Overrated

Xuan Yang, Mingyu Gao, Jing Pu, Ankita Nayak, Qiaoyi Liu, Steven Emberton Bell, Jeff Ou Setter, Kaidi Cao, Heonjae Ha, Christos Kozyrakis, Mark Horowitz
arXiv
2018
arXiv Link

Scanner: Efficient Video Analysis at Scale

Alex Poms, Will Crichton, Pat Hanrahan, Kayvon Fatahalian
ACM Transactions on Graphics (TOG)
2018
DOI Link

Solving Quantified Bit-Vectors Using Invertibility Conditions

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli
Computer Aided Verification
2018
DOI Link

Rewrites for SMT Solvers Using Syntax-Guided Enumeration

Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Andres Noetzli, Mathias Preiner, Clark Barrett, Cesare Tinelli
SMT Workshop
2018
Semantic Scholar Link

Compiling Algorithms for Heterogeneous Systems

Steven Bell, Jing Pu, James Hegarty, Mark Horowitz
Synthesis Lectures on Computer Architecture
2018
DOI Link

2017

Programming Heterogeneous Systems from an Image Processing DSL

Jing Pu, Steven Bell, Xuan Yang, Jeff Setter, Stephen Richardson, Jonathan Ragan-Kelley, Mark Horowitz
ACM Transactions on Architecture and Code Optimization (TACO)
2017
DOI Link

Pages