Tue 22 Oct 2024 12:05 - 12:15 at IBR East - Author Presentations with Discussants Chair(s): Sarah Lawsky

Catala (Merigoux et al. 2021) is a recent domain specific language that aims to simplify translation of legal statutes describing algorithmic decision processes (e.g., tax law or social benefits) into executable code. Its semantics is based on the default calculus, which makes apparent cases where a law – or the Catala implementation thereof – fails to account of a situation, either because a rule is lacking or because two rules of equal importance apply at the same time.

We present work in progress on CUTECat, a concolic testing engine for Catala programs. This engine aims to identify all of Catala domain-specific errors – and in particular errors related to the default calculus – while also yielding an output that can be easily understood, and therefore reviewed by lawyers.

Tue 22 Oct

Displayed time zone: Pacific Time (US & Canada) change

11:00 - 12:30
Author Presentations with DiscussantsProLaLa at IBR East
Chair(s): Sarah Lawsky Northwestern University

Four presenters will share work they’ve submitted that is either already published elsewhere or in progress. Two discussants will lead a conversation about the works. Presentation of short papers will be followed by a discussion prompt corresponding to a question or topic for which the authors are specifically requesting feedback.

11:00
20m
Talk
Metamorphic Debugging for Accountable Software
ProLaLa
Saeid Tizpaz-Niari University of Texas at El Paso, Shiva Darian University of Colorado Boulder, Ashutosh Trivedi University of Colorado Boulder
Pre-print
11:20
10m
Talk
Large Language Models for Executable Tax Code Generation
ProLaLa
Sam Estep Carnegie Mellon University, Vasudev Vikram Carnegie Mellon University
11:45
20m
Talk
Cross-Disciplinarity in Contemporary Code-Driven Legal Informatics
ProLaLa
12:05
10m
Talk
CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution
ProLaLa
Pierre Goutagny Inria and University of Lille, Aymeric Fromherz Inria, Raphaël Monat Inria and University of Lille