발행물

전체 논문

95

91

Sound Non-Statistical Clustering of Static Analysis Alarms
이우석
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2017

92

Static Analysis with Set-closure in Secrecy
이우석, 홍현숙, 이광근, 천정희
22nd International Static Analysis Symposium, 2015

93

A Progress Bar for Static Analyzers
이우석, 오학주, 이광근
21st International Static Analysis Symposium, 2014

94

Design and Implementation of Sparse Global Analyses for C-like Languages
Oh, H, Heo, K, Lee, W, Yi, K, Lee, Wonchan
ACM SIGPLAN NOTICES, 2012

95

분할 정복 및 요약해석 기반 JavaScript 프로그램 합성
이우석
정보과학회논문지, 2021