Pre-PLDI 2016

Hello, I am Sungkeun Cho, a PhD student of Kwangkeun Yi at Seoul National University, Korea. This is my first PLDI, so I am very excited to see the greatest works in the programming language area. In the SRC poster session, I will present an automatic generation system of static analyzers. I think it would be helpful to get various comments from you. Please come and share your ideas with me, especially if you are interested in static analysis and its formal verification. I hope to see you there.