Sunday, June 12, 2016

PLDI 2016, Let's Go!

My name is Daniel DeFreez, and I am a third-year PhD student at UC Davis, advised by Cindy Rubio-González. This is my second PLDI, but my first time volunteering.

My own research revolves around automatically inferring specifications for systems software. I am particularly interested in how program analysis techniques can be used to find defective error-handling behavior in complex systems such as Linux. But really, I just like building tools that break things.

I am impressed by this group of volunteers, and I look forward to meeting you all. See you soon!

No comments:

Post a Comment