Executable JavaScript as a Checkable Specification Language: A JS-SAM Case Study on SysMoBench
2026-07-16T08:52:12Z•8e98deab9522c7d5a216811a0c9411963d4f88300a44c656ea9c4fa5b9941927
CPythonChipVerilogJS-SAMLLM_code_generationMystraNode.jsPackage_CalculusRustShadow_VMSharSpiderMonkeyTLA+V8Verilog_RTLcompiler_feedbackdependency_resolution formalismdynamic_taint_analysisexecutable_specificationsformal_verificationgenerative_compilationhardware_RTL_benchmarkspackage_managementsealersupply_chaintaint_specification
What happened
This feed aggregates multiple 2026 PL (programming-languages) papers with direct relevance to software security, verification, and AI-assisted code generation. Notable contributions: JS-SAM — executable JavaScript as a checkable specification format comparable to TLA+ when the specification contract matches; Mystra/Shar — a Shadow VM + declarative taint language for language-independent dynamic taint analysis (V8/SpiderMonkey/CPython) showing high recall and low false positives on SecBench.js; Generative compilation — a ‘sealer’ technique to get compiler feedback on partial Rust programs to減re
Why it matters
A reviewed impact interpretation has not been published for this record.
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.