Publications

Koul, K., Melchert, J., Sreedhar, K., Truong , L., Nyengele , G., Zhang , K., Liu , Q., Setter , J., Chen , P.-H., Mei , Y., Strange , M., Daly , R., Donovick , C., Carsello , A., Kong, T., Feng, K., Huff, D., Nayak, A., Setaluri , R., Thomas , J., Bhagdikar , N., Durst , D., Myers , Z., Tsiskaridze , N., Richardson , S., Bahr , R., Fatahalian , K., Hanrahan , P., Barrett, C., Horowitz, M., Torng , C., Kjolstad , F., & Raina , P. (2023). AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers. ACM Transactions on Embedded Computing Systems, 22(2). https://doi.org/10.1145/3534933
Kong, T., Koul, K., Raina, P., Horowitz, M., & Torng, C. (2023). Hardware Abstractions and Hardware Mechanisms to Support Multi-Task Execution on Coarse-Grained Reconfigurable Arrays. arXiv. https://doi.org/10.48550/arXiv.2301.00861
Sreedhar, K., Clemons, J., Venkatesan, R., Keckler, S., & Horowitz, M. (2022). Enabling and Accelerating Dynamic Vision Transformer Inference for Real-Time Applications. arXiv. https://doi.org/10.48550/arXiv.2212.02687
Melchert, J., Zhang, K., Mei, Y., Horowitz, M., Torng, C., & Raina, P. (2022). Canal: A Flexible Interconnect Generator for Coarse-Grained Reconfigurable Arrays. arXiv. https://doi.org/10.48550/arXiv.2211.17207
Liu, Q., Setter, J., Huff, D., Strange, M., Feng, K., Horowitz, M., Raina, P., & Kjolstad, F. (2022). Unified Buffer: Compiling Image Processing and Machine Learning Applications to Push-Memory Accelerators. ACM Transactions on Architecture and Code Optimization (TACO). https://doi.org/10.1145/3572908
Melchert, J., Mei, Y., Koul, K., Liu, Q., Horowitz, M., & Raina, P. (2022). Cascade: An Application Pipelining Toolkit for Coarse-Grained Reconfigurable Arrays. arXiv. https://doi.org/10.48550/arXiv.2211.13182
Hsu, O., Strange, M., Won, J., Sharma, R., Olukotun, K., Emer, J., Horowitz, M., & Kjolstad, F. (2022). The Sparse Abstract Machine. arXiv. https://doi.org/10.48550/arXiv.2208.14610
Nayak, A., Zhang, K., Setaluri, R., Carsello, A., Mann, M., Torng, C., Richardson, S., Bahr, R., Hanrahan, P., Horowitz, M., & Raina, P. (2022). Improving Energy Efficiency of CGRAs with Low-Overhead Fine-Grained Power Domains . ACM Transactions on Reconfigurable Technology and Systems. https://doi.org/10.1145/3558394
Feng, K., Carsello, A., Kong, T., Koul, K., Liu, Q., Melchert, J., Nyengele, G., Strange, M., Zhang, K., Nayak, A., Setter, J., Thomas, J., Sreedhar, K., Chen, P.-H., Bhagdikar, N., Myers, Z., D’Agostino, B., Joshi, P., Richardson, S., Bahr, R., Torng, C., Horowitz, M., & Raina, P. (2022). Amber: Coarse-Grained Reconfigurable Array-Based SoC for Dense Linear Algebra Acceleration. 2022 IEEE Hot Chips 34 Symposium (HCS). https://doi.ieeecomputersociety.org/10.1109/HCS55958.2022.9895616
Carsello, A., Thomas, J., Nayak, A., Chen, P.-H., Horowitz, M., Raina, P., & Torng, C. (2022). mflowgen: a modular flow generator and ecosystem for community-driven physical design. DAC ’22: Proceedings of the 59th ACM/IEEE Design Automation Conference, 1339-1342. https://doi.org/10.1145/3489517.3530633
Carsello, A., Feng, K., Kong, T., Koul, K., Liu, Q., Melchert, J., Nyengele, G., Strange, M., Zhang, K., Nayak, A., Setter, J., Thomas, J., Sreedhar, K., Chen, P.-H., Bhagdikar, N., Myers, Z., D’Agostino, B., Joshi, P., Richardson, S., Bahr, R., Torng, C., Horowitz, M., & Raina, P. (2022). Amber: A 367 GOPS, 538 GOPS/W 16nm SoC with a Coarse-Grained Reconfigurable Array for Flexible Acceleration of Dense Linear Algebra. 2022 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), 70-71. https://doi.org/10.1109/VLSITechnologyandCir46769.2022.9830509
Barbosa, H., Barrett, C., Brain, M., Kremer, G., Lachnitt, H., Mann, M., Mohamed, A., Mohamed, M., Niemetz, A., Nötzli, A., Ozdemir, A., Preiner, M., Reynolds, A., Sheng, Y., Tinelli, C., & Zohar, Y. (2022). cvc5: A Versatile and Industrial-Strength SMT Solver. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), pp. 415-442. Springer, Cham. https://doi.org/10.1007/978-3-030-99524-9_24
Zhang, K., Asgar, Z., & Horowitz, M. (2022). Bringing Source-Level Debugging Frameworks to Hardware Generators. arXiv. https://doi.org/https://doi.org/10.48550/arXiv.2203.05742
Sreedhar, K., Horowitz, M., & Torng, C. (2022). A Fast Large-Integer Extended GCD Algorithm and Hardware Design for Verifiable Delay Functions and Modular Inversion. Conference on Cryptographic Hardware and Embedded Systems (CHES 2022). https://eprint.iacr.org/2021/1292
Zohar, Y., Irfan, A., Mann, M., Niemetz, A., Noetzli, A., Preiner, M., Reynolds, A., Barrett, C., & Tinelli, C. (2022). Bit-Precise Reasoning via Int-Blasting. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022), pp. 496-518. Springer, Cham. https://doi.org/10.1007/978-3-030-94583-1_24
Tsiskaridze, N., Strange, M., Mann, M., Sreedhar, K., Liu, Q., Horowitz, M., & Barrett, C. (2021). Automating System Configuration. 2021 Formal Methods in Computer Aided Design (FMCAD 2021). https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_19
Carsello, A., Thomas, J., Nayak, A., Chen, P.-H., Horowitz, M., Raina, P., & Torng, C. (2021). Enabling Reusable Physical Design Flows with Modular Flow Generators. arXiv. https://doi.org/10.48550/arXiv.2111.14535
Stanley, D., Wang, C., Kim, S.- jin, Herbst, S., Kim, J., & Horowitz, M. (2021). Fast Validation of Mixed-Signal SoCs. IEEE Open Journal of the Solid-State Circuits Society. https://doi.org/10.1109/OJSSCS.2021.3122397
Herbst, S., Rutsch, G., Ecker, W., & Horowitz, M. (2021). An Open-Source Framework for FPGA Emulation of Analog/Mixed-Signal Integrated Circuit Designs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. https://doi.org/10.1109/TCAD.2021.3102516
Mann, M., Irfan, A., Lonsing, F., Yang, Y., Zhang, H., Brown, K., Gupta, A., & Barrett, C. (2021). Pono: a flexible and extensible SMT-based model checker. International Conference on Computer Aided Verification (CAV 2021), pp. 461-474. Springer, Cham, 2021. https://doi.org/10.1007/978-3-030-81688-9_22