default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKwangkeun Yi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j26]Yongho Yoon
, Woosuk Lee, Kwangkeun Yi:
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation. Proc. ACM Program. Lang. 7(PLDI): 1657-1681 (2023)- [j25]DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi:
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Trans. Program. Lang. Syst. 45(3): 16:1-16:37 (2023) - [i3]Yongho Yoon, Woosuk Lee, Kwangkeun Yi:
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation. CoRR abs/2304.10768 (2023) - 2022
- [c51]Ho Young Jhoo, Sehoon Kim, Woosung Song, Kyuyeon Park, DongKwon Lee, Kwangkeun Yi:
A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code. ICSE-Companion 2022: 337-338 - 2021
- [i2]Ho Young Jhoo, Sehoon Kim, Woosung Song, Kyuyeon Park, DongKwon Lee, Kwangkeun Yi:
A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code. CoRR abs/2112.09037 (2021) - 2020
- [c50]DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi:
Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. PLDI 2020: 503-518
2010 – 2019
- 2018
- [j24]Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi:
Adaptive Static Analysis via Learning with Bayesian Optimization. ACM Trans. Program. Lang. Syst. 40(4): 14:1-14:37 (2018) - [c49]Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi:
Crellvm: verified credible compilation for LLVM. PLDI 2018: 631-645 - 2017
- [j23]Kihong Heo, Hakjoo Oh, Kwangkeun Yi:
Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis. Softw. Pract. Exp. 47(11): 1677-1705 (2017) - [j22]Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi:
Sound Non-Statistical Clustering of Static Analysis Alarms. ACM Trans. Program. Lang. Syst. 39(4): 16:1-16:35 (2017) - [c48]Kihong Heo, Hakjoo Oh, Kwangkeun Yi:
Machine-learning-guided selectively unsound static analysis. ICSE 2017: 519-529 - 2016
- [j21]Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi:
Widening with thresholds via binary search. Softw. Pract. Exp. 46(10): 1317-1328 (2016) - [j20]Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi:
Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. ACM Trans. Program. Lang. Syst. 38(2): 6:1-6:45 (2016) - 2015
- [j19]Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi:
Automatically inferring loop invariants via algorithmic learning. Math. Struct. Comput. Sci. 25(4): 892-915 (2015) - [c47]Hakjoo Oh, Hongseok Yang, Kwangkeun Yi:
Learning a strategy for adapting a program analysis via bayesian optimisation. OOPSLA 2015: 572-588 - [c46]Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon:
Static Analysis with Set-Closure in Secrecy. SAS 2015: 18-35 - 2014
- [j18]Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi:
Global Sparse Analysis Framework. ACM Trans. Program. Lang. Syst. 36(3): 8:1-8:44 (2014) - [c45]Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi:
Selective context-sensitivity guided by impact pre-analysis. PLDI 2014: 475-484 - [c44]Woosuk Lee, Hakjoo Oh, Kwangkeun Yi:
A Progress Bar for Static Analyzers. SAS 2014: 184-200 - 2013
- [j17]Hakjoo Oh, Kwangkeun Yi:
Access-based abstract memory localization in static analysis. Sci. Comput. Program. 78(9): 1701-1727 (2013) - 2012
- [j16]Wonchan Lee, Yungbum Jung, Bow-Yaw Wang, Kwangkeun Yi:
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. Log. Methods Comput. Sci. 8(3) (2012) - [c43]Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi:
Termination Analysis with Algorithmic Learning. CAV 2012: 88-104 - [c42]Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi:
GMeta: A Generic Formal Metatheory Framework for First-Order Representations. ESOP 2012: 436-455 - [c41]Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi:
The implicit calculus: a new foundation for generic programming. PLDI 2012: 35-44 - [c40]Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi:
Design and implementation of sparse global analyses for C-like languages. PLDI 2012: 229-238 - [c39]Woosuk Lee, Wonchan Lee, Kwangkeun Yi:
Sound Non-statistical Clustering of Static Analysis Alarms. VMCAI 2012: 299-314 - [i1]Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi:
Extended Report: The Implicit Calculus. CoRR abs/1203.4499 (2012) - 2011
- [c38]Hakjoo Oh, Kwangkeun Yi:
Access-Based Localization with Bypassing. APLAS 2011: 50-65 - [c37]Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun Yi:
MeCC: memory comparison-based clone detector. ICSE 2011: 301-310 - [c36]Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta:
Static analysis of multi-staged programs via unstaging translation. POPL 2011: 81-92 - [c35]Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi:
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. TACAS 2011: 205-219 - [c34]Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi:
Access Analysis-Based Tight Localization of Abstract Memories. VMCAI 2011: 356-370 - 2010
- [j15]Ik-Soon Kim, Kwangkeun Yi:
LR error repair using the A* algorithm. Acta Informatica 47(3): 179-207 (2010) - [j14]Hakjoo Oh, Kwangkeun Yi:
An algorithmic mitigation of large spurious interprocedural cycles in static analysis. Softw. Pract. Exp. 40(8): 585-603 (2010) - [c33]Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi:
Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. APLAS 2010: 328-343 - [c32]Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi:
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. VMCAI 2010: 180-196
2000 – 2009
- 2009
- [c31]Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik, Chisu Wu, Kwangkeun Yi:
Test Coverage Metric for Two-Staged Language with Abstract Interpretation. APSEC 2009: 301-308 - [c30]Yungbum Jung, Hakjoo Oh, Kwangkeun Yi:
Identifying static analysis techniques for finding non-fix hunks in fix revisions. CIKM-DSMM 2009: 13-18 - [c29]Soonho Kong, Wontae Choi, Kwangkeun Yi:
Abstract parsing for two-staged languages with concatenation. GPCE 2009: 109-116 - 2008
- [c28]Yungbum Jung, Kwangkeun Yi:
Practical memory leak detector based on parameterized procedural summaries. ISMM 2008: 131-140 - 2007
- [j13]Kwangkeun Yi, Hosik Choi, Jaehwang Kim, Yongdai Kim:
An empirical study on classification methods for alarms from a bug-finding static C analyzer. Inf. Process. Lett. 102(2-3): 118-123 (2007) - [j12]Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han:
Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29(6): 39 (2007) - 2006
- [j11]Kwangkeun Yi:
Educational Pearl: 'Proof-directed debugging' revisited for a first-order version. J. Funct. Program. 16(6): 663-670 (2006) - [c27]Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi:
Type and Effect System for Multi-staged Exceptions. APLAS 2006: 61-78 - [c26]Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno:
A polymorphic modal type system for lisp-like multi-staged languages. POPL 2006: 257-268 - [e2]Kwangkeun Yi:
Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings. Lecture Notes in Computer Science 4134, Springer 2006, ISBN 3-540-37756-5 [contents] - 2005
- [j10]Hyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe:
Static Extensivity Analysis for ?-Definable Functions over Lattices. New Gener. Comput. 24(1): 53-78 (2005) - [j9]Oukseh Lee, Hongseok Yang, Kwangkeun Yi:
Static insertion of safe and effective memory reuse commands into ML-like programs. Sci. Comput. Program. 58(1-2): 141-178 (2005) - [c25]Oukseh Lee, Hongseok Yang, Kwangkeun Yi:
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ESOP 2005: 124-140 - [c24]Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi:
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. SAS 2005: 203-217 - [e1]Kwangkeun Yi:
Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings. Lecture Notes in Computer Science 3780, Springer 2005, ISBN 3-540-29735-9 [contents] - 2004
- [j8]Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe:
An uncaught exception analysis for Java. J. Syst. Softw. 72(1): 59-69 (2004) - [c23]Oukseh Lee, Kwangkeun Yi:
Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. ISMM 2004: 97-107 - [c22]Chanjin Park, Yoohoon Kang, Chisu Wu, Kwangkeun Yi:
A Static Reference Flow Analysis to Understand Design Pattern Behavior. WCRE 2004: 300-301 - 2003
- [j7]Hyunjun Eo, Oukseh Lee, Kwangkeun Yi:
Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. New Gener. Comput. 22(1): 1-36 (2003) - [c21]Sunae Seo, Hongseok Yang, Kwangkeun Yi:
Automatic Construction of Hoare Proofs from Abstract Interpretation Results. APLAS 2003: 230-245 - [c20]Oukseh Lee, Hongseok Yang, Kwangkeun Yi:
Inserting Safe Memory Reuse Commands into ML-Like Programs. SAS 2003: 171-188 - 2002
- [j6]Nikolay V. Shilov, Kwangkeun Yi:
Engaging students with theory through ACM collegiate programming contest. Commun. ACM 45(9): 98-101 (2002) - [j5]Oukseh Lee, Kwangkeun Yi, Yunheung Paek:
A proof method for the correctness of modularized 0CFA. Inf. Process. Lett. 81(4): 179-185 (2002) - [j4]Kwangkeun Yi, Sukyoung Ryu:
A cost-effective estimation of uncaught exceptions in Standard ML programs. Theor. Comput. Sci. 277(1-2): 185-217 (2002) - [c19]Kwangkeun Yi, Hyunjun Eo:
Static Extensionality Checking for Lambda-Definable Functions Over Lattices. APLAS 2002: 128-144 - [c18]Hyunjun Eo, Kwangkeun Yi:
An Improved Differential Fixpoint Iteration Method for Program Analysis. APLAS 2002: 285-301 - [c17]Oukseh Lee, Hongseok Yang, Kwangkeun Yi:
Inserting Safe Memory Re-use Commands into ML-like Programs. APLAS 2002: 317-333 - [c16]Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi:
Data Flow Analysis of Secure Information-Flow. APLAS 2002: 352-365 - [c15]Andrzej S. Murawski, Kwangkeun Yi:
Static Monotonicity Analysis for lambda-definable Functions over Lattices. VMCAI 2002: 139-153 - 2001
- [c14]Sukyoung Ryu, Kwangkeun Yi:
Exception Analysis for Multithreaded Java Programs. APAQS 2001: 23-32 - [c13]Andrzej S. Murawski, Kwangkeun Yi:
Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. APLAS 2001: 345-362 - [c12]Jeff Polakow, Kwangkeun Yi:
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. FLOPS 2001: 61-77 - [c11]Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe:
Interprocedural exception analysis for Java. SAC 2001: 620-625 - 2000
- [c10]Jeff Polakow, Kwangkeun Yi:
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. APLAS 2000: 23-32 - [c9]Nikolay V. Shilov, Kwangkeun Yi:
A Note on Model Checkers Reuse and Validation. APLAS 2000: 69-77 - [c8]Oukseh Lee, Kwangkeun Yi:
A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. APLAS 2000: 79-88 - [c7]Jungtaek Kim, Kwangkeun Yi:
Partial CPS Transformation Using Static Annotation. APLAS 2000: 193-202
1990 – 1999
- 1999
- [c6]Kwangkeun Yi, Byeong-Mo Chang:
Exception Analysis for Java. ECOOP Workshops 1999: 111-112 - 1998
- [j3]Kwangkeun Yi:
An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs. Sci. Comput. Program. 31(1): 147-173 (1998) - [j2]Oukseh Lee, Kwangkeun Yi:
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. ACM Trans. Program. Lang. Syst. 20(4): 707-723 (1998) - 1997
- [c5]Kwangkeun Yi, Sukyoung Ryu:
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. SAS 1997: 98-113 - 1996
- [c4]Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun:
Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. COMPSAC 1996: 455-460 - 1995
- [j1]Li-Ling Chen, Williams Ludwell Harrison III, Kwangkeun Yi:
Efficient computation of fixpoints that arise in complex program analysis. J. Program. Lang. 3(1) (1995) - 1994
- [c3]Kwangkeun Yi:
Compile-time Detection of Uncaught Exceptions in Standard ML Programs. SAS 1994: 238-254 - 1993
- [b1]Kwangkeun Yi:
Automatic Generation and Management of Program Analyses. University of Illinois Urbana-Champaign, USA, 1993 - [c2]Kwangkeun Yi, Williams Ludwell Harrison III:
Automatic Generation and Management of Interprocedural Program Analyses. POPL 1993: 246-259 - 1990
- [c1]Kwangkeun Yi, Luddy Harrison:
On-the-fly circuit to measure the average working set size. ICCD 1990: 471-474
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-21 23:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
