WeSearch
Hub / Tags / Kiran Gopinathan
TAG · #KIRAN-GOPINATHAN

Kiran Gopinathan coverage.

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

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

⌘ RSS feed for this tag →   or   search "Kiran Gopinathan"

RELATED TAGS
#linux2#software-verification1#networking1#llms1#security1#yiyun-liu1#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 "Kiran Gopinathan" RSS feed World US Technology Markets