Accelerators & Security: The Socket Approach
Piccolboni, Luca, Giri, Davide, Carloni, Luca P.
Published in IEEE computer architecture letters (01.07.2022)
Published in IEEE computer architecture letters (01.07.2022)
Get full text
Journal Article
Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures
Bombieri, Nicola, Busato, Federico, Danese, Alessandro, Piccolboni, Luca, Pravadelli, Graziano
Published in IEEE transactions on computers (01.04.2020)
Published in IEEE transactions on computers (01.04.2020)
Get full text
Journal Article
CRYLOGGER: Detecting Crypto Misuses Dynamically
Piccolboni, Luca, Guglielmo, Giuseppe Di, Carloni, Luca P., Sethumadhavan, Simha
Published in 2021 IEEE Symposium on Security and Privacy (SP) (01.05.2021)
Published in 2021 IEEE Symposium on Security and Privacy (SP) (01.05.2021)
Get full text
Conference Proceeding
MasterMind: Many-Accelerator SoC Architecture for Real-Time Brain-Computer Interfaces
Eichler, Guy, Piccolboni, Luca, Giri, Davide, Carloni, Luca P.
Published in 2021 IEEE 39th International Conference on Computer Design (ICCD) (01.10.2021)
Published in 2021 IEEE 39th International Conference on Computer Design (ICCD) (01.10.2021)
Get full text
Conference Proceeding
14.5 A 12nm Linux-SMP-Capable RISC-V SoC with 14 Accelerator Types, Distributed Hardware Power Management and Flexible NoC-Based Data Orchestration
Dos Santos, Maico Cassel, Jia, Tianyu, Zuckerman, Joseph, Cochet, Martin, Giri, Davide, Loscalzo, Erik Jens, Swaminathan, Karthik, Tambe, Thierry, Zhang, Jeff Jun, Buyuktosunoglu, Alper, Chiu, Kuan-Lin, Guglielmo, Giuseppe Di, Mantovani, Paolo, Piccolboni, Luca, Tombesi, Gabriele, Trilla, David, Wellman, John-David, Yang, En-Yu, Amarnath, Aporva, Jing, Ying, Mishra, Bakshree, Park, Joshua, Suresh, Vignesh, Adve, Sarita, Bose, Pradip, Brooks, David, Carloni, Luca P., Shepard, Kenneth L., Wei, Gu-Yeon
Published in 2024 IEEE International Solid-State Circuits Conference (ISSCC) (18.02.2024)
Published in 2024 IEEE International Solid-State Circuits Conference (ISSCC) (18.02.2024)
Get full text
Conference Proceeding
Agile SoC Development with Open ESP : Invited Paper
Mantovani, Paolo, Giri, Davide, Di Guglielmo, Giuseppe, Piccolboni, Luca, Zuckerman, Joseph, Cota, Emilio G., Petracca, Michele, Pilato, Christian, Carloni, Luca P.
Published in 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (02.11.2020)
Published in 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (02.11.2020)
Get full text
Conference Proceeding
Stimuli generation through invariant mining for black-box verification
Piccolboni, Luca, Pravadelli, Graziano
Published in 2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) (01.09.2016)
Published in 2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) (01.09.2016)
Get full text
Conference Proceeding
An Analysis of Accelerator Data-Transfer Modes in NoC-Based SoC Architectures
Chiu, Kuan-Lin, Giri, Davide, Piccolboni, Luca, Carloni, Luca P.
Published in 2023 IEEE High Performance Extreme Computing Conference (HPEC) (25.09.2023)
Published in 2023 IEEE High Performance Extreme Computing Conference (HPEC) (25.09.2023)
Get full text
Conference Proceeding
Simplified stimuli generation for scenario and assertion based verification
Piccolboni, Luca, Pravadelli, Graziano
Published in 2014 15th Latin American Test Workshop - LATW (01.03.2014)
Published in 2014 15th Latin American Test Workshop - LATW (01.03.2014)
Get full text
Conference Proceeding
HARDROID: Transparent Integration of Crypto Accelerators in Android
Piccolboni, Luca, Di Guglielmo, Giuseppe, Sethumadhavan, Simha, Carloni, Luca P.
Published in 2021 IEEE High Performance Extreme Computing Conference (HPEC) (20.09.2021)
Published in 2021 IEEE High Performance Extreme Computing Conference (HPEC) (20.09.2021)
Get full text
Conference Proceeding
A homogeneous framework for AMS languages instrumentation, abstraction and simulation
Fraccaroli, Enrico, Piccolboni, Luca, Fummi, Franco
Published in 2017 22nd IEEE European Test Symposium (ETS) (01.05.2017)
Published in 2017 22nd IEEE European Test Symposium (ETS) (01.05.2017)
Get full text
Conference Proceeding
CRYLOGGER: Detecting Crypto Misuses Dynamically
Piccolboni, Luca, Giuseppe Di Guglielmo, Carloni, Luca P, Sethumadhavan, Simha
Published in arXiv.org (02.07.2020)
Published in arXiv.org (02.07.2020)
Get full text
Paper
Journal Article
KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design
Piccolboni, Luca, Guglielmo, Giuseppe Di, Carloni, Luca P.
Published in 2019 Formal Methods in Computer Aided Design (FMCAD) (01.10.2019)
Published in 2019 Formal Methods in Computer Aided Design (FMCAD) (01.10.2019)
Get full text
Conference Proceeding
COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators
Piccolboni, Luca, Mantovani, Paolo, Giuseppe Di Guglielmo, Carloni, Luca P
Published in arXiv.org (18.12.2019)
Published in arXiv.org (18.12.2019)
Get full text
Paper
Journal Article
A parallelizable approach for mining likely invariants
Danese, Alessandro, Piccolboni, Luca, Pravadelli, Graziano
Published in 2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (01.10.2015)
Published in 2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (01.10.2015)
Get full text
Conference Proceeding
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition
Chattopadhyay, Saranyu, Lonsing, Florian, Piccolboni, Luca, Soni, Deepraj, Wei, Peng, Zhang, Xiaofan, Zhou, Yuan, Carloni, Luca, Chen, Deming, Cong, Jason, Karri, Ramesh, Zhang, Zhiru, Trippel, Caroline, Barrett, Clark, Mitra, Subhasish
Published in 2021 Formal Methods in Computer Aided Design (FMCAD) (19.10.2021)
Published in 2021 Formal Methods in Computer Aided Design (FMCAD) (19.10.2021)
Get full text
Conference Proceeding