Document Open Access Logo

Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages (Artifact)

Authors Siddhartha Prasad , Skyler Austen , Kathi Fisler , Shriram Krishnamurthi

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.12.1.7.pdf
  • Filesize: 0.68 MB
  • 9 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Software notations and tools
  • Computing methodologies → Artificial intelligence
  • Theory of computation → Formal languages and automata theory
Keywords
  • Regex
  • LTL
  • Access Control
  • Generative AI
  • Human-in-the-Loop

Metrics

Artifact

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2026 Call for Artifacts and the ACM Artifact Review and Badging Policy.

Abstract

This artifact accompanies the paper Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages. It provides (1) the pick VS Code extension for regex synthesis with human-in-the-loop validation, and (2) anonymized user-study data and Docker images that reproduce the study interfaces and statistical analyses reported in the paper.

Cite As Get BibTex

Siddhartha Prasad, Skyler Austen, Kathi Fisler, and Shriram Krishnamurthi. Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages (Artifact). In Special Issue of the 40th European Conference on Object-Oriented Programming (ECOOP 2026). Dagstuhl Artifacts Series (DARTS), Volume 12, Issue 1, pp. 7:1-7:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/DARTS.12.1.7

Author Details

Siddhartha Prasad
  • Brown University, Providence, RI, USA
Skyler Austen
  • Brown University, Providence, RI, USA
Kathi Fisler
  • Brown University, Providence, RI, USA
Shriram Krishnamurthi
  • Brown University, Providence, RI, USA

Related Article

  • Siddhartha Prasad, Skyler Austen, Kathi Fisler, and Shriram Krishnamurthi, "Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages", in 40th European Conference on Object-Oriented Programming (ECOOP 2026), LIPIcs, Vol. 372, pp. 22:1-22:31, 2026. https://doi.org/10.4230/LIPIcs.ECOOP.2026.22
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact