Published October 13, 2025 | Version v1
Software Open

Artifact for "Formal Verification for JavaScript Regular Expressions: a Proven Mechanized Semantics and its Applications", at POPL 2026

Authors/Creators

  • 1. ROR icon École Polytechnique Fédérale de Lausanne
  • 2. ENS-PSL
  • 3. École polytechnique fédérale de Lausanne, EPFL

Description

Artifact for ‘Formal Verification for JavaScript Regular Expressions: a Proven Mechanized Semantics and its Applications’ at POPL 2026.

Welcome to our artifact!


See the `README.md` file for informations about the artifact.

Files

README.md

Files (6.5 GB)

Name Size Download all
md5:6be6eed934137aca79222474854a1bed
6.5 GB Download
md5:a6feafeba13f8ac4bd24134e69c70771
593.2 kB Download
md5:8bfa00dc3aca427947d16b466bf3b344
14.4 kB Preview Download

Additional details

Funding

Swiss National Science Foundation
ReSET: Regex matching made Safe, Effective, and Trustworthy 10003649