I do research in programming languages, compilers, and program analysis for a living. I’ve got some ideas outside the day job in the same area I’m looking for

I do research in programming languages, compilers, and program analysis for a living. I’ve got some ideas outside the day job in the same area I’m looking for collaborators on: 1. I am interested in exploring program synthesis techniques tailored for people who don’t want to go deep in learning PL theory or tooling. I am specifically interested in this related to some modeling and simulation projects I work on. 2. I have an old program refinement system I created a few years ago based on an ML derivative that I wouldn’t mind getting some feedback on. More broadly, I’m happy to chat with people interested in PL ideas. Email in profile.