Luca Piccolboni

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 23

Top Topics

Information Flow

Functional Decomposition

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Maico Cassel dos Santos, Tianyu Jia, Joseph Zuckerman, Martin Cochet, Davide Giri, Erik Jens Loscalzo, Karthik Swaminathan, Thierry Tambe, Jeff Jun Zhang, Alper Buyuktosunoglu, Kuan-Lin Chiu, Giuseppe Di Guglielmo, Paolo Mantovani, Luca Piccolboni, Gabriele Tombesi, David Trilla, John-David Wellman, En-Yu Yang, Aporva Amarnath, Ying Jing, Bakshree Mishra, Joshua Park, Vignesh Suresh, Sarita V. Adve, Pradip Bose, David Brooks, Luca P. Carloni, Kenneth L. Shepard, Gu-Yeon Wei
14.5 A 12nm Linux-SMP-Capable RISC-V SoC with 14 Accelerator Types, Distributed Hardware Power Management and Flexible NoC-Based Data Orchestration. ISSCC (2024)
Kuan-Lin Chiu, Davide Giri, Luca Piccolboni, Luca P. Carloni
An Analysis of Accelerator Data-Transfer Modes in NoC-Based SoC Architectures. HPEC (2023)
Luca Piccolboni, Davide Giri, Luca P. Carloni
Accelerators & Security: The Socket Approach. IEEE Comput. Archit. Lett. 21 (2) (2022)
Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. FMCAD (2021)
Guy Eichler, Luca Piccolboni, Davide Giri, Luca P. Carloni
MasterMind: Many-Accelerator SoC Architecture for Real-Time Brain-Computer Interfaces. ICCD (2021)
Luca Piccolboni, Giuseppe Di Guglielmo, Simha Sethumadhavan, Luca P. Carloni
HARDROID: Transparent Integration of Crypto Accelerators in Android. HPEC (2021)
Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni, Simha Sethumadhavan
CRYLOGGER: Detecting Crypto Misuses Dynamically. IEEE Symposium on Security and Privacy (2021)
Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. CoRR (2021)
Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures. IEEE Trans. Computers 69 (4) (2020)
Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni, Simha Sethumadhavan
CRYLOGGER: Detecting Crypto Misuses Dynamically. CoRR (2020)
Paolo Mantovani, Davide Giri, Giuseppe Di Guglielmo, Luca Piccolboni, Joseph Zuckerman, Emilio G. Cota, Michele Petracca, Christian Pilato, Luca P. Carloni
Agile SoC Development with Open ESP. CoRR (2020)
Paolo Mantovani, Davide Giri, Giuseppe Di Guglielmo, Luca Piccolboni, Joseph Zuckerman, Emilio G. Cota, Michele Petracca, Christian Pilato, Luca P. Carloni
Agile SoC Development with Open ESP : Invited Paper. ICCAD (2020)
Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design. FMCAD (2019)
Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
Securing Accelerators with Dynamic Information Flow Tracking. CoRR (2019)
Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators. CoRR (2019)
Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators. CoRR (2019)
Luca P. Carloni, Emilio G. Cota, Giuseppe Di Guglielmo, Davide Giri, Jihye Kwon, Paolo Mantovani, Luca Piccolboni, Michele Petracca
Teaching Heterogeneous Computing with System-Level Design Methods. WCAE@ISCA (2019)
Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Enrico Fraccaroli, Luca Piccolboni, Franco Fummi
A homogeneous framework for AMS languages instrumentation, abstraction and simulation. ETS (2017)
Luca Piccolboni, Alessandro Menon, Graziano Pravadelli
Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
Broadening the exploration of the accelerator design space in embedded scalable platforms. HPEC (2017)
Luca Piccolboni, Graziano Pravadelli
Stimuli generation through invariant mining for black-box verification. VLSI-SoC (2016)
Nicola Bombieri, Federico Busato, Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
Exploiting GPU architectures for dynamic invariant mining. ICCD (2015)
Alessandro Danese, Luca Piccolboni, Graziano Pravadelli
A parallelizable approach for mining likely invariants. CODES+ISSS (2015)
Luca Piccolboni, Graziano Pravadelli
Simplified stimuli generation for scenario and assertion based verification. LATW (2014)