POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France

This program is tentative and subject to change.

The Structured LLM project (https://structuredllm.com/) makes it easy to use syntactic and semantic constraints to get precise and reliable outputs from large language models (LLMs). Our research develops novel frameworks that ensure LLM-generated content adheres to specific format rules and grammar specifications for languages like JSON, SQL, Python, and Java. Through innovations like grammar augmentation, iterative structured generation with backtracking, and reasoning-augmented constrained decoding, we aim to eliminate syntax and semantic errors and improve the overall quality of structured outputs for applications in code generation, data serialization formats, and symbolic reasoning tasks. The tutorial will present the theory behind structured LLM generation, demos, and hands-on exercises. We will demonstrate how to incorporate the Structured LLM constrained generation tools during LLM inference to guarantee syntactic and semantic validity of structured outputs.

This program is tentative and subject to change.

Mon 12 Jan

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30
Syntactically and Semantically Constraining LLMsTutorials at Salle 20
09:00
90m
Tutorial
Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation
Tutorials
Sasa Misailovic University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research, Shubham Ugare Meta, Debangshu Banerjee UIUC, Tarun Suresh , Adharsh Kamath UIUC
11:00 - 12:30
Syntactically and Semantically Constraining LLMsTutorials at Salle 20
11:00
90m
Tutorial
Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation
Tutorials
Sasa Misailovic University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research, Shubham Ugare Meta, Debangshu Banerjee UIUC, Tarun Suresh , Adharsh Kamath UIUC