The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea). - Simon Henniger; Nada Amin (ECOOP, 2023)

The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact). - Simon Henniger; Nada Amin (Dagstuhl Artifacts Ser., 2023)

Verified Multi-Step Synthesis using Large Language Models and Monte Carlo Tree Search. - David Brandfonbrener; Sibi Raja; Tarun Prasad; Chloe Loughridge; Jianang Yang; Simon Henniger; William E. Byrd; Robert Zinkov; Nada Amin (CoRR, 2024)