Kwang-Moo Choe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1994–2011
Best venue rank
Multiconference
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | VMCAI | String Analysis as an Abstract Interpretation. | Se-Won Kim, Kwang-Moo Choe |
| 2009 | MEMOCODE | Refining schizophrenia via graph reachability in Esterel. | Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe |
| 2009 | SAC | Points-to analysis for JavaScript. | Dongseok Jang, Kwang-Moo Choe |
| 2001 | SAC | Interprocedural exception analysis for Java. | Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe |
| 1994 | SAC | Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. | Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi |