Luca Piccolboni
Title
Cited by
Cited by
Year
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
342017
Agile SoC development with open ESP
P Mantovani, D Giri, G Di Guglielmo, L Piccolboni, J Zuckerman, EG Cota, ...
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9, 2020
182020
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
132017
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
132017
Simplified stimuli generation for scenario and assertion based verification
L Piccolboni, G Pravadelli
2014 15th Latin American Test Workshop-LATW, 1-6, 2014
112014
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
92018
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
52019
CRYLOGGER: Detecting Crypto Misuses Dynamically
L Piccolboni, G Di Guglielmo, LP Carloni, S Sethumadhavan
IEEE Symposium on Security and Privacy (S&P), 2021
42021
A parallelizable approach for mining likely invariants
A Danese, L Piccolboni, G Pravadelli
2015 International Conference on Hardware/Software Codesign and System …, 2015
42015
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
22019
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
22015
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
12020
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition
S Chattopadhyay, F Lonsing, L Piccolboni, D Soni, P Wei, X Zhang, ...
arXiv preprint arXiv:2108.06081, 2021
2021
Securing Accelerators with Dynamic Information Flow Tracking
L Piccolboni, G Di Guglielmo, L Carloni
https://arxiv.org/abs/1903.06801, 2019
2019
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
The system can't perform the operation now. Try again later.
Articles 1–16