The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kwangkeun Yi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kwangkeun Yi, Williams Ludwell Harrison III
    Automatic Generation and Management of Interprocedural Program Analyses. [Citation Graph (1, 0)][DBLP]
    POPL, 1993, pp:246-259 [Conf]
  2. Jungtaek Kim, Kwangkeun Yi
    Partial CPS Transformation Using Static Annotation. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:193-202 [Conf]
  3. Oukseh Lee, Kwangkeun Yi
    A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:79-88 [Conf]
  4. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
    Inserting Safe Memory Re-use Commands into ML-like Programs. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:317-333 [Conf]
  5. Kwangkeun Yi, Hyunjun Eo
    Static Extensionality Checking for Lambda-Definable Functions Over Lattices. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:128-144 [Conf]
  6. Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi
    Data Flow Analysis of Secure Information-Flow. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:352-365 [Conf]
  7. Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi
    Type and Effect System for Multi-staged Exceptions. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:61-78 [Conf]
  8. Hyunjun Eo, Kwangkeun Yi
    An Improved Differential Fixpoint Iteration Method for Program Analysis. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:285-301 [Conf]
  9. Andrzej S. Murawski, Kwangkeun Yi
    Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:345-362 [Conf]
  10. Jeff Polakow, Kwangkeun Yi
    Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:23-32 [Conf]
  11. Sunae Seo, Hongseok Yang, Kwangkeun Yi
    Automatic Construction of Hoare Proofs from Abstract Interpretation Results. [Citation Graph (0, 0)][DBLP]
    APLAS, 2003, pp:230-245 [Conf]
  12. Nikolay V. Shilov, Kwangkeun Yi
    A Note on Model Checkers Reuse and Validation. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:69-77 [Conf]
  13. Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun
    Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:455-460 [Conf]
  14. Kwangkeun Yi, Byeong-Mo Chang
    Exception Analysis for Java. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:111-112 [Conf]
  15. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
    Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:124-140 [Conf]
  16. Jeff Polakow, Kwangkeun Yi
    Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:61-77 [Conf]
  17. Oukseh Lee, Kwangkeun Yi
    Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. [Citation Graph (0, 0)][DBLP]
    ISMM, 2004, pp:97-107 [Conf]
  18. Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno
    A polymorphic modal type system for lisp-like multi-staged languages. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:257-268 [Conf]
  19. Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe
    Interprocedural exception analysis for Java. [Citation Graph (0, 0)][DBLP]
    SAC, 2001, pp:620-625 [Conf]
  20. Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi
    Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:203-217 [Conf]
  21. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
    Inserting Safe Memory Reuse Commands into ML-Like Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:171-188 [Conf]
  22. Kwangkeun Yi
    Compile-time Detection of Uncaught Exceptions in Standard ML Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:238-254 [Conf]
  23. Kwangkeun Yi, Sukyoung Ryu
    Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1997, pp:98-113 [Conf]
  24. Andrzej S. Murawski, Kwangkeun Yi
    Static Monotonicity Analysis for lambda-definable Functions over Lattices. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:139-153 [Conf]
  25. Chanjin Park, Yoohoon Kang, Chisu Wu, Kwangkeun Yi
    A Static Reference Flow Analysis to Understand Design Pattern Behavior. [Citation Graph (0, 0)][DBLP]
    WCRE, 2004, pp:300-301 [Conf]
  26. Nikolay V. Shilov, Kwangkeun Yi
    Engaging students with theory through ACM collegiate programming contest. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2002, v:45, n:9, pp:98-101 [Journal]
  27. Oukseh Lee, Kwangkeun Yi, Yunheung Paek
    A proof method for the correctness of modularized 0CFA. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2002, v:81, n:4, pp:179-185 [Journal]
  28. Kwangkeun Yi, Hosik Choi, Jaehwang Kim, Yongdai Kim
    An empirical study on classification methods for alarms from a bug-finding static C analyzer. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2007, v:102, n:2-3, pp:118-123 [Journal]
  29. Kwangkeun Yi
    Educational Pearl: 'Proof-directed debugging' revisited for a first-order version. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:6, pp:663-670 [Journal]
  30. Li-Ling Chen, Williams Ludwell Harrison III, Kwangkeun Yi
    Efficient computation of fixpoints that arise in complex program analysis. [Citation Graph (0, 0)][DBLP]
    J. Prog. Lang., 1995, v:3, n:1, pp:- [Journal]
  31. Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe
    An uncaught exception analysis for Java. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2004, v:72, n:1, pp:59-69 [Journal]
  32. Hyunjun Eo, Oukseh Lee, Kwangkeun Yi
    Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2003, v:22, n:1, pp:- [Journal]
  33. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
    Static insertion of safe and effective memory reuse commands into ML-like programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:1-2, pp:141-178 [Journal]
  34. Kwangkeun Yi
    An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:31, n:1, pp:147-173 [Journal]
  35. Kwangkeun Yi, Sukyoung Ryu
    A cost-effective estimation of uncaught exceptions in Standard ML programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:277, n:1-2, pp:185-217 [Journal]
  36. Oukseh Lee, Kwangkeun Yi
    Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:4, pp:707-723 [Journal]
  37. Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han
    Goal-directed weakening of abstract interpretation results. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:6, pp:- [Journal]

  38. Test Coverage Metric for Two-Staged Language with Abstract Interpretation. [Citation Graph (, )][DBLP]


  39. Identifying static analysis techniques for finding non-fix hunks in fix revisions. [Citation Graph (, )][DBLP]


  40. Abstract parsing for two-staged languages with concatenation. [Citation Graph (, )][DBLP]


  41. Practical memory leak detector based on parameterized procedural summaries. [Citation Graph (, )][DBLP]


  42. Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. [Citation Graph (, )][DBLP]


Search in 0.055secs, Finished in 0.057secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002