By Dr Hammond Pearce

Conference Papers

Blocklove J; Garg S; Karri R; Pearce H, 2023, 'Chip-Chat: Challenges and Opportunities in Conversational Hardware Design', in 2023 ACM IEEE 5th Workshop on Machine Learning for CAD Mlcad 2023, http://dx.doi.org/10.1109/MLCAD58807.2023.10299874

Pearce H; Tan B; Ahmad B; Karri R; Dolan-Gavitt B, 2023, 'Examining Zero-Shot Vulnerability Repair with Large Language Models', in Proceedings IEEE Symposium on Security and Privacy, pp. 2339 - 2356, http://dx.doi.org/10.1109/SP46215.2023.10179324

Pearce H; Tan B; Ahmad B; Karri R; Dolan-Gavitt B, 2023, 'Examining Zero-Shot Vulnerability Repair with Large Language Models', in Proceedings IEEE Symposium on Security and Privacy, pp. 2339 - 2356, http://dx.doi.org/10.1109/SP46215.2023.10179420

Chowdhury AB; Thakur S; Pearce H; Karri R; Garg S, 2023, 'Invited Paper: Towards the Imagenets of ML4EDA', in IEEE ACM International Conference on Computer Aided Design Digest of Technical Papers Iccad, http://dx.doi.org/10.1109/ICCAD57390.2023.10323663

Sandoval G; Pearce H; Nys T; Karri R; Garg S; Dolan-Gavitt B, 2023, 'Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants', in 32nd Usenix Security Symposium Usenix Security 2023, pp. 2205 - 2222

Ahmad B; Liu WK; Collini L; Pearce H; Fung JM; Valamehr J; Bidmeshki M; Sapiecha P; Brown S; Chakrabarty K; Karri R; Tan B, 2022, 'Don t CWEAT it: Toward CWE analysis techniques in early stages of hardware design', in IEEE ACM International Conference on Computer Aided Design Digest of Technical Papers Iccad, http://dx.doi.org/10.1145/3508352.3549369

Pearce H; Ahmad B; Tan B; Dolan-Gavitt B; Karri R, 2022, 'Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions', in 43RD IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2022), IEEE COMPUTER SOC, CA, San Francisco, pp. 754 - 768, presented at 43rd IEEE Symposium on Security and Privacy (SP), CA, San Francisco, 23 May 2022 - 26 May 2022, http://dx.doi.org/10.1109/SP46214.2022.00057

Pearce H; Ahmad B; Tan B; Dolan-Gavitt B; Karri R, 2022, 'Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions', in Proceedings IEEE Symposium on Security and Privacy, pp. 754 - 768, http://dx.doi.org/10.1109/SP46214.2022.9833571

Baird A; Pearce H; Pinisetty S; Roop P, 2022, 'Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones', in 2022 20th ACM IEEE International Conference on Formal Methods and Models for System Design Memocode 2022, http://dx.doi.org/10.1109/MEMOCODE57689.2022.9954593

Pearce H; Tan B; Karri R, 2020, 'Dave: Deriving automatically verilog from English', in Mlcad 2020 Proceedings of the 2020 ACM IEEE Workshop on Machine Learning for CAD, pp. 27 - 32, http://dx.doi.org/10.1145/3380446.3430634

Yang X; Roop P; Pearce H; Ro JW, 2020, 'A compositional approach using Keras for neural networks in real-time systems', in Proceedings of the 2020 Design Automation and Test in Europe Conference and Exhibition Date 2020, pp. 1109 - 1114, http://dx.doi.org/10.23919/DATE48585.2020.9116371

Pearce H; Kuo MMY; Roop PS; Pinisetty S, 2019, 'Securing implantable medical devices with runtime enforcement hardware', in Memocode 2019 17th ACM IEEE International Conference on Formal Methods and Models for System Design, http://dx.doi.org/10.1145/3359986.3361200

Pearce H; Roop P, 2019, 'Synthesizing IEC 61499 function blocks to hardware', in Iceic 2019 International Conference on Electronics Information and Communication, http://dx.doi.org/10.23919/ELINFOCOM.2019.8706345

Roop PS; Pearce H; Monadjem K, 2018, 'Synchronous neural networks for cyber-physical systems', in 2018 16th ACM IEEE International Conference on Formal Methods and Models for System Design Memocode 2018, http://dx.doi.org/10.1109/MEMCOD.2018.8556931

Roop PS; Pearce H; Monadjem K, 2018, 'Synchronous neural networks for cyber-physical systems', in PROCEEDINGS OF THE 2018 16TH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), IEEE, PEOPLES R CHINA, Beijing, pp. 33 - 42, presented at 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), PEOPLES R CHINA, Beijing, 15 October 2018 - 18 October 2018

