There is a newer version of the record available.

Published February 6, 2026 | Version v4

Grammar Repair using Examples and Tree Automata

  • 1. ROR icon National University of Singapore
  • 2. ROR icon Yale-NUS College

Description

OOPSLA 2026 Artifact


Name: Grammar Repair using Examples and Tree Automata (#219)

The artifact is packaged as a QEMU virtual machine image and is intended to be run using the provided startup scripts. All required dependencies are already installed inside the VM.

Contents of the Artifact


The uploaded artifact archive contains the following files:

  • README.md — this document
  • Debugging.md — troubleshooting instructions
  • ImageCreation.md — notes on how the VM image was constructed
  • disk.qcow — QEMU virtual disk image
  • start.sh — startup script for macOS and Linux
  • start.bat — startup script for Windows
  • fix-qemu-macos.sh — helper script for macOS users (if needed)

 

Please read the README.md for instructions on running this artifact.

Files

greta-artifact-image.zip

Files (3.3 GB)

Name Size
md5:b34f2c5b4f828c2492914a10b0e0020a
2.8 GB Preview Download
md5:ea0361bd2db781fc55eb160fd79a36fd
461.1 MB Preview Download

Additional details

Dates

Submitted
2026-02-06

Software

Repository URL
https://github.com/verse-lab/greta
Programming language
OCaml