Tag research
Minkyoung Jeong took 학부생부문 최우수상 at KCC...
Minkyoung Jeong, a undergraduate student in our lab, took 학부생부문...
'CaLLi: OCaml Library for Static Analysis of...
The paper “CaLLi: OCaml Library for Static Analysis of LLVM...
Soyeon Baek took the best presentation paper...
Soyeon Baek, a master student in our lab, took the...
'Declarative Static Analysis for Multilingual Programs using...
The paper “Declarative Static Analysis for Multilingual Programs using CodeQL”...
'Static Analysis of JNI Programs via Binary...
The paper “Static Analysis of JNI Programs via Binary Decompilation”...
Two papers are accepted at KSC 2022!...
Two papers are accepted at KSC 2022 that will be...
'JUSTGen: Effective Test Generation for Unspecified JNI...
The paper “JUSTGen: Effective Test Generation for Unspecified JNI Behaviors...
Prof. Sungho Lee won ACM SIGSOFT Distinguished...
Prof. Sungho Lee received ACM SIGSOFT Distinguished Paper Award in...
Tag paper
Minkyoung Jeong took 학부생부문 최우수상 at KCC...
Minkyoung Jeong, a undergraduate student in our lab, took 학부생부문...
'CaLLi: OCaml Library for Static Analysis of...
The paper “CaLLi: OCaml Library for Static Analysis of LLVM...
Soyeon Baek took the best presentation paper...
Soyeon Baek, a master student in our lab, took the...
'Declarative Static Analysis for Multilingual Programs using...
The paper “Declarative Static Analysis for Multilingual Programs using CodeQL”...
'Static Analysis of JNI Programs via Binary...
The paper “Static Analysis of JNI Programs via Binary Decompilation”...
Two papers are accepted at KSC 2022!...
Two papers are accepted at KSC 2022 that will be...