Greetings to everybody @PLDI.
I am a 2nd Phd student at University of Utah, area of interest is static analysis and programming languages, working with Matthew Might, I am so exciting to attend PLDI (and ECOOP) this year.
I am going to present a paper at Programming languages and Analysis for Security (PLAS): Hash-flow Taint analysis for Higher-order programs. It is about static taint analysis based on abstract interpretation for scripting languages. I have my experiments on Python, while the technique can be applied to other scripting languages, to detect XSS attacks.
Wish you have wonderful time in Beijing!