vix.ing · top · new · best · stats · spec

Karri, Ramesh

  1. Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions
    2021/08/20 by Hammond Pearce, Baleegh Ahmad, Pearce, Hammond +7 · 4 voices · 105 citations
    Computer Science · #Advanced Malware Detection Techniques #Software Engineering Research #Software Testing and Debugging Techniques #cs.AI #cs.CR
  2. VeriGen: A Large Language Model for Verilog Code Generation
    2023/07/28 by Shailja Thakur, Thakur, Shailja, Baleegh Ahmad +11 · 52 citations
    Computer Science · Engineering · Materials Science · #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Machine Learning (cs.LG) #Machine Learning in Materials Science #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE)
  3. Examining Zero-Shot Vulnerability Repair with Large Language Models
    2021/12/03 by Pearce, Hammond, Tan, Benjamin, Ahmad, Baleegh +2 · 21 citations
    #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
  4. Lost at C: A User Study on the Security Implications of Large Language Model Code Assistants
    2022/08/20 by Gustavo Sandoval, Hammond Pearce, Sandoval, Gustavo +9 · 21 citations
    Computer Science · Medicine · #Artificial Intelligence in Healthcare and Education #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering Research
  5. An Empirical Evaluation of LLMs for Solving Offensive Security Challenges
    2024/02/19 by Minghao Shao, Shao, Minghao, Boyuan Chen +11 · 4 voices · 3 citations
    Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #cs.CR
  6. Benchmarking Large Language Models for Automated Verilog RTL Code Generation
    2022/12/13 by Shailja Thakur, Baleegh Ahmad, Thakur, Shailja +13 · 20 citations
    Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
  7. AutoChip: Automating HDL Generation Using LLM Feedback
    2023/11/08 by Shailja Thakur, Thakur, Shailja, Jason Blocklove +9 · 24 citations
    Computer Science · Engineering · #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering Research
  8. NYU CTF Bench: A Scalable Open-Source Benchmark Dataset for Evaluating LLMs in Offensive Security
    2024/06/08 by Minghao Shao, Shao, Minghao, Sofija Jancheska +23 · 24 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Machine Learning (cs.LG) #Network Security and Intrusion Detection
  9. EnIGMA: Interactive Tools Substantially Assist LM Agents in Finding Security Vulnerabilities
    2024/09/24 by Talor Abramovich, Abramovich, Talor, Meet Udeshi +29 · 14 citations
    Decision Sciences · Mathematics · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Modeling, Simulation, and Optimization #Simulation Techniques and Applications
  10. Rome was Not Built in a Single Step: Hierarchical Prompting for LLM-based Chip Design
    2024/07/23 by Nakkab, Andre, Zhang, Sai Qian, Karri, Ramesh +1 · 8 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
  11. Grounding LLMs For Robot Task Planning Using Closed-loop State Feedback
    2024/02/13 by Bhat, Vineet, Kaypak, Ali Umut, Krishnamurthy, Prashanth +2 · 5 citations
    #FOS: Computer and information sciences #Robotics (cs.RO)
  12. OpenABC-D: A Large-Scale Dataset For Machine Learning Guided Integrated Circuit Synthesis
    2021/10/21 by Chowdhury, Animesh Basak, Tan, Benjamin, Karri, Ramesh +1 · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
  13. ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation
    2024/01/31 by Mali, Bhabesh, Maddala, Karthik, Gupta, Vatsal +3 · 4 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
  14. Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS
    2024/02/05 by Matthew DeLorenzo, DeLorenzo, Matthew, Animesh Basak Chowdhury +11 · 4 citations
    Computer Science · Engineering · #Advanced Wireless Communication Techniques #Artificial Intelligence (cs.AI) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Wireless Communication Networks Research
  15. Pop Quiz! Can a Large Language Model Help With Reverse Engineering?
    2022/02/02 by Hammond Pearce, Pearce, Hammond, Benjamin Tan +9 · 2 citations
    Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software System Performance and Reliability
  16. Retrieval-Guided Reinforcement Learning for Boolean Circuit Minimization
    2024/01/22 by Animesh Basak Chowdhury, Chowdhury, Animesh Basak, Marco Romanelli +7 · 3 citations
    Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Software Engineering Research
  17. 3D CAVLA: Leveraging Depth and 3D Context to Generalize Vision Language Action Models for Unseen Tasks
    2025/05/09 by Vineet Bhat, Bhat, Vineet, Lan, Yu-Hsiang +6 · 7 citations
    Computer Science · Engineering · #Multimodal Machine Learning Applications #Robot Manipulation and Learning #Advanced Neural Network Applications
  18. C2HLSC: Leveraging Large Language Models to Bridge the Software-to-Hardware Design Gap
    2024/11/29 by Luca Collini, Siddharth Garg, Collini, Luca +3 · 4 citations
    Computer Science · Decision Sciences · #Parallel Computing and Optimization Techniques #Topic Modeling #Scientific Computing and Data Management
  19. Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback
    2024/11/01 by Blocklove, Jason, Thakur, Shailja, Tan, Benjamin +3 · 4 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Programming Languages (cs.PL)
  20. D-CIPHER: Dynamic Collaborative Intelligent Multi-Agent System with Planner and Heterogeneous Executors for Offensive Security
    2025/02/15 by Meet Udeshi, Udeshi, Meet, Minghao Shao +21 · 6 citations
    Computer Science · #Network Security and Intrusion Detection #Multi-Agent Systems and Negotiation #Advanced Malware Detection Techniques
  21. LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
    2024/06/24 by Jitendra Bhandari, Bhandari, Jitendra, Johann Knechtel +7 · 3 citations
    Computer Science · Engineering · #VLSI and Analog Circuit Testing #Real-time simulation and control systems #Parallel Computing and Optimization Techniques
  22. VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
    2025/05/16 by Patrick Yubeaton, Yubeaton, Patrick, Andre Nakkab +11 · 5 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
  23. Public Plug-in Electric Vehicles + Grid Data: Is a New Cyberattack Vector Viable?
    2019/07/18 by Acharya, Samrat, Dvorkin, Yury, Karri, Ramesh · 1 citation
    #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
  24. VeriLeaky: Navigating IP Protection vs Utility in Fine-Tuning for LLM-Driven Verilog Coding
    2025/03/17 by Wang, Zeng, Shao, Minghao, Nabeel, Mohammed +7 · 7 citations
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG)
  25. VeriContaminated: Assessing LLM-Driven Verilog Coding for Data Contamination
    2025/03/17 by Wang, Zeng, Shao, Minghao, Bhandari, Jitendra +5 · 6 citations
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG)
  26. A Survey of Cybersecurity of Digital Manufacturing
    2020/06/09 by Mahesh, Priyanka, Tiwari, Akash, Jin, Chenglu +5 · 1 citation
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
  27. RTL-Breaker: Assessing the Security of LLMs against Backdoor Attacks on HDL Code Generation
    2024/11/26 by Lakshmi Likhitha Mankali, Jitendra Bhandari, Mankali, Lakshmi Likhitha +11 · 3 citations
    Computer Science · Engineering · #Cryptographic Implementations and Security #Cryptography and Security (cs.CR) #Electrostatic Discharge in Electronics #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Security and Verification in Computing
  28. FLAW3D: A Trojan-based Cyber Attack on the Physical Outcomes of Additive Manufacturing
    2021/04/19 by Pearce, Hammond, Yanamandra, Kaushik, Gupta, Nikhil +1 · 1 citation
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
  29. SALAD: Systematic Assessment of Machine Unlearning on LLM-Aided Hardware Design
    2025/06/02 by Wang, Zeng, Shao, Minghao, Karn, Rupesh +6 · 7 citations
    #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  30. Exploring eFPGA-based Redaction for IP Protection
    2021/10/26 by Bhandari, Jitendra, Moosa, Abdul Khader Thalakkattu, Tan, Benjamin +6 · 1 citation
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
  31. CRAKEN: Cybersecurity LLM Agent with Knowledge-Based Execution
    2025/05/21 by Shao, Minghao, Xi, Haoran, Rani, Nanda +9 · 5 citations
    #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multiagent Systems (cs.MA)
  32. Are Emily and Greg Still More Employable than Lakisha and Jamal? Investigating Algorithmic Hiring Bias in the Era of ChatGPT
    2023/10/08 by Veldanda, Akshaj Kumar, Grob, Fabian, Thakur, Shailja +4 · 1 citation
    #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  33. Masala-CHAI: A Large-Scale SPICE Netlist Dataset for Analog Circuits by Harnessing AI
    2024/11/21 by Bhandari, Jitendra, Bhat, Vineet, He, Yuheng +3 · 2 citations
    #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
  34. LASHED: LLMs And Static Hardware Analysis for Early Detection of RTL Bugs
    2025/04/30 by Baleegh Ahmad, Ahmad, Baleegh, Hammond Pearce +5 · 2 citations
    Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #Software Testing and Debugging Techniques
  35. Veritas: Deterministic Verilog Code Synthesis from LLM-Generated Conjunctive Normal Form
    2025/05/07 by Roy, Prithwish Basu, Saha, Akashdeep, Alam, Manaar +4 · 3 citations
    #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
  36. VeriLoC: Line-of-Code Level Prediction of Hardware Design Quality from Verilog Code
    2025/06/08 by Hemadri, Raghu Vamshi, Bhandari, Jitendra, Nakkab, Andre +5 · 4 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
  37. Towards Effective Offensive Security LLM Agents: Hyperparameter Tuning, LLM as a Judge, and a Lightweight CTF Benchmark
    2025/08/05 by Shao, Minghao, Rani, Nanda, Milner, Kimberly +9 · 1 citation
    #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
  38. MARVEL: Multi-Agent RTL Vulnerability Extraction using Large Language Models
    2025/05/17 by Collini, Luca, Ahmad, Baleegh, Ah-kiow, Joey +1 · 2 citations
    #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
  39. Real-Time Multi-Modal Subcomponent-Level Measurements for Trustworthy System Monitoring and Malware Detection
    2025/01/22 by Farshad Khorrami, Khorrami, Farshad, Ramesh Karri +3 · 1 citation
    Computer Science · #Advanced Malware Detection Techniques #Anomaly Detection Techniques and Applications #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Network Security and Intrusion Detection
  40. BOP-ASK: Object-Interaction Reasoning for Vision-Language Models
    2025/11/20 by Bhat, Vineet, Kim, Sungsu, Blukis, Valts +6 · 2 citations
    #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Robotics (cs.RO)
  41. Can Reasoning Models Reason about Hardware? An Agentic HLS Perspective
    2025/03/17 by Collini, Luca, Hennessee, Andrew, Karri, Ramesh +1 · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences