Skip to content Skip to navigation

Publications

2021

Automated Design Space Exploration of CGRA Processing Element Architectures using Frequent Subgraph Analysis

Jackson Melchert, Kathleen Feng, Caleb Donovick, Ross Daly, Clark Barrett, Mark Horowitz, Pat Hanrahan, Priyanka Raina
arXiv
2021
arXiv Link

Syntax-Guided Quantifier Instantiation

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference (TACAS 2021), 145–163. Nominated for the EATCS Best ETAPS Theory Paper Award.
2021
DOI Link

MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference (TACAS 2021), 303–325.
2021
DOI Link

On Solving Quantified Bit-Vector Constraints using Invertibility Conditions

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett, Cesare Tinelli
Formal Methods in System Design
2021
DOI Link

2020

20-GS/s 8b Analog-to-Digital Converter and 5-GHz Phase Interpolator for Open-Source Synthesizable High-Speed Link Applications

Sung-Jin Kim, Zachary Myers, Steven Herbst, Byong Chan Lim, Mark Horowitz
IEEE Solid-State Circuits Letters
2020
DOI Link

Boosting Mixed-signal Design Productivity with FPGA-based Methods Throughout the Chip Design Process

Gabriel Rutsch, Simone Fontanesi, Steven G. Herbst, Steven Tan Hee Yeng, Andrea Possemato, Gaetano Formato, Mark Horowitz, Wolfgang Ecker
DVCon Europe 2020
2020
Paper

Ternary Propagation-Based Local Search for More Bit-Precise Reasoning

Aina Niemetz, Mathias Preiner
Formal Methods in Computer Aided Design (FMCAD)
2020
DOI Link

fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components

Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark Barrett, Pat Hanrahan
CAV 2020: 32nd International Conference on Computer-Aided Verification July 2020
2020
arXiv Link, DOI Link

Creating an Agile Hardware Design Flow

Rick Bahr, Clark Barrett, Nikhil Bhagdikar, Alex Carsello, Ross Daly, Caleb Donovick, David Durst, Kayvon Fatahalian, Kathleen Feng, Pat Hanrahan, Teguh Hofstee, Mark Horowitz, Dillon Huff, Fredrik Kjolstad, Taeyoung Kong, Qiaoyi Liu, Makai Mann, Jackson Melchert, Ankita Nayak, Aina Niemetz, Gedeon Nyengele, Priyanka Raina, Stephen Richardson, Raj Setaluri, Jeff Setter, Kavya Sreedhar, Maxwell Strange, James Thomas, Christopher Torng, Leonard Truong, Nestan Tsiskaridze, Keyi Zhang
Design Automation Conference 2020
2020
Paper

Type-Directed Scheduling of Streaming Accelerators

David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Bernstein, Marco Patrignani, Kayvon Fatahalian, Pat Hanrahan
Proceedings of the 41st ACM SIGPLAN International Confer- ence on Programming Language Design and Implementation (PLDI ’20)
2020
DOI Link

Open-Source Synthesizable Analog Blocks for High-Speed Link Designs: 20-GS/s 5b ENOB Analog-to-Digital Converter and 5-GHz Phase Interpolator

Sung-Jin Kim, Zachary Myers, Steven Herbst, Byong Chan Lim, Mark Horowitz
VLSI 2020: Symposia on VLSI Technology and Circuits June 2020
2020
ArXiv Link, DOI Link

Interstellar: Using Halide's Scheduling Language to Analyze DNN Accelerators

Xuan Yang, Mingyu Gao, Qiaoyi Liu, Jeff Setter, Jing Pu, Ankita Nayak, Steven Bell, Kaidi Cao, Heonjae Ha, Priyanka Raina, Christos Kozyrakis, Mark Horowitz
ASPLOS '20: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems
2020
DOI Link

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
DOI Link

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

Pages