Publications
Main content start
- 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