Pearce H; Roop P; Biglari-Abhari M; Schoeberl M, 2018, 'Faster function blocks for precision timed industrial automation', in Proceedings 2018 IEEE 21st International Symposium on Real Time Computing Isorc 2018, pp. 67 - 74, http://dx.doi.org/10.1109/ISORC.2018.00017

Pearce HA; Kuo MMY; Allen N; Roop PS; Malik A, 2017, 'Simulation of cyber-physical systems using IEC61499', in Memocode 2017 15th ACM IEEE International Conference on Formal Methods and Models for System Design, pp. 136 - 145, http://dx.doi.org/10.1145/3127041.3127052

Allen N; Pearce H; Roop P; Von Hanxleden R, 2017, 'A model driven approach for cardiac pacemaker design using a PRET processor', in Proceedings 2017 IEEE 20th International Symposium on Real Time Distributed Computing Isorc 2017, pp. 168 - 175, http://dx.doi.org/10.1109/ISORC.2017.5

Pearce HA; Kuo MMY; Roop PS; Biglari-Abhari M, 2016, 'RunSync: A predictable runtime for precision timed automation systems', in Proceedings 2016 IEEE 19th International Symposium on Real Time Distributed Computing Isorc 2016, pp. 116 - 123, http://dx.doi.org/10.1109/ISORC.2016.25

Preprints

Ram O; Horner M; Van der Meyden R; Abuadbba A; Pearce H, 2026, GraftyVul: Synthesising Insecure Programs Through Real-World Vulnerability Grafting, http://dx.doi.org/10.48550/arxiv.2608.27928

Ghimire S; Mirfasihi P; Chowdhury MA; Dharavath HK; Latibari BS; Mamun M; Carpenter JW; Tan B; Pearce H; Chakrabarty K; Satam P; Salehi S, 2026, Large Language Models and Attention-Based AI for Hardware Design and Security: Progress, Challenges, and Opportunities, http://dx.doi.org/10.48550/arxiv.2504.08854

Vassar A; Masood R; Pearce H, 2026, On Capturing the Narrative: Social Media Manipulation Wargaming for Cyberliteracy, http://dx.doi.org/10.48550/arxiv.2607.23993

Mei X; Del Castillo J; Singaria PS; Xi H; Benchikh A; Bao T; Wang R; Shoshitaishvili Y; Doupé A; Pearce H; Dolan-Gavitt B, 2026, ARVO: Atlas of Reproducible Vulnerabilities for Open-Source Software, http://dx.doi.org/10.48550/arxiv.2408.02153

Mei X; Del Castillo J; Singaria PS; Xi H; Benchikh A; Bao T; Wang R; Shoshitaishvili Y; Doupé A; Pearce H; Dolan-Gavitt B, 2026, ARVO: Atlas of Reproducible Vulnerabilities for Open-Source Software

Chang J; Kanhere S; Koniusz P; Jason ; Xue ; Pearce H, 2026, Beyond Attack Success Rate: Examining Trigger Leakage in Vision-Language Agentic Systems, http://dx.doi.org/10.48550/arxiv.2606.12586

Srinivasan S; Tan B; Turnbull B; Pearce H, 2026, PCB-QA: Evaluating LLMs over the First Printed Circuit Board Design Question-Answer Dataset, http://dx.doi.org/10.48550/arxiv.2606.23704

Srinivasan S; Turnbull B; Pearce H, 2026, Surveying GenAI-based Automation in Printed Circuit Board Design and Test, http://dx.doi.org/10.48550/arxiv.2606.17074

Chang J; Xue M; Sun R; Pang S; Kanhere SS; Pearce H, 2026, If you're waiting for a sign... that might not be it! Mitigating Trust Boundary Confusion from Visual Injections on Vision-Language Agentic Systems, http://dx.doi.org/10.48550/arxiv.2604.19844

Ullah S; Balasubramanian P; Guo W; Burnett A; Pearce H; Kruegel C; Vigna G; Stringhini G, 2026, From CVE Entries to Verifiable Exploits: An Automated Multi-Agent Framework for Reproducing CVEs, http://dx.doi.org/10.48550/arxiv.2509.01835

Sun R; Chang J; Pearce H; Xiao C; Li B; Wu Q; Nepal S; Xue M, 2025, SoK: The Security-Safety Continuum of Multimodal Foundation Models through Information Flow and Global Game-Theoretic Analysis of Asymmetric Threats, http://dx.doi.org/10.48550/arxiv.2411.11195

