If you're interested, I will be giving a talk on Tuesday at 9:15am. The paper is "Efficient Synthesis of Network Updates", and it's about an approach for automatically synthesizing correct software-defined network (SDN) programs. You can also check out the video abstract for more info.
The things I'm most looking forward to at the conference are
- meeting people, discussing possibilities for future collaborations, chatting with current collaborators, and
- learning more about the exciting topics at PLDI (I'm especially interested in program synthesis, so I hope to attend many/all of those talks).
See you all in Portland!