Simon Henniger

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Pattern Languages

Pattern Matching

Integrity Constraints

Execution Model

Top Venues

Dagstuhl Artifacts Ser.

Publications

David Brandfonbrener, Sibi Raja, Tarun Prasad, Chloe Loughridge, Jianang Yang, Simon Henniger, William E. Byrd, Robert Zinkov, Nada Amin
Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search. CoRR (2024)
Simon Henniger, Nada Amin
The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea). ECOOP (2023)
Simon Henniger, Nada Amin
The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)