ECOOP 2026
Mon 29 June - Fri 3 July 2026 Brussels, Belgium

This program is tentative and subject to change.

Mon 29 Jun 2026 12:07 - 12:30 at I.2.02 - Specification and Analysis Chair(s): Jens Nicolay

In programmatic CAD (PCAD), 3D shapes are generally modelled either by position-based composition of simpler shapes, or by direct generation via path-based techniques (e.g., extrusions, sweeps, revolves). While state-of-the-art PCAD tools effectively support position-based modelling, they lack expressive mechanisms for path-based modelling. As a result, shapes that are naturally formed by sweeping a 2D path into a 3D shape are difficult to model and use in these tools. This paper introduces TurtleTalk, a PCAD language that offers rich support for constructing path-based shapes and the composition of path-based and primitive shapes. TurtleTalk is an extension of PrintTalk, a PCAD language featuring constraints for composing constituent shapes into complex 3D models. TurtleTalk takes inspiration from turtle graphics for constructing paths by imperative instructions and uniquely integrates constraints to enable the declarative expression of path properties. Our evaluation shows that combining imperative instructions and declarative constraints facilitates the design of path-based shapes by reducing the need for complex manual calculations while also enhancing their composability and reusability.

This program is tentative and subject to change.

Mon 29 Jun

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

11:00 - 12:30
Specification and AnalysisGPCE at I.2.02
Chair(s): Jens Nicolay Vrije Universiteit Brussel
11:00
22m
Talk
Comparing Solver Representations for Analyzing Cardinality-Based Feature Models
GPCE
Fabian Eger Karlsruhe Institute of Technology, Lukas Güthing Karlsruhe Institute of Technology, Kevin Feichtinger Karlsruhe Institute of Technology (KIT), Ina Schaefer KIT
11:22
22m
Talk
ATLAS: From Access conTrol Language to ACSL Specifications
GPCE
Julien Signoles Université Paris-Saclay, CEA, List, Khaoula Boukir Ibn Tofail University, Amine Nasri Université Paris-Saclay, CEA, List & Ibn Tofail University
11:45
22m
Talk
Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in Static Analysis
GPCE
12:07
22m
Talk
TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CAD
GPCE
Jef Jacobs Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel