• Sign in
  • Sign up
conf.researchr.org / Simon Henniger
  • ECOOP and ISSTA 2023 profile
  • POPL 2025 profile
No Photo

Registered user since Mon 15 May 2023

Name:Simon Henniger
Affiliation:Technical University of Munich

Contributions

2025

POPL

  • Committee Member in Student Volunteers

Dafny

  • Author of VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search within the Dafny 2025-track

2023

ECOOP

  • Author of The Dolorem Pattern: Growing a Language through Compile-Time Function Execution within the Research Papers-track
Share
xFri 23 May 23:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up