Luca Collini

28 papers A* 3A 3B 1Journal 19Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
VeriInteresting: An Empirical Study of Model Prompt Interactions in Verilog Code Generation.
CoRR
Luca Collini, Andrew Hennesee, Patrick Yubeaton, Siddharth Garg, Ramesh Karri
2025 J jnl
ARIANNA: An Automatic Design Flow for Fabric Customization and eFPGA Redaction.
CoRR
Luca Collini, Jitendra Bhandari, Chiara Muscari Tomajoli, Abdul Khader Thalakkattu Moosa, Benjamin Tan, Xifan Tang, Pierre-Emmanuel Gaillardon, Ramesh Karri, Christian Pilato
2025 J jnl
ARIANNA: An Automatic Design Flow for Fabric Customization and eFPGA Redaction.
ACM Trans. Design Autom. Electr. Syst.
Luca Collini, Jitendra Bhandari, Chiara Muscari Tomajoli, Abdul Khader Thalakkattu Moosa, Benjamin Tan, Xifan Tang, Pierre-Emmanuel Gaillardon, Ramesh Karri, Christian Pilato
2025 J jnl
C2HLSC: Leveraging Large Language Models to Bridge the Software-to-Hardware Design Gap.
ACM Trans. Design Autom. Electr. Syst.
Luca Collini, Siddharth Garg, Ramesh Karri
2025 J jnl
Can Reasoning Models Reason about Hardware? An Agentic HLS Perspective.
CoRR
Luca Collini, Andrew Hennessee, Ramesh Karri, Siddharth Garg
2025 B conf
Large Language Models (LLMs) for Verification, Testing, and Design.
ETS
Chandan Kumar Jha, Muhammad Hassan, Khushboo Qayyum, Sallar Ahmadi-Pour, Kangwei Xu, Ruidi Qiu, Jason Blocklove, Luca Collini, Andre Nakkab, Ulf Schlichtmann, Grace Li Zhang, Ramesh Karri, Bing Li, Siddharth Garg, Rolf Drechsler
2025 J jnl
MARVEL: Multi-Agent RTL Vulnerability Extraction using Large Language Models.
CoRR
Luca Collini, Baleegh Ahmad, Joey Ah-kiow, Ramesh Karri
2025 — conf
The Impact of Logic Locking on Confidentiality: An Automated Evaluation.
ISQED
Lennart M. Reimann, Evgenii Rezunov, Dominik Germek, Luca Collini, Christian Pilato, Ramesh Karri, Rainer Leupers
2025 J jnl
The Impact of Logic Locking on Confidentiality: An Automated Evaluation.
CoRR
Lennart M. Reimann, Evgenii Rezunov, Dominik Germek, Luca Collini, Christian Pilato, Ramesh Karri, Rainer Leupers
2025 J jnl
VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification.
CoRR
Patrick Yubeaton, Andre Nakkab, Weihua Xiao, Luca Collini, Ramesh Karri, Chinmay Hegde, Siddharth Garg
2024 J jnl
C2HLSC: Can LLMs Bridge the Software-to-Hardware Design Gap?
CoRR
Luca Collini, Siddharth Garg, Ramesh Karri
2024 J jnl
C2HLSC: Leveraging Large Language Models to Bridge the Software-to-Hardware Design Gap.
CoRR
Luca Collini, Siddharth Garg, Ramesh Karri
2024 J jnl
Using Static Analysis for Enhancing HLS Security.
IEEE Embed. Syst. Lett.
Luca Collini, Joey Ah-kiow, Christian Pilato, Ramesh Karri, Benjamin Tan
2023 A* conf
ALMOST: Adversarial Learning to Mitigate Oracle-less ML Attacks via Synthesis Tuning.
DAC
Animesh Basak Chowdhury, Lilas Alrahis, Luca Collini, Johann Knechtel, Ramesh Karri, Siddharth Garg, Ozgur Sinanoglu, Benjamin Tan
2023 J jnl
ALMOST: Adversarial Learning to Mitigate Oracle-less ML Attacks via Synthesis Tuning.
CoRR
Animesh Basak Chowdhury, Lilas Alrahis, Luca Collini, Johann Knechtel, Ramesh Karri, Siddharth Garg, Ozgur Sinanoglu, Benjamin Tan
2023 — conf
ConVERTS: Contrastively Learning Structurally InVariant Netlist Representations.
MLCAD
Animesh Basak Chowdhury, Jitendra Bhandari, Luca Collini, Ramesh Karri, Benjamin Tan, Siddharth Garg
2023 J jnl
Optimizing the Use of Behavioral Locking for High-Level Synthesis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Christian Pilato, Luca Collini, Luca Cassano, Donatella Sciuto, Siddharth Garg, Ramesh Karri
2022 A conf
A Composable Design Space Exploration Framework to Optimize Behavioral Locking.
DATE
Luca Collini, Ramesh Karri, Christian Pilato
2022 J jnl
ALICE: An Automatic Design Flow for eFPGA Redaction.
CoRR
Chiara Muscari Tomajoli, Luca Collini, Jitendra Bhandari, Abdul Khader Thalakkattu Moosa, Benjamin Tan, Xifan Tang, Pierre-Emmanuel Gaillardon, Ramesh Karri, Christian Pilato
2022 A* conf
ALICE: an automatic design flow for eFPGA redaction.
DAC
Chiara Muscari Tomajoli, Luca Collini, Jitendra Bhandari, Abdul Khader Thalakkattu Moosa, Benjamin Tan, Xifan Tang, Pierre-Emmanuel Gaillardon, Ramesh Karri, Christian Pilato
2022 J jnl
Designing ML-Resilient Locking at Register-Transfer Level.
CoRR
Dominik Sisejkovic, Luca Collini, Benjamin Tan, Christian Pilato, Ramesh Karri, Rainer Leupers
2022 A* conf
Designing ML-resilient locking at register-transfer level.
DAC
Dominik Sisejkovic, Luca Collini, Benjamin Tan, Christian Pilato, Ramesh Karri, Rainer Leupers
2022 A conf
Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design.
ICCAD
Baleegh Ahmad, Wei-Kai Liu, Luca Collini, Hammond Pearce, Jason M. Fung, Jonathan Valamehr, Mohammad Bidmeshki, Piotr Sapiecha, Steve Brown, Krishnendu Chakrabarty, Ramesh Karri, Benjamin Tan
2022 J jnl
Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design.
CoRR
Baleegh Ahmad, Wei-Kai Liu, Luca Collini, Hammond Pearce, Jason M. Fung, Jonathan Valamehr, Mohammad Bidmeshki, Piotr Sapiecha, Steve Brown, Krishnendu Chakrabarty, Ramesh Karri, Benjamin Tan
2022 A conf
Reconfigurable Logic for Hardware IP Protection: Opportunities and Challenges.
ICCAD
Luca Collini, Benjamin Tan, Christian Pilato, Ramesh Karri
2021 J jnl
On the Optimization of Behavioral Logic Locking for High-Level Synthesis.
CoRR
Christian Pilato, Luca Collini, Luca Cassano, Donatella Sciuto, Siddharth Garg, Ramesh Karri
2016 J jnl
Oscillations of a rocking block with an added pendulum.
J. Syst. Control. Eng.
Luca Collini, Rinaldo Garziera, Aleksander V. Karapetyan, Maria A. Munitsyna, Alessandro Tasora
2013 J jnl
Modal tests on buildings: correlating large amounts of acquisitions with different space-time collocations.
J. Syst. Control. Eng.
Rinaldo Garziera, Luca Collini, Elisabetta Manconi