John WAWRZYNEK
University of California, Berkeley
H-index: 45
North America-United States
Top articles of John WAWRZYNEK
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Learned Formal Proof Strengthening for Efficient Hardware Verification | Minwoo Kang Azade Nova Eshan Singh Geetheeka Sharron Bathini Yuriy Viktorov | 2023/12/1 | |
SPADES: A Productive Design Flow for Versal Programmable Logic | Tan Nguyen Zachary Blair Stephen Neuendorffer John Wawrzynek | 2023/9/4 | |
Narrowing the Synthesis Gap: Academic FPGA Synthesis is Catching Up With the Industry | Benjamin LC Barzen Arya Reais-Parsi Eddie Hung Minwoo Kang Alan Mishchenko | 2023/4/17 | |
Learning a continuous and reconstructible latent space for hardware accelerator design | Qijing Huang Charles Hong John Wawrzynek Mahesh Subedar Yakun Sophia Shao | 2022 | |
Hao: Hardware-aware neural architecture optimization for efficient inference | Zhen Dong Yizhao Gao Qijing Huang John Wawrzynek Hayden KH So | 2021/5/9 | |
Codenet: Efficient deployment of input-adaptive object detection on embedded fpgas | Qijing Huang Dequan Wang Zhen Dong Yizhao Gao Yaohui Cai | 2021/2/17 | |
SAT-Based Mapping of Data-Flow Graphs onto Coarse-Grained Reconfigurable Arrays | VLSI-SoC: Design Trends: 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6–9, 2020, Revised and Extended Selected Papers | John Wawrzynek | 2021/7/14 |
Cosa: Scheduling by constrained optimization for spatial accelerators | Qijing Huang Minwoo Kang Grace Dinh Thomas Norell Aravind Kalaiah | 2021/6 | |
Protuner: tuning programs with monte carlo tree search | arXiv preprint arXiv:2005.13685 | Ameer Haj-Ali Hasan Genc Qijing Huang William Moses John Wawrzynek | 2020/5/27 |
Autophase: Juggling hls phase orderings in random forests with deep reinforcement learning | Proceedings of Machine Learning and Systems | Ameer Haj-Ali Qijing Jenny Huang John Xiang William Moses Krste Asanovic | 2020/3/15 |
