Round-trip migration of object-oriented data model instances. - Luca Beurer-Kellner; Jens von Pilgrim; Timo Kehrer (TTC/, 2020)

On Distribution Shift in Learning-based Bug Detectors. - Jingxuan He; Luca Beurer-Kellner; Martin T. Vechev (ICML, 2022)

Learning to Configure Computer Networks with Neural Algorithmic Reasoning. - Luca Beurer-Kellner; Martin T. Vechev; Laurent Vanbever; Petar Velickovic (NeurIPS, 2022)

Prompting Is Programming: A Query Language for Large Language Models. - Luca Beurer-Kellner; Marc Fischer 002; Martin T. Vechev (Proc. ACM Program. Lang., 2023)

A Transformational Approach to Managing Data Model Evolution of Web Services. - Luca Beurer-Kellner; Jens von Pilgrim; Christos Tsigkanos; Timo Kehrer (IEEE Trans. Serv. Comput., 2023)

Controlled Text Generation via Language Model Arithmetic. - Jasper Dekoninck; Marc Fischer 002; Luca Beurer-Kellner; Martin T. Vechev (ICLR, 2024)

Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation. - Luca Beurer-Kellner; Marc Fischer 002; Martin T. Vechev (ICML, 2024)

Prompt Sketching for Large Language Models. - Luca Beurer-Kellner; Mark Niklas Müller; Marc Fischer 002; Martin T. Vechev (ICML, 2024)

AgentDojo: A Dynamic Environment to Evaluate Prompt Injection Attacks and Defenses for LLM Agents. - Edoardo Debenedetti; Jie Zhang 107; Mislav Balunovic; Luca Beurer-Kellner; Marc Fischer 002; Florian Tramèr (NeurIPS, 2024)

AgentDojo: A Dynamic Environment to Evaluate Attacks and Defenses for LLM Agents. - Edoardo Debenedetti; Jie Zhang 107; Mislav Balunovic; Luca Beurer-Kellner; Marc Fischer 002; Florian Tramèr (CoRR, 2024)

Design Patterns for Securing LLM Agents against Prompt Injections. - Luca Beurer-Kellner; Beat Buesser; Ana-Maria Cretu 001; Edoardo Debenedetti; Daniel Dobos; Daniel Fabian; Marc Fischer 002; David Froelicher; Kathrin Grosse; Daniel Naeff; Ezinwanne Ozoani; Andrew Paverd; et al. (CoRR, 2025)