Executable JavaScript as a Checkable Specification Language: A JS-SAM Case Study on SysMoBench
arXiv 2607.13092•8e98deab9522c7d5a216811a0c9411963d4f88300a44c656ea9c4fa5b9941927
CPythonChipVerilogJS-SAMLLM_code_generationMystraNode.jsPackage_CalculusRustShadow_VMSharSpiderMonkeyTLA+V8Verilog_RTLcompiler_feedbackdependency_resolution formalismdynamic_taint_analysisexecutable_specificationsformal_verificationgenerative_compilationhardware_RTL_benchmarkspackage_managementsealersupply_chaintaint_specification
Paper metadata
- arXiv ID
- 2607.13092
- 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
- 8e98deab9522c7d5a216811a0c9411963d4f88300a44c656ea9c4fa5b9941927
- Enrichment time
- 2026-07-16T08:52:12Z
- 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.