Bidirectional Type Slicing
2026-07-15T08:52:14Z•1141fc658a6cf4ab46e31ff7760cdaadd7b9317844e8a5704719bfdd42827fbd
AlerusCHCCPythonFLEXGRIDLEANLLM-safetyMystraNode.jsRBACRustShadow-VMSharSpiderMonkeyV8Verusaudit-traildynamic-taint-analysisenterprise-SQLformal-verificationgrammar-constrained-decodingprobabilistic-verificationprogram-analysistainttype-slicing','bidirectional-typing','Hazel','LLM-program-reason
What happened
Collection of 11 recent research preprints (arXiv, 15 Jul 2026) covering program analysis, formal verification, and secure generation. Key security-relevant items: (1) Mystra/Shar: a runtime-independent dynamic taint-analysis design using a Shadow VM and a declarative taint language (Mystra) with multi-runtime instantiations (V8/Node.js, Chromium embedding, SpiderMonkey, CPython). Achieves high recall on SecBench.js (95.5% recall, zero false positives on patched tests) with low overhead relative to other tools. (2) GRID: a grammar-railed constrained decoding engine for enterprise SQL that en-\
Why it matters
A reviewed impact interpretation has not been published for this record.
Evidence and limitations
- Source ID
- arxiv_cs_pl
- Record identifier
- 1141fc658a6cf4ab46e31ff7760cdaadd7b9317844e8a5704719bfdd42827fbd
- Enrichment time
- 2026-07-15T08:52:14Z
- 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.