I am Kihong Heo from Seoul National University, Korea. I am a Ph. D student supervised by Prof. Kwangkeun Yi and studying static analysis. I am so excited to have a chance to present my research "Efficient Global Octagon Analysis in the Big Data Era" in the poster session. My main research topic is to achieve precise yet scalable static analysis using abstract interpretation and machine learning. So, I hope to share my research and discuss it with other students also.
I am looking forward to meeting you next week.