Concepedia

Shailja Thakur

ST

12

Publications

505

Citations

11

H-Index

2011

Active since

Affiliations

University of Calgary(Current)

New York University

Indraprastha Institute of Information Technology Delhi

Carnegie Mellon University

Shailja Thakur is an author at University of Calgary specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware TestingSoftware AnalysisComputer EngineeringFormal VerificationSoftware DesignSoftware Engineering

Publications per year

2011–2024

12

Publications

12

VeriGen: A Large Language Model for Verilog Code Generation

Shailja Thakur, Baleegh Ahmad, Hammond Pearce et al. · ACM Transactions on Design Automation of Electronic Systems · 2024 · 148 citations

Engineering, Hardware Verification Language, Compiler Technology +19

Benchmarking Large Language Models for Automated Verilog RTL Code Generation

Shailja Thakur, Baleegh Ahmad, Zhenxing Fan et al. · 2023 · 124 citations

Llm Fine-tuning, Engineering, Compiler Technology +19

(Security) Assertions by Large Language Models

Rahul Kande, Hammond Pearce, Benjamin Tan et al. · IEEE Transactions on Information Forensics and Security · 2024 · 52 citations · Full text

Program Checking, Engineering, Verification +23

On Hardware Security Bug Code Fixes by Prompting Large Language Models

Baleegh Ahmad, Shailja Thakur, Benjamin Tan et al. · IEEE Transactions on Information Forensics and Security · 2024 · 51 citations

Manaswi Saha, Shailja Thakur, Amarjeet Singh et al. · 2014 · 24 citations

Energy Consumption, High Accuracy, Mobile Sensing +12

Rows per page

1–5 of 12