WeSearch
Hub / Tags / Yiyun Liu
TAG · #YIYUN-LIU

Yiyun Liu coverage.

Every story in the WeSearch catalog tagged with #yiyun-liu, chronological, with view counts. Subscribe to the per-tag RSS feed to follow this topic in your reader of choice.

1 story tagged with #yiyun-liu, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.

⌘ RSS feed for this tag →   or   search "Yiyun Liu"

RELATED TAGS
#linux2#software-verification1#networking1#llms1#security1#kiran-gopinathan1#nikhil-pimpalkhare1#nftables1#basis1#rocq1
BASIS

Using LLM-Based Verification to Eliminate Bugs in Linux's Network Stack

We used LLMs to verify Linux's nftables `nft` CLI utility. Along the way, we found and patched bugs that had sat in the kernel for years.…

10 views ·
#software verification#linux#networking

Browse more

All tags Search "Yiyun Liu" RSS feed World US Technology Markets