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
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