Skip to content Skip to navigation

Publications

2020

Using Halide’s Scheduling Language to Analyze DNN Accelerators

Xuan Yang, Mingyu Gao, Qiaoyi Liu, Jing Pu, Ankita Nayak, Jeff Setter, Steven Bell, Kaidi Cao, Heonjae Ha, Priyanka Raina, Christos Kozyrakis, Mark Horowitz
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
2020

A Framework for Adding Low-Overhead, Fine-Grained Power Domains to CGRAs

Ankita Nayak, Keyi Zhang, Raj Setaluri, Alex Carsello, Makai Mann, Stephen Richardson, Rick Bahr, Pat Hanrahan, Mark Horowitz, Priyanka Raina
Design, Automation and Test in Europe Conference (DATE)
2020

Fast FPGA Emulation of Analog Dynamics in Digitally-driven Systems

Steven Herbst, Byong Chan Lim, Mark Horowitz
ICCAD '18: Proceedings of the International Conference on Computer-Aided Design
2020
arXiv Link, DOI Link

2019

Creating An Agile Hardware Flow

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

Towards Bit-Width-Independent Proofs in SMT Solvers

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark Barrett, Cesare Tinelli
Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings, 2019.
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

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

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

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

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

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

Training Domain Specific Models for Energy-Efficient Object Detection

Kentaro Yoshioka, Edward Lee, Mark Horowitz
arXiv
2018
arXiv 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

Pages