Hi all,
I am Gang Fan a PhD student of Prof. Charles Zhang at HKUST. This will be my first time attending PLDI and my second time being a volunteer (The first is FSE HK). I am really looking forward to meet some great researchers and students.
This time I will present an SRC paper "Snagle: A lightweight sparse conditional null pointer and unreachable code analysis", which is a part of a bigger program verification project.
I will also attend the SOSP workshop in which one of my group mates will present another part of this project.
See you all there~
Gang
No comments:
Post a Comment