mspdx22

There was a talk about some novel ways to approach test suite generation and reduction at a PLDI workshop a few weeks ago. That work came from the compilers and programming languages tool domain:

https://pldi24.sigplan.org/home/egraphs-2024#program

Specifically, the EGSTRA paper.

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.