‹Programming› 2026
Mon 16 - Fri 20 March 2026 Munich, Germany
Wed 18 Mar 2026 14:15 - 15:00 at Lecture Hall - Type systems Chair(s): Ben Greenman

Data protection laws such as GDPR aim to give users unprecedented control over their personal data. Compliance with these regulations requires systematically considering information flow and interactions among entities handling sensitive data. Privacy-by-design principles advocate embedding data protection into system architectures as a default. However, translating these abstract principles into concrete, explicit methods remains a significant challenge. This paper addresses this gap by proposing a language-based approach to privacy integration, combining static and runtime techniques. By employing type checking and type inference in an active object language, the framework enables the tracking of authorised data flows and the automatic generation of constraints checked at runtime based on user consent. This ensures that personal data is processed in compliance with GDPR constraints.The key contribution of this work is a type system that systematically enforces privacy policies and integrates compliance verification into system execution. The paper demonstrates the feasibility of this approach through a soundness proof and several examples, illustrating how the proposed language addresses common GDPR requirements, such as user consent, purpose limitation, and data subject rights. This work advances the state of the art in privacy-aware system design by offering a systematic and automated method for integrating GDPR compliance into programming languages. This capability has implications for building trustworthy systems in domains such as healthcare or finance, where data privacy is crucial.

Wed 18 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
Type systemsResearch Papers at Lecture Hall
Chair(s): Ben Greenman University of Utah, USA
13:30
45m
Talk
Filling the Gaps of Polarity
Research Papers
Bohdan Liesnikov Delft University of Technology, David Binder University of Kent, UK, Tim Süberkrüb University of Tübingen
DOI
14:15
45m
Talk
A Type System for Data Privacy Compliance in Active Object Languages
Research Papers
Chinmayi Prabhu Baramashetru University of Oslo, Paola Giannini University of Eastern Piedmont, Silvia Lizeth Tapia Tarifa University of Oslo, Norway, Olaf Owe University of Oslo
DOI