Follow
Luca Piccolboni
Luca Piccolboni
Verified email at columbia.edu
Title
Cited by
Cited by
Year
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
412020
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
402017
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
242017
CRYLOGGER: Detecting Crypto Misuses Dynamically
L Piccolboni, G Di Guglielmo, LP Carloni, S Sethumadhavan
IEEE Symposium on Security and Privacy (S&P), 2021
162021
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
152018
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
152017
Simplified stimuli generation for scenario and assertion based verification
L Piccolboni, G Pravadelli
2014 15th Latin American Test Workshop-LATW, 1-6, 2014
122014
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
82019
A parallelizable approach for mining likely invariants
A Danese, L Piccolboni, G Pravadelli
2015 International Conference on Hardware/Software Codesign and System …, 2015
42015
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
32021
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
32019
Accelerators & Security: The Socket Approach
L Piccolboni, D Giri, LP Carloni
IEEE Computer Architecture Letters, 2022
12022
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
12021
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
12021
Securing Accelerators with Dynamic Information Flow Tracking
L Piccolboni, G Di Guglielmo, L Carloni
https://arxiv.org/abs/1903.06801, 2019
12019
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
12015
Multi-Functional Interfaces for Accelerators
L Piccolboni
Columbia University, 2022
2022
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
2020
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–20