Browse > Article

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

O, Hak-Ju (고려대학교)
Publication Information
Communications of the Korean Institute of Information Scientists and Engineers / v.34, no.3, 2016 , pp. 15-18 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
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.