Luca Piccolboni

Most-cited papers

COSMOS
Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, L. Carloni
2017ACM Transactions on Embedded Computing Systems231 citations Open access
Semantic Scholar
Agile SoC Development with Open ESP : Invited Paper
Paolo Mantovani, Davide Giri, Giuseppe Di Guglielmo, Luca Piccolboni +5 more
20202020 IEEE/ACM International Conference On Computer Aided Design (ICCAD)148 citations Open access
Semantic Scholar
CRYLOGGER: Detecting Crypto Misuses Dynamically
Luca Piccolboni, Giuseppe Di Guglielmo, L. Carloni, S. Sethumadhavan
2020IEEE Symposium on Security and Privacy55 citations Open access
Semantic Scholar
Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models
Luca Piccolboni, A. Menon, Graziano Pravadelli
2017ACM Transactions on Embedded Computing Systems31 citations
Semantic Scholar
Broadening the exploration of the accelerator design space in embedded scalable platforms
Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, L. Carloni
2017IEEE Conference on High Performance Extreme Computing19 citations
Semantic Scholar
14.5 A 12nm Linux-SMP-Capable RISC-V SoC with 14 Accelerator Types, Distributed Hardware Power Management and Flexible NoC-Based Data Orchestration
Maico Cassel dos Santos, Tian-Yu Jia, Joseph Zuckerman, Martin Cochet +25 more
2024IEEE International Solid-State Circuits Conference18 citations
Semantic Scholar
PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators
Luca Piccolboni, G. Di Guglielmo, L. Carloni
2018IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems18 citations Open access
Semantic Scholar
MasterMind: Many-Accelerator SoC Architecture for Real-Time Brain-Computer Interfaces
Guy Eichler, Luca Piccolboni, Davide Giri, L. Carloni
2021ICCD14 citations
Semantic Scholar
Simplified stimuli generation for scenario and assertion based verification
Luca Piccolboni, Graziano Pravadelli
2014Latin American Test Workshop - LATW11 citations
Semantic Scholar
KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design
Luca Piccolboni, Giuseppe Di Guglielmo, L. Carloni
2019Formal Methods in Computer-Aided Design8 citations
Semantic Scholar
Teaching Heterogeneous Computing with System-Level Design Methods
L. Carloni, E. Cota, Giuseppe Di Guglielmo, Davide Giri +4 more
2019WCAE@ISCA8 citations Open access
Semantic Scholar
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition
Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni +11 more
2021Formal Methods in Computer-Aided Design5 citations Open access
Semantic Scholar
Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures
N. Bombieri, F. Busato, Alessandro Danese, Luca Piccolboni +1 more
2020IEEE transactions on computers4 citations
Semantic Scholar
Accelerators & Security: The Socket Approach
Luca Piccolboni, Davide Giri, L. Carloni
2022IEEE computer architecture letters3 citations
Semantic Scholar
A parallelizable approach for mining likely invariants
Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
2015International Conference on Hardware/Software Codesign and System Synthesis3 citations
Semantic Scholar
An Analysis of Accelerator Data-Transfer Modes in NoC-Based SoC Architectures
Kuan-Lin Chiu, Davide Giri, Luca Piccolboni, Luca P. Carloni
2023IEEE Conference on High Performance Extreme Computing2 citations
Semantic Scholar
HARDROID: Transparent Integration of Crypto Accelerators in Android
Luca Piccolboni, Giuseppe Di Guglielmo, S. Sethumadhavan, L. Carloni
2021IEEE Conference on High Performance Extreme Computing2 citations
Semantic Scholar
Exploiting GPU architectures for dynamic invariant mining
N. Bombieri, F. Busato, Alessandro Danese, Luca Piccolboni +1 more
2015ICCD2 citations
Semantic Scholar
Multi-Functional Interfaces for Accelerators
Luca Piccolboni
20221 citations
Semantic Scholar
Stimuli generation through invariant mining for black-box verification
Luca Piccolboni, Graziano Pravadelli
2016IEEE/IFIP International Conference on Very Large Scale Integration of System-on-Chip1 citations
Semantic Scholar
EPOCHS-1: A 12 nm Highly Heterogeneous Open-Source SoC With Distributed Coin-Based Power Management and Integrated Hybrid Voltage Regulation
Joseph Zuckerman, Martin Cochet, Maico Cassel Dos Santos, Erik Jens Loscalzo +31 more
2026IEEE Journal of Solid-State Circuits0 citations
Semantic Scholar
Securing Accelerators with Dynamic Information Flow Tracking
Luca Piccolboni, Giuseppe Di Guglielmo, L. Carloni
2019arXiv.org0 citations
Semantic Scholar
A homogeneous framework for AMS languages instrumentation, abstraction and simulation
Enrico Fraccaroli, Luca Piccolboni, F. Fummi
2017IEEE European Test Symposium0 citations
Semantic Scholar
Session 14 Overview: Digital Techniques for System Adaptation, Power Management and Clocking DIGITAL CIRCUITS SUBCOMMITTEE
M. Cassel, Santos, Monodeep Kar, J. Silberman +73 more
0 citations
Semantic Scholar