Agile SoC development with open ESP P Mantovani, D Giri, G Di Guglielmo, L Piccolboni, J Zuckerman, EG Cota, ... Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 115 | 2020 |
COSMOS: Coordination of high-level synthesis and memory optimization for hardware accelerators L Piccolboni, P Mantovani, G Di Guglielmo, LP Carloni ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-22, 2017 | 57 | 2017 |
CRYLOGGER: Detecting Crypto Misuses Dynamically L Piccolboni, G Di Guglielmo, LP Carloni, S Sethumadhavan IEEE Symposium on Security and Privacy (S&P), 2021 | 46 | 2021 |
Efficient control-flow subgraph matching for detecting hardware trojans in RTL models L Piccolboni, A Menon, G Pravadelli ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017 | 38 | 2017 |
PAGURUS: Low-overhead dynamic information flow tracking on loosely coupled accelerators L Piccolboni, G Di Guglielmo, LP Carloni IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 23 | 2018 |
Broadening the exploration of the accelerator design space in embedded scalable platforms L Piccolboni, P Mantovani, G Di Guglielmo, LP Carloni High Performance Extreme Computing Conference (HPEC), 2017 IEEE, 1-7, 2017 | 21 | 2017 |
Simplified stimuli generation for scenario and assertion based verification L Piccolboni, G Pravadelli 2014 15th Latin American Test Workshop-LATW, 1-6, 2014 | 12 | 2014 |
MasterMind: Many-accelerator SoC architecture for real-time brain-computer interfaces G Eichler, L Piccolboni, D Giri, LP Carloni 2021 IEEE 39th International Conference on Computer Design (ICCD), 101-108, 2021 | 11 | 2021 |
Teaching heterogeneous computing with system-level design methods LP Carloni, EG Cota, GD Guglielmo, D Giri, J Kwon, P Mantovani, ... Proceedings of the Workshop on Computer Architecture Education, 1-8, 2019 | 10 | 2019 |
Kairos: Incremental verification in high-level synthesis through latency-insensitive design L Piccolboni, G Di Guglielmo, LP Carloni 2019 Formal Methods in Computer Aided Design (FMCAD), 105-109, 2019 | 5 | 2019 |
Accelerators & security: The socket approach L Piccolboni, D Giri, LP Carloni IEEE Computer Architecture Letters 21 (2), 65-68, 2022 | 4 | 2022 |
HARDROID: Transparent Integration of Crypto Accelerators in Android L Piccolboni, G Di Guglielmo, S Sethumadhavan, LP Carloni High Performance Extreme Computing Conference (HPEC), 2021 IEEE, 1-8, 2021 | 4 | 2021 |
A parallelizable approach for mining likely invariants A Danese, L Piccolboni, G Pravadelli 2015 International Conference on Hardware/Software Codesign and System …, 2015 | 4 | 2015 |
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition S Chattopadhyay, F Lonsing, L Piccolboni, D Soni, P Wei, X Zhang, ... Formal Methods in Computer-Aided Design (FMCAD), 42-52, 2021 | 3 | 2021 |
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures N Bombieri, F Busato, A Danese, L Piccolboni, G Pravadelli IEEE Transactions on Computers, 2020 | 2 | 2020 |
Exploiting GPU architectures for dynamic invariant mining N Bombieri, F Busato, A Danese, L Piccolboni, G Pravadelli 2015 33rd IEEE International Conference on Computer Design (ICCD), 192-195, 2015 | 2 | 2015 |
A 12nm Linux-SMP-Capable RISC-V SoC with 14 Accelerator Types, Distributed Hardware Power Management, and Flexible NoC-Based Data Orchestration MC Dos Santos, T Jia, J Zuckerman, M Cochet, D Giri, E Loscalzo, ... IEEE International Solid-State Circuits Conference, 2024 | 1 | 2024 |
Multi-Functional Interfaces for Accelerators L Piccolboni Columbia University, 2022 | 1 | 2022 |
Securing Accelerators with Dynamic Information Flow Tracking L Piccolboni, G Di Guglielmo, L Carloni https://arxiv.org/abs/1903.06801, 2019 | 1 | 2019 |
14.5 A 12nm Linux-SMP-Capable RISC-V SoC with 14 Accelerator Types, Distributed Hardware Power Management and Flexible NoC-Based Data Orchestration MC Dos Santos, T Jia, J Zuckerman, M Cochet, D Giri, EJ Loscalzo, ... 2024 IEEE International Solid-State Circuits Conference (ISSCC) 67, 262-264, 2024 | | 2024 |