DYNAMO

Digital Systems and Design Automation

2023
  • Jiahui Xu and Lana Josipović. Automatic Inductive Invariant Generation for Scalable Dataflow Circuit Verification. In Proceedings of the Intl. Conference on Computer-Aided Design (ICCAD’23). To appear.
  • Hanyu Wang, Carmine Rizzi, and Lana Josipović. MapBuf: Simultaneous Technology Mapping and Buffer Insertion for HLS Performance Optimization. In Proceedings of the Intl. Conference on Computer-Aided Design (ICCAD’23). To appear.
  • Jiahui Xu and Lana Josipović. Automatic Inductive Invariant Generation for Scalable Dataflow Circuit Verification. In Proceedings of the Intl. Workshop on Logic Synthesis (IWLS’23). To appear.
  • Hanyu Wang, Carmine Rizzi, and Lana Josipović. MapBuf: Simultaneous Technology Mapping and Buffer Insertion for HLS Performance Optimization. In Proceedings of the Intl. Workshop on Logic Synthesis (IWLS’23). To appear.
  • Lana Josipović, Axel Marmet, Andrea Guerrieri, and Paolo Ienne. Resource sharing in dataflow circuits. ACM Transactions on Reconfigurable Technology and Systems (TRETS). To appear.
  • Jianyi Cheng, Lana Josipović, John Wickerson, and George A. Constantinides. Parallelising Control Flow in Dynamic-Scheduling High-Level Synthesis. ACM Transactions on Reconfigurable Technology and Systems (TRETS). To appear.
  • Carmine Rizzi, Andrea Guerrieri, and Lana Josipović. An Iterative Method for Mapping-Aware Frequency Regulation in Dataflow Circuits. In Proceedings of the 60th Design Automation Conference (DAC’23), San Francisco, CA, July 2023, to appear.
  • Jiahui Xu, Emmet Murphy, Jordi Cortadella, and Lana Josipović. Eliminating Excessive Dynamism of Dataflow Circuits Using Model Checking. In Proceedings of the 31st ACM/SIGDA Intl. Symposium on Field Programmable Gate Arrays (FPGA’23), pages 27–37, Monterey, CA, February 2023.
  • Ayatallah Elakhras, Riya Sawhney, Andrea Guerrieri, Lana Josipović, and Paolo Ienne. Straight to the Queue: Fast Load-Store Queue Allocation in Dataflow Circuits. In Proceedings of the 31st ACM/SIGDA Intl. Symposium on Field Programmable Gate Arrays (FPGA’23), pages 39–45, Monterey, CA, February 2023.
2022
2021
2020
2019
  • Lana Josipović, Atri Bhattacharyya, Andrea Guerrieri, and Paolo Ienne. Shrink it or shed it! Minimize the use of LSQs in dataflow designs. In Proceedings of the IEEE Intl. Conference on Field Programmable Technology (FPT’19), pages 197–205, Tianjin, China, December 2019.
  • Lana Josipović, Andrea Guerrieri, Paolo Ienne, and Jordi Cortadella. Performance optimization of dataflow circuits. In Proceedings of the Intl. Workshop on Logic Synthesis (IWLS’19), pages 146–53, Lausanne, June 2019.
  • Lana Josipović, Andrea Guerrieri, and Paolo Ienne. Speculative dataflow circuits. In Proceedings of the 27th ACM/SIGDA Intl. Symposium on Field Programmable Gate Arrays (FPGA’19), pages 162–71, Monterey, Calif., February 2019.
2018
  • Lana Josipović, Radhika Ghosal, and Paolo Ienne. Dynamically scheduled high-level synthesis. In Proceedings of the 26th ACM/SIGDA Intl. Symposium on Field Programmable Gate Arrays (FPGA’18), pages 127–36, Monterey, Calif., February 2018. Best Paper Award Nominee.
2017
  • Lana Josipović, Philip Brisk, and Paolo Ienne. From C to elastic circuits. In Proceedings of the 51st Annual Asilomar Conference on Signals, Systems, and Computers, pages 121–25, Pacific Grove, Calif., October 2017.
  • Lana Josipović, Philip Brisk, and Paolo Ienne. An out-of-order load-store queue for spatial computing. In Proceedings of the Intl. Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES’17), Seoul, Korea, October 2017. See ACM TECS paper below. Best Paper Award Nominee.
  • Lana Josipović, Philip Brisk, and Paolo Ienne. An out-of-order load-store queue for spatial computing. ACM Transactions on Embedded Computing Systems (TECS’17), 16(5s):125:1–125:19, September 2017.
  • Lana Josipović, Philip Brisk, and Paolo Ienne. An out-of-order load-store queue for spatial computing. In Proceedings of the 25th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM’17), page 134, Napa, Calif., April 2017.
2016