ROSAEC center Seoul National University

Seminars & Workshops

Speaker:Se-Won Kim , KAIST
When:2010-11-11 16:00
Place:Room 308, Bldg 302, SNU


I will present a string analysis designed within abstract interpretation framework. To this end, I introduce novel predicates which are derived from the reference pushdown automaton. Using these predicates, we can design a conjunctive domain whose element is a conjunction of the predicates. We can establish the correctness relation by Galois connection and define correct abstract concatenation operation on the domain. I also present a family of pushdown automata called epsilon bounded pushdown automata. This family covers all context-free languages. By using this family of pushdown automata, we can prevent abstract values from becoming infinite conjunctions and guarantee that all the operations required in the analyzer are computable. Using our string analyzer designed in abstract interpretation framework, we can easily compose the string analysis with other analyses to improve the precision, and it is also possible to design modular string analyzer.

Short bio

Se-Won Kim is currently a PhD student at KAIST, under the supervision of Prof. Kwang-Moo Choe and Prof. Sukyoung Ryu. He recieved his B.S. from KAIST in 2002. He started his graduate studies in 2002 at the ROPAS KAIST. Currently, his research focuses on the static analysis of string manipulating programs.

© Copyright 2008-2010 ROSAEC Center, Seoul National University