Hammond Pearce
Latest
- Naming Variables is Hard – Assessing Names Need Not Be: An Inductive Taxonomy for Grading Variable Names
- Naming Variables is Hard – Assessing Names Need Not Be: An Inductive Taxonomy for Grading Variable Names
- SCREAM: Secure Channels for Real-time Evaluation of Additive Manufacturing
- SCREAM: Secure Channels for Real-time Evaluation of Additive Manufacturing
- Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback
- Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback
- FLAG: F inding L ine A nomalies (in RTL code) with G enerative AI
- FLAG: F inding L ine A nomalies (in RTL code) with G enerative AI
- Introduction to Special Issue on Large Language Models for Electronic System Design Automation
- Introduction to Special Issue on Large Language Models for Electronic System Design Automation
- CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection
- CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection
- Lowering the Bar: How Large Language Models Can be Used as a Copilot by Hardware Hackers
- Lowering the Bar: How Large Language Models Can be Used as a Copilot by Hardware Hackers
- REMaQE: Reverse Engineering Math Equations from Executables
- REMaQE: Reverse Engineering Math Equations from Executables
- VeriGen: A Large Language Model for Verilog Code Generation
- VeriGen: A Large Language Model for Verilog Code Generation
- Formal Methods for the Security of Medical Devices
- Formal Methods for the Security of Medical Devices