Viewing profile — 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 languag…

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. …