[go: up one dir, main page]

Follow
Shailja Thakur
Title
Cited by
Cited by
Year
VeriGen: A Large Language Model for Verilog Code Generation
S Thakur, B Ahmad, H Pearce, B Tan, R Karri, B Dolan-Gavitt, S Garg
ACM Transactions on Design Automation of Electronic Systems 29 (3), 1–31, 2024
3292024
Benchmarking large language models for automated verilog rtl code generation
S Thakur, B Ahmad, Z Fan, H Pearce, B Tan, R Karri, B Dolan-Gavitt, ...
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2023
2372023
Autochip: Automating hdl generation using llm feedback
S Thakur, J Blocklove, H Pearce, B Tan, S Garg, R Karri
arXiv preprint arXiv:2311.04887, 2023
1532023
Llm-assisted generation of hardware assertions
R Kande, H Pearce, B Tan, B Dolan-Gavitt, S Thakur, R Karri, J Rajendran
arXiv preprint arXiv:2306.14027, 2023
992023
On hardware security bug code fixes by prompting large language models
B Ahmad, S Thakur, B Tan, R Karri, H Pearce
IEEE Transactions on Information Forensics and Security, 2024
932024
Fixing hardware security bugs with large language models
B Ahmad, S Thakur, B Tan, R Karri, H Pearce
arXiv preprint arXiv:2302.01215, 2023
902023
Make every move count: Llm-based high-quality rtl code generation using mcts
M DeLorenzo, AB Chowdhury, V Gohil, S Thakur, R Karri, S Garg, ...
arXiv preprint arXiv:2402.03289, 2024
692024
(Security) Assertions by Large Language Models
R Kande, H Pearce, B Tan, B Dolan-Gavitt, S Thakur, R Karri, J Rajendran
IEEE Transactions on Information Forensics and Security, 2024
462024
EnergyLens: Combining smartphones with electricity meter for accurate activity detection and user annotation
M Saha, S Thakur, A Singh, Y Agarwal
Proceedings of the 5th international conference on Future energy systems …, 2014
422014
Are Emily and Greg Still More Employable than Lakisha and Jamal? Investigating Algorithmic Hiring Bias in the Era of ChatGPT
AK Veldanda, F Grob, S Thakur, H Pearce, B Tan, R Karri, S Garg
NeurIPS 2023 (arXiv preprint arXiv:2310.05135), 2023
342023
Wattshare: Detailed energy apportionment in shared living spaces within commercial buildings
S Thakur, M Saha, A Singh, Y Agarwal
Proceedings of the 1st ACM Conference on Embedded Systems for Energy …, 2014
222014
Investigating Hiring Bias in Large Language Models
AK Veldanda, F Grob, S Thakur, H Pearce, B Tan, R Karri, S Garg
R0-FoMo: Robustness of Few-shot and Zero-shot Learning in Large Foundation …, 2023
212023
SensorAct: a decentralized and scriptable middleware for smart energy buildings
P Arjunan, M Saha, H Choi, M Gulati, A Singh, P Singh, MB Srivastava
2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 …, 2015
172015
Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback
J Blocklove, S Thakur, B Tan, H Pearce, S Garg, R Karri
ACM Transactions on Design Automation of Electronic Systems, 2025
112025
Sensoract: Design and implementation of fine-grained sensing and control sharing in buildings
P Arjunan, M Saha, M Gulati, N Batra, A Singh, P Singh
the poster track of 10th USENIX Symposium on Networked Systems Design and …, 2013
92013
CANOA: CAN Origin Authentication Through Power Side-Channel Monitoring
S Thakur, C Moreno, S Fischmeister
ACM TCPS (Transaction on Cyber-Physical Systems), 2020
7*2020
Towards the Imagenets of ML4EDA
AB Chowdhury, S Thakur, H Pearce, R Karri, S Garg
ICCAD 2023 (arXiv preprint arXiv:2310.10560), 2023
52023
A generalizable saliency map-based interpretation of model outcome
S Thakur, S Fischmeister
IEEE ICPR 2020, 2021
32021
Can EDA Tool Feedback Improve Verilog Generation by LLMs?
J Blocklove, S Thakur, B Tan, H Pearce, S Garg, R Karri
arXiv preprint arXiv:2411.11856, 2024
22024
Generating Verifiable CoT from Execution-Traces
S Thakur, V Saxena, R Kulkarni, S Singh, P Selvam, H Patel, ...
arXiv preprint arXiv:2512.00127, 2025
2025
The system can't perform the operation now. Try again later.
Articles 1–20