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