36 citations · 187 across the 42 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2024★ 5 cited
CodeV: Empowering LLMs with HDL Generation through Multi-Level Summarization
Yang Zhao, Di Huang, Chongxiao Li +14
The design flow of processors, particularly in hardware description languages (HDL) like Verilog and Chisel, is complex and costly. While recent advances in large language models (…
cs.PL2023★ 5 cited
ANPL: Towards Natural Programming with Interactive Decomposition
Di Huang, Ziyuan Nan, Xing Hu +8
Though LLMs are capable of generating plausible programs, it's challenging to interact with the LLMs further to revise the program, especially if the user's specific requirements a…
cs.PL2011
Efficient Deterministic Replay Using Complete Race Detection
Qi Guo, Yunji Chen, Tianshi chen +1
Data races can significantly affect the executions of multi-threaded programs. Hence, one has to recur the results of data races to deterministically replay a multi-threaded progra…