About me

I am Luca Beurer-Kellner, a PhD student at the Department of Computer Science, ETH Zürich. I am part of the Secure, Reliable, and Intelligent Systems Lab, supervised by Martin Vechev, since February 2021.

Education

ETH Zurich, September 2018 – December 2020: M.Sc. in Computer Science

Humboldt University of Berlin, September 2014 - April 2018: B.Sc. in Computer Science

Awards

  • Institute Award for Best Bachelor Thesis 2018, Humboldt University of Berlin

Publications

2024

Controlled Text Generation via Language Model Arithmetic
Jasper Dekoninck, Marc Fischer, Luca Beurer-Kellner, Martin Vechev
ICLR 2024 Spotlight
Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation
Luca Beurer-Kellner, Marc Fischer, Martin Vechev
arXiv 2024

2023

Prompt Sketching for Large Language Models
Luca Beurer-Kellner, Mark Niklas Müller, Marc Fischer, Martin Vechev
arXiv 2023
LMQL Chat: Scripted Chatbot Development
Luca Beurer-Kellner*, Marc Fischer*, Martin Vechev
Neural Conversational AI Workshop, TEACH -- ICML 2023 * Equal contribution
Large Language Models are Zero-Shot Multi-Tool Users
Luca Beurer-Kellner*, Marc Fischer*, Martin Vechev
Knowlege and Logical Reasoning Workshop -- ICML 2023 * Equal contribution
Prompting Is Programming: A Query Language for Large Language Models
Luca Beurer-Kellner, Marc Fischer, Martin Vechev
PLDI 2023

2022

Learning to Configure Computer Networks with Neural Algorithmic Reasoning
Luca Beurer-Kellner, Martin Vechev, Laurent Vanbever, Petar Veličković
NeurIPS 2022
On Distribution Shift in Learning-based Bug Detectors
Jingxuan He, Luca Beurer-Kellner, Martin Vechev
ICML 2022

2018

Static Serializability Analysis for Causal Consistency
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev
PLDI 2018

2017

Serializability for Eventual Consistency: Criterion, Analysis, and Applications
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev
ACM POPL 2017