Program Interpretation Graph

VeriContaminated: Assessing LLM-Driven Verilog Coding for Data Contamination

Authors: Zeng Wang, Minghao Shao, Jitendra Bhandari, Likhitha Mankali, Ramesh Karri, Ozgur Sinanoglu, Muhammad Shafique, Johann Knechtel | Published: 2025-03-17 | Updated: 2025-04-14
FPGA
Program Interpretation Graph
Prompt leaking
2025.03.17 2025.05.27
Literature Database

SPDZCoder: Combining Expert Knowledge with LLMs for Generating Privacy-Computing Code

Authors: Xiaoning Dong, Peilin Xin, Jia Li, Wei Xu | Published: 2024-12-31 | Updated: 2025-03-21
Algorithm
Program Interpretation Graph
Multi-Party Computation
2024.12.31 2025.05.27
Literature Database

Exploiting Code Symmetries for Learning Program Semantics

Authors: Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana | Published: 2023-08-07 | Updated: 2024-09-08
Program Interpretation Graph
Machine Learning Technology
Vulnerability detection
2023.08.07 2025.05.28
Literature Database

Examining Zero-Shot Vulnerability Repair with Large Language Models

Authors: Hammond Pearce, Benjamin Tan, Baleegh Ahmad, Ramesh Karri, Brendan Dolan-Gavitt | Published: 2021-12-03 | Updated: 2022-08-15
Program Interpretation Graph
Prompt Injection
Automated Vulnerability Remediation
2021.12.03 2025.05.28
Literature Database