Feng R; Pearce H; Liguori P; Sui Y, 2025, CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection, http://dx.doi.org/10.48550/arxiv.2501.04510

Chang J; Li H; Pearce H; Sun R; Li B; Xue M, 2025, What's Pulling the Strings? Evaluating Integrity and Attribution in AI Training and Inference through Concept Shift, http://dx.doi.org/10.48550/arxiv.2504.21042

Qiu S; Wang M; Afsharmazayejani R; Shahmiri MM; Tan B; Pearce H, 2025, Towards LLM-based Root Cause Analysis of Hardware Design Failures, http://dx.doi.org/10.48550/arxiv.2507.06512

Ahmad B; Pearce H; Karri R; Tan B, 2025, LASHED: LLMs And Static Hardware Analysis for Early Detection of RTL Bugs, http://dx.doi.org/10.48550/arxiv.2504.21770

Blocklove J; Thakur S; Tan B; Pearce H; Garg S; Karri R, 2025, Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback, http://dx.doi.org/10.48550/arxiv.2411.11856

Xiao Z; Wang Q; Pearce H; Chen S, 2025, Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities, http://dx.doi.org/10.48550/arxiv.2501.07058

Mittal S; Pearce H; Yampolskiy M; Oromiehie E; Prusty BG, 2025, On Cyber Sabotage Risks in Automated Manufacturing of Advanced Composites, http://dx.doi.org/10.2139/ssrn.5101485

Blocklove J; Garg S; Karri R; Pearce H, 2024, Evaluating LLMs for Hardware Design and Test, http://dx.doi.org/10.48550/arxiv.2405.02326

Blocklove J; Raz M; Roy PB; Pearce H; Krishnamurthy P; Khorrami F; Karri R, 2024, OffRAMPS: An FPGA-based Intermediary for Analysis and Modification of Additive Manufacturing Control Systems, http://dx.doi.org/10.48550/arxiv.2404.15446

Sun R; Chang J; Pearce H; Xiao C; Li B; Wu Q; Nepal S; Xue M, 2024, SoK: The Security-Safety Continuum of Multimodal Foundation Models through Information Flow and Global Game-Theoretic Analysis of Asymmetric Threats, https://arxiv.org/abs/2411.11195v6

Qiu S; Tan B; Pearce H, 2024, LLM-aided explanations of EDA synthesis errors, http://dx.doi.org/10.48550/arxiv.2404.07235

Ullah S; Han M; Pujar S; Pearce H; Coskun A; Stringhini G, 2024, LLMs Cannot Reliably Identify and Reason About Security Vulnerabilities (Yet?): A Comprehensive Evaluation, Framework, and Benchmarks, http://dx.doi.org/10.48550/arxiv.2312.12575

Kande R; Pearce H; Tan B; Dolan-Gavitt B; Thakur S; Karri R; Rajendran J, 2024, (Security) Assertions by Large Language Models, http://dx.doi.org/10.48550/arxiv.2306.14027

Thakur S; Blocklove J; Pearce H; Tan B; Garg S; Karri R, 2024, AutoChip: Automating HDL Generation Using LLM Feedback, http://dx.doi.org/10.48550/arxiv.2311.04887

Udeshi M; Krishnamurthy P; Pearce H; Karri R; Khorrami F, 2024, REMaQE: Reverse Engineering Math Equations from Executables, http://dx.doi.org/10.48550/arxiv.2305.06902

Blocklove J; Garg S; Karri R; Pearce H, 2023, Chip-Chat: Challenges and Opportunities in Conversational Hardware Design, http://dx.doi.org/10.48550/arxiv.2305.13243

Taylor A; Vassar A; Renzella J; Pearce H, 2023, Dcc --help: Generating Context-Aware Compiler Error Explanations with Large Language Models, http://dx.doi.org/10.48550/arxiv.2308.11873

Chowdhury AB; Thakur S; Pearce H; Karri R; Garg S, 2023, Towards the Imagenets of ML4EDA, http://dx.doi.org/10.48550/arxiv.2310.10560

Veldanda AK; Grob F; Thakur S; Pearce H; Tan B; Karri R; Garg S, 2023, Are Emily and Greg Still More Employable than Lakisha and Jamal? Investigating Algorithmic Hiring Bias in the Era of ChatGPT, http://dx.doi.org/10.48550/arxiv.2310.05135

Thakur S; Ahmad B; Pearce H; Tan B; Dolan-Gavitt B; Karri R; Garg S, 2023, VeriGen: A Large Language Model for Verilog Code Generation, http://dx.doi.org/10.48550/arxiv.2308.00708

Back to profile page