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

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