Get started
Author

Kwang-Moo Choe

Observed names: KWANG-MOO CHOE, Kwang Moo Choe, Kwang-Moo CHOE, Kwang-Moo Choe Choe, Kwangmoo Choe
OpenAlex ID: A5111494161
Points-to analysis for JavaScript
2009 · Dongseok Jang, Kwang-Moo Choe · ACM Symposium on Applied Computing · 65
Interprocedural exception analysis for Java
2001 · Byeong-Mo Chang, Jang-Wu Jo, et al. · ACM Symposium on Applied Computing · 54
An uncaught exception analysis for Java
2003 · Jang-Wu Jo, Byeong-Mo Chang, et al. · Journal of Systems and Software · 48
Filtering false alarms of buffer overflow analysis using SMT solvers
2009 · Youil Kim, Jooyong Lee, et al. · Information and Software Technology · 40
Error repair with validation in LR-based parsing
2001 · Ik-Soon Kim, Kwang-Moo Choe · ACM Transactions on Programming Languages and Systems · 14
PDF
Region-based parallelization of irregular reductions on explicitly managed memory hierarchies
2009 · Seonggun Kim, Hwansoo Han, et al. · The Journal of Supercomputing · 7
An improved LALR(k) parser generation for regular right part grammars
1993 · Heung-Chul Shin, Kwang-Moo Choe · Information Processing Letters · 7
Cycle elimination for invocation graph-based context-sensitive pointer analysis
2011 · Woongsik Choi, Kwang-Moo Choe · Information and Software Technology · 6
String Analysis as an Abstract Interpretation
2011 · Se-Won Kim, Kwang-Moo Choe · Lecture notes in computer science · 6
String analysis as an abstract interpretation
2011 · Se-Won Kim, Kwang-Moo Choe · Verification, Model Checking and Abstract Interpretation · 5
Refining schizophrenia via graph reachability in esterel
2009 · Jeong-Han Yun, Chul-Joo Kim, et al. · 4
Exact type parameterization and ThisType support
2012 · Hyunik Na, Sukyoung Ryu, et al. · Types In Languages Design And Implementation · 3
An efficient computation of right context for LR-based error repair
1994 · Min-Soo Jung, Kwang-Moo Choe, et al. · Information Processing Letters · 3
SLR(k) covering for LR(k) grammars
1991 · Myung-Joon Lee, Kwang-Moo Choe · Information Processing Letters · 3
Efficient computation of the locally least-cost insertion string for the LR error repair
1986 · Kwang-Moo Choe, Chun-Hyon Chang · Information Processing Letters · 3
A Powerful LL( k ) Covering Transformation
2005 · Gyung-Ok Lee, Kwang-Moo Choe · SIAM Journal on Computing · 2
An LR parser with pre-determined reduction goals
1999 · Gyung-Ok Lee, Kwang-Moo Choe · Information Processing Letters · 2
Multiple Backtracking in the and Process of Logic Programming.
1997 · Kwang Moo Choe, Myung Joon Lee, et al. · IEEE Region 10 Conference (TENCON) · 2
Detection of harmful schizophrenic statements in esterel
2013 · Jeong-Han Yun, Chul-Joo Kim, et al. · ACM Transactions on Embedded Computing Systems · 1
Over-Approximated Control Flow Graph Construction on Pure Esterel
2010 · Chul-Joo KIM, Jeong-Han YUN, et al. · IEICE Transactions on Information and Systems · 1
PDF
Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation
1994 · Byeong-Mo Chang, Kwang-Moo Choe, et al. · ACM Symposium on Applied Computing · 1
PDF
Efficient bottom-up execution of logic programs using abstract interpretation
1993 · Byeong-Mo Chang, Kwang-Moo Choe, et al. · Information Processing Letters · 1
Syntactic error repair using repair patterns
1993 · In-Sig Yun, Kwang-Moo Choe, et al. · Information Processing Letters · 1
Refined Mark(s)-set-based Backtrack Literal Selection for and Parallelism in Logic Programs
1992 · DO-HYUNG KIM, KWANG-MOO CHOE, et al. · Parallel Processing Letters · 1
Yet another efficient backward execution algorithm in the AND/OR process model
1991 · Do-Hyung Kim, Kwang-Moo Choe · Information Processing Letters · 1
Works count: 45
Citation count: 281
H-index: 7
I10-index: 5
Year
Topic
Type