Niels Mündler

According to our database, Niels Mündler authored at least 17 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Coding Agents Don't Know When to Act.

Thibaud Gloaguen, Niels Mündler, Mark Niklas Müller, Veselin Raychev, Martin T. Vechev

CoRR, May, 2026

SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization.

Hao Wang, Niels Mündler, Mark Vero, Jingxuan He, Dawn Song, Martin T. Vechev

CoRR, April, 2026

CodeTaste: Can LLMs Generate Human-Level Code Refactorings?

Alex Thillen, Niels Mündler, Veselin Raychev, Martin T. Vechev

CoRR, March, 2026

Evaluating AGENTS.md: Are Repository-Level Context Files Helpful for Coding Agents?

Thibaud Gloaguen, Niels Mündler, Mark Niklas Müller, Veselin Raychev, Martin T. Vechev

CoRR, February, 2026

2025

AutoBaxBuilder: Bootstrapping Code Security Benchmarking.

Tobias von Arx, Niels Mündler, Mark Vero, Maximilian Baader, Martin T. Vechev

CoRR, December, 2025

Constrained Decoding of Diffusion LLMs with Context-Free Grammars.

Niels Mündler, Jasper Dekoninck, Martin T. Vechev

CoRR, August, 2025

Type-Constrained Code Generation with Language Models.

Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin T. Vechev

Proc. ACM Program. Lang., 2025

BaxBench: Can LLMs Generate Correct and Secure Backends?

Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev

Proceedings of the Forty-second International Conference on Machine Learning, 2025

Black-Box Adversarial Attacks on LLM-Based Code Completion.

Slobodan Jenko, Niels Mündler, Jingxuan He, Mark Vero, Martin T. Vechev

Proceedings of the Forty-second International Conference on Machine Learning, 2025

2024

Practical Attacks against Black-box Code Completion Engines.

Slobodan Jenko, Jingxuan He, Niels Mündler, Mark Vero, Martin T. Vechev

CoRR, 2024

Code Agents are State of the Art Software Testers.

Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin T. Vechev

CoRR, 2024

SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents.

Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation.

Niels Mündler, Jingxuan He, Slobodan Jenko, Martin T. Vechev

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2022

A Verified Implementation of B+-Trees in Isabelle/HOL.

Niels Mündler, Tobias Nipkow

CoRR, 2022

A Verified Implementation of B⁺-Trees in Isabelle/HOL.

Niels Mündler, Tobias Nipkow

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

A Verified Imperative Implementation of B-Trees.

Niels Mündler

Arch. Formal Proofs, 2021

2019

Association rule mining and itemset-correlation based variants.

Niels Mündler

CoRR, 2019