고성능 정적 프로그램 분석 기법

References

1. http://ropas.snu.ac.kr/sparrow/
2. Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, and Kwangkeun Yi. Design and Implementation of Sparse Global Analyses for C-like Languages. ACM SIGPLAN Conference on Programming Language Design and Implementation. 2012.
3. Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, and Kwangkeun Yi. Global Sparse Analysis Framework. ACM Transactions on Programming Languages and Systems, 36(3). Sept. 2014.
4. Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun Yi. Selective Context-Sensitivity Guided by Impact Pre-Analysis. ACM SIGPLAN Conference on Programming Language Design and Implementation. 2014.
5. Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, and Kwangkeun Yi. Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. TOPLAS: ACM Transactions on Programming Languages and Systems. 38(2). 2016.
6. Hakjoo Oh, Hongseok Yang, and Kwangkeun Yi. Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. 2015.