( en | de | ru )

 

Disambiguation of "Thakur, Shailja"

Author of the publication

copydeleteadd this publication to your clipboard
LLM-assisted Generation of Hardware Assertions.

, , , , , , and . CoRR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Chitra Thakur

Mohit Thakur

Pratima Thakur

Sunil Thakur

Varun Thakur

 

Other publications of authors with the same name

WattShare: detailed energy apportionment in shared living spaces within commercial buildings., , , and . BuildSys@SenSys, page 30-39. ACM, (2014)VeriGen: A Large Language Model for Verilog Code Generation., , , , , , and . CoRR, (2023)Make Every Move Count: LLM-based High-Quality RTL Code Generation Using MCTS., , , , , , and . CoRR, (2024)LLM-assisted Generation of Hardware Assertions., , , , , , and . CoRR, (2023)(Security) Assertions by Large Language Models., , , , , , and . IEEE Trans. Inf. Forensics Secur., (2024)EnergyLens: combining smartphones with electricity meter for accurate activity detection and user annotation., , , and . e-Energy, page 289-300. ACM, (2014)AutoChip: Automating HDL Generation Using LLM Feedback., , , , , and . CoRR, (2023)CANOA: CAN Origin Authentication Through Power Side-Channel Monitoring., , and . CoRR, (2020)Security and Interpretability in Automotive Systems.. CoRR, (2022)Benchmarking Large Language Models for Automated Verilog RTL Code Generation., , , , , , , and . DATE, page 1-6. IEEE, (2023)