13 citations · 17 across the 4 of their papers we have counts for
4 papers
DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
Hao Yu, Tianyu Chen, Jiaming Huang +8
Recently, given the docstring for the target problem and the target function signature, large language models (LLMs) have been used not only to generate source code, but also to ge…
VulLibGen: Generating Names of Vulnerability-Affected Packages via a Large Language Model
Tianyu Chen, Lin Li, Liuchuan Zhu +5
Security practitioners maintain vulnerability reports (e.g., GitHub Advisory) to help developers mitigate security risks. An important task for these databases is automatically ext…
GDsmith: Detecting Bugs in Graph Database Engines
Wei Lin, Ziyue Hua, Luyao Ren +3
Graph database engines stand out in the era of big data for their efficiency of modeling and processing linked data. There is a strong need of testing graph database engines. Howev…
A Highly Parallel FPGA Implementation of Sparse Neural Network Training
Sourya Dey, Diandian Chen, Zongyang Li +4
We demonstrate an FPGA implementation of a parallel and reconfigurable architecture for sparse neural networks, capable of on-chip training and inference. The network connectivity…