Luca Piccolboni
Ph.D. Student in Computer Science
Columbia University, New York, NY


Luca Piccolboni is a Ph.D. Student in Computer Science at Columbia University in the city of New York, USA. He works with Professor Luca Carloni and he is a member of the System-Level Design Group. His research interests focus on (1) computer-aided design methodologies for design and verification of heterogeneous systems-on-chip and (2) architectural solutions for security.

Education

Teaching

TAing Experiences:

Publications

DBLP and Google Scholar provide the updated list of his publications. They are also reported here.

  1. Piccolboni, L., and Di Guglielmo G. and Carloni, L. P., "KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design", in Proc. of the ACM/IEEE Formal Methods in Computer-Aided Design (FMCAD), 2019. [pdf] [slides]

  2. Carloni, L. P., Cota, E., Di Guglielmo, G., Giri, D., Kwon, J., Mantovani P., Piccolboni, L. and Petracca, M, "Teaching Heterogeneous Computing with System-Level Design Methods", in Proc. of the ACM Workshop on Computer Architecture Education (WCAE), 2019. [pdf]

  3. Piccolboni, L., and Di Guglielmo G. and Carloni, L. P., "PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators", in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Proc. of ACM/IEEE CODES+ISSS, 2018. [pdf] [slides] [poster]

  4. Piccolboni, L., Mantovani, P., Di Guglielmo G. and Carloni, L. P., "COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators", in ACM Transactions on Embedded Computing Systems (TECS), Proc. of ACM/IEEE CODES+ISSS, 2017. [pdf] [slides] [poster]

  5. Piccolboni, L., Menon, A. and Pravadelli, G., "Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models", in ACM Transactions on Embedded Computing Systems (TECS), Proc. of ACM/IEEE CODES+ISSS, 2017. [pdf] [slides] [poster] [tool]

  6. Piccolboni, L., Mantovani, P., Di Guglielmo G. and Carloni, L. P., "Broadening the Exploration of the Accelerator Design Space in Embedded Scalable Platforms", in Proc. of the IEEE High Performance Extreme Computing Conference (HPEC), 2017. [pdf] [slides]

  7. Fraccaroli, E., Piccolboni, L. and Fummi, F., "A Homogeneous Framework for AMS Languages Instrumentation, Abstraction and Simulation", in Proc. of the IEEE European Test Symposium (ETS), 2017. [pdf]

  8. Piccolboni, L. and Pravadelli, G., "Stimuli Generation through Invariant Mining for Black-Box Verification", in Proc. of the IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 2016. [pdf]

  9. Bombieri, N., Busato, F., Danese, A., Piccolboni, L. and Pravadelli, G., "Exploiting GPU Architectures for Dynamic Invariant Mining", in Proc. of the IEEE International Conference on Computer Design (ICCD), Special Session on Data Mining for Computer Design, 2015. [pdf]

  10. Danese, A., Piccolboni, L. and Pravadelli, G., "A Parallelizable Approach for Mining Likely Invariants", in Proc. of the ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2015. [pdf]

  11. Piccolboni, L. and Pravadelli, G., "Simplified Stimuli Generation for Scenario and Assertion Based Verification", in Proc. of the IEEE Latin American Test Workshop (LATW), 2014. [pdf]