Evaluating Shrinking (Experience Report)
arXiv 2608.09935•08a1a43c770f695ac070f5f35ff34e1ba53b8a14f5727e7e70532cb2405c6a8e
CVE awarenessDatalogLLM securityOSV.devbinary decompilationcode comprehensionconcurrencydata privacydeadlock detectionformal verificationlivenessmodel checkingproperty-based testingrace detectionreverse engineeringsecurity researchside-channel analysissoftware supply chainstatic analysis
Paper metadata
- arXiv ID
- 2608.09935
- Version
- Not specified by this published record
- Category
- Computer Science — Programming Languages (cs.PL)
The PDF link points to arxiv.org. Baitaphish does not expose a private stored PDF.
Evidence and limitations
- Source ID
- arxiv_cs_pl
- Record identifier
- 08a1a43c770f695ac070f5f35ff34e1ba53b8a14f5727e7e70532cb2405c6a8e
- Enrichment time
- 2026-08-12T08:51:55Z
- AI-assisted enrichment
- Yes
This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.