Shailja Thakur

New York University — United States

Computer Science · Physical Sciences

11h-index561citations39works22.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Engineering Research(6), Software Testing and Debugging Techniques(5), Adversarial Robustness in Machine Learning(3), Machine Learning in Materials Science(3), Ferroelectric and Negative Capacitance Devices(3)

Publications39 total

Generating Verifiable Chain of Thoughts from Exection-Traces
arXiv (Cornell University)·2025Open Access
Facial Recognition Technology And Criminal Justice: Regulatory Strategies For Evidentiary Challenges
International Journal of Research Publication and Reviews·2025Open Access
Legal Personality of Artificial Intelligence : Rights, Liabilities And Jurisprudential Perspectives
International Journal For Multidisciplinary Research·2025Open Access
Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback
ACM Transactions on Design Automation of Electronic Systems·2025· 6 cited
Challenges and Limitations of AI in Forensic Science: A Critical Review
International Journal of Research Publication and Reviews·2025Open Access
Zinc Sulphate Foliar Spray: Effects on Radish Seed Quality at Various Growth Stages
2024
Automatically Improving LLM-based Verilog Generation using EDA Tool Feedback
arXiv (Cornell University)·2024Open Access
VeriGen: A Large Language Model for Verilog Code Generation
ACM Transactions on Design Automation of Electronic Systems·2024· 148 cited
Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS
arXiv (Cornell University)·2024· 6 citedOpen Access
Investigations on Structural, Optical and Dielectric Properties of Titanium Dioxide Via Doping of Nitrogen and Copper Ions
SSRN Electronic Journal·2024Open Access
On Hardware Security Bug Code Fixes by Prompting Large Language Models
IEEE Transactions on Information Forensics and Security·2024· 52 cited
(Security) Assertions by Large Language Models
IEEE Transactions on Information Forensics and Security·2024· 52 citedOpen Access
AutoChip: Automating HDL Generation Using LLM Feedback
arXiv (Cornell University)·2023· 17 citedOpen Access
Invited Paper: Towards the Imagenets of ML4EDA
2023· 1 cited
Towards the Imagenets of ML4EDA
arXiv (Cornell University)·2023Open Access
Are Emily and Greg Still More Employable than Lakisha and Jamal? Investigating Algorithmic Hiring Bias in the Era of ChatGPT
arXiv (Cornell University)·2023· 5 citedOpen Access
VeriGen: A Large Language Model for Verilog Code Generation
arXiv (Cornell University)·2023· 9 citedOpen Access
(Security) Assertions by Large Language Models
arXiv (Cornell University)·2023· 20 citedOpen Access
Benchmarking Large Language Models for Automated Verilog RTL Code Generation
2023· 124 cited
Fixing Hardware Security Bugs with Large Language Models
arXiv (Cornell University)·2023· 21 citedOpen Access
page 1 of 2Next →

Frequent Co-authors

Ramesh Karri(15), Hammond Pearce(14), Benjamin Tan(12), Siddharth Garg(11), Baleegh Ahmad(6), Brendan Dolan-Gavitt(6), Jeyavijayan Rajendran(3), Jason Blocklove(3), Animesh Basak Chowdhury(3), Zhenxing Fan(2), Rahul Kande(2), Manaswi Saha(2), Amarjeet Singh(2), Yuvraj Agarwal(2), Balraj Singh(2), Shivani Chaturvedi(2), Shweta Walia(2), Gitanjali Kaushik(2), Sebastian Fischmeister(2), S.R. Dhiman(2)