팔로우
Kwangkeun Yi
Kwangkeun Yi
Professor of Computer Science & Engineering, Seoul National University
ropas.snu.ac.kr의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
ScanDal: Static analyzer for detecting privacy leaks in android applications
J Kim, Y Yoon, K Yi, J Shin, S Center
MoST 12 (110), 1, 2012
2812012
Proofs about a folklore let-polymorphic type inference algorithm
O Lee, K Yi
ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (4), 707-723, 1998
1611998
Taming false alarms from a domain-unaware C analyzer by a bayesian statistical post analysis
Y Jung, J Kim, J Shin, K Yi
International Static Analysis Symposium, 203-217, 2005
1312005
Design and implementation of sparse global analyses for C-like languages
H Oh, K Heo, W Lee, W Lee, K Yi
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
1272012
Automatic verification of pointer programs using grammar-based shape analysis
O Lee, H Yang, K Yi
Programming Languages and Systems: 14th European Symposium on Programming …, 2005
1092005
Selective context-sensitivity guided by impact pre-analysis
H Oh, W Lee, K Heo, H Yang, K Yi
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
972014
Automatic generation and management of interprocedural program analyses
K Yi, WL Harrison III
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
891993
A polymorphic modal type system for lisp-like multi-staged languages
IS Kim, K Yi, C Calcagno
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
872006
Interprocedural exception analysis for Java
BM Chang, JW Jo, K Yi, KM Choe
Proceedings of the 2001 ACM symposium on Applied computing, 620-625, 2001
862001
Introduction to static analysis: an abstract interpretation perspective
X Rival, K Yi
Mit Press, 2020
782020
Practical memory leak detector based on parameterized procedural summaries
Y Jung, K Yi
Proceedings of the 7th international symposium on Memory management, 131-140, 2008
762008
Improving code review by predicting reviewers and acceptance of patches
G Jeong, S Kim, T Zimmermann, K Yi
Research on software analysis for error-free computing center Tech-Memo …, 2009
722009
Learning a strategy for adapting a program analysis via bayesian optimisation
H Oh, H Yang, K Yi
ACM SIGPLAN Notices 50 (10), 572-588, 2015
692015
An uncaught exception analysis for Java
JW Jo, BM Chang, K Yi, KM Choe
Journal of systems and software 72 (1), 59-69, 2004
672004
Machine-learning-guided selectively unsound static analysis
K Heo, H Oh, K Yi
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
632017
Towards a cost-effective estimation of uncaught exceptions in SML programs
K Yi, S Ryu
Static Analysis: 4th International Symposium, SAS'97 Paris, France …, 1997
601997
Sound non-statistical clustering of static analysis alarms
W Lee, W Lee, K Yi
Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
582012
A cost-effective estimation of uncaught exceptions in Standard ML programs
K Yi, S Ryu
Theoretical Computer Science 277 (1-2), 185-217, 2002
492002
Automatic construction of Hoare proofs from abstract interpretation results
S Seo, H Yang, K Yi
Programming Languages and Systems: First Asian Symposium, APLAS 2003 …, 2003
482003
Automatically inferring quantified loop invariants by algorithmic learning from simple templates
S Kong, Y Jung, C David, BY Wang, K Yi
Asian Symposium on Programming Languages and Systems, 328-343, 2010
462010
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20