Message

PhD student in Computer Science at Harvard. I work on LLM reasoning and verified programming. My email is shenniger@g.harvard.edu.

7mo

Simon Henniger

PhD student in Computer Science at Harvard. I work on LLM reasoning and verified programming. My email is shenniger@g.harvard.edu.

Simon Henniger — LessWrong

Simon Henniger

Message

PhD student in Computer Science at Harvard. I work on LLM reasoning and verified programming. My email is shenniger@g.harvard.edu.

7mo

Simon Henniger

PhD student in Computer Science at Harvard. I work on LLM reasoning and verified programming. My email is shenniger@g.harvard.edu.

You Should Specify Your Code Unambiguously (and Prove That You Did)

I have a program that grants wishes, as long as I can state them precisely. Instead of implementing a Rust function, I describe what it should do, and the Djinn writes code that provably does exactly that. Suppose I want to sort a list. I write: djinn! { pub fn...

Oct 15•17

How to Solve Secure Program Synthesis

by Max von Hippel, Simon Henniger, miyazono, and Quinn

Introduction Secure program synthesis (SPS) is the problem of automatically generating, or “synthesizing”, software which is known to be secure. In practice, this manifests as the triple-task of synthesizing some software S, a specification φ saying what it would mean for S to be “secure”, and a proof P that...

Mar 30•26