An uncaught exception analysis for Java
Jo, Jang-Wu, Chang, Byeong-Mo, Yi, Kwangkeun, Choe, Kwang-Moo
Published in The Journal of systems and software (01.06.2004)
Published in The Journal of systems and software (01.06.2004)
Get full text
Journal Article
Filtering false alarms of buffer overflow analysis using SMT solvers
Kim, Youil, Lee, Jooyong, Han, Hwansoo, Choe, Kwang-Moo
Published in Information and software technology (01.02.2010)
Published in Information and software technology (01.02.2010)
Get full text
Journal Article
Region-based parallelization of irregular reductions on explicitly managed memory hierarchies
Kim, Seonggun, Han, Hwansoo, Choe, Kwang-Moo
Published in The Journal of supercomputing (01.04.2011)
Published in The Journal of supercomputing (01.04.2011)
Get full text
Journal Article
Composition-based Cache simulation for structure reorganization
Shin, Keoncheol, Han, Hwansoo, Choe, Kwang-Moo
Published in Journal of systems architecture (01.02.2010)
Published in Journal of systems architecture (01.02.2010)
Get full text
Journal Article
Efficient bottom-up execution of logic programs using abstract interpretation
Chang, Byeong-Mo, Choe, Kwang-Moo, Han, Taisook
Published in Information processing letters (14.09.1993)
Published in Information processing letters (14.09.1993)
Get full text
Journal Article
A description of dynamic behavior for compilers based on object oriented modeling
Lee, DongGill, Choe, Kwang-Moo, Han, Taisook
Published in Information processing letters (29.11.1993)
Published in Information processing letters (29.11.1993)
Get full text
Journal Article
Static filtering on stratified programs
Chang, Byeong-Mo, Choe, Kwang-Moo, Han, Taisook
Published in Information processing letters (08.10.1993)
Published in Information processing letters (08.10.1993)
Get full text
Journal Article
On the reduction of LR( k) parsers
Park, Woo-Jun, Lee, Myung-Joon, Choe, Kwang-Moo
Published in Information processing letters (08.10.1993)
Published in Information processing letters (08.10.1993)
Get full text
Journal Article
Path for AND-parallel execution of logic programs
Lee, Su-Hyun, Kim, Do-Hyung, Choe, Kwang-Moo
Published in Information processing letters (25.11.1994)
Published in Information processing letters (25.11.1994)
Get full text
Journal Article