| 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 | 66 | 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 | 48 | 2017 |
| 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 | 27 | 2017 |
| CRYLOGGER: Detecting Crypto Misuses Dynamically L Piccolboni, G Di Guglielmo, LP Carloni, S Sethumadhavan IEEE Symposium on Security and Privacy (S&P), 2021 | 20 | 2021 |
| 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 | 17 | 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 | 15 | 2018 |
| 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 |
| 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 |
| 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 |
| 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 | 3 | 2021 |
| 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 | 3 | 2019 |
| 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 |
| Accelerators & Security: The Socket Approach L Piccolboni, D Giri, LP Carloni IEEE Computer Architecture Letters 21 (2), 65-68, 2022 | 1 | 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 | 1 | 2021 |
| 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 | 1 | 2021 |
| Securing Accelerators with Dynamic Information Flow Tracking L Piccolboni, G Di Guglielmo, L Carloni https://arxiv.org/abs/1903.06801, 2019 | 1 | 2019 |
| 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 | 1 | 2015 |
| Multi-Functional Interfaces for Accelerators L Piccolboni Columbia University, 2022 | | 2022 |
| A homogeneous framework for AMS languages instrumentation, abstraction and simulation E Fraccaroli, L Piccolboni, F Fummi 2017 22nd IEEE European Test Symposium (ETS), 1-2, 2017 | | 2017 |
| Stimuli generation through invariant mining for black-box verification L Piccolboni, G Pravadelli 2016 IFIP/IEEE International Conference on Very Large Scale Integration …, 2016 | | 2016 |
