Kwangkeun Yi - RankMe

86 papers A* 11A 4B 27C 4Misc 2Journal 32Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Inductive Program Synthesis by Meta-Analysis-Guided Hole Filling. Proc. ACM Program. Lang. Doyoon Lee, Woosuk Lee, Kwangkeun Yi
2025	J	`jnl`	React-tRace: A Semantics for Understanding React Hooks. CoRR Jay Lee, Joongwon Ahn, Kwangkeun Yi
2025	J	`jnl`	React-tRace: A Semantics for Understanding React Hooks: An Operational Semantics and a Visualizer for Clarifying React Hooks. Proc. ACM Program. Lang. Jay Lee, Joongwon Ahn, Kwangkeun Yi
2023	J	`jnl`	Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation. CoRR Yongho Yoon, Woosuk Lee, Kwangkeun Yi
2023	J	`jnl`	Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation. Proc. ACM Program. Lang. Yongho Yoon, Woosuk Lee, Kwangkeun Yi
2023	J	`jnl`	Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Trans. Program. Lang. Syst. DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
2022	—	`conf`	A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code. ICSE-Companion Ho Young Jhoo, Sehoon Kim, Woosung Song, Kyuyeon Park, DongKwon Lee, Kwangkeun Yi
2021	J	`jnl`	A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training Code. CoRR Ho Young Jhoo, Sehoon Kim, Woosung Song, Kyuyeon Park, DongKwon Lee, Kwangkeun Yi
2020	A*	`conf`	Optimizing homomorphic evaluation circuits by program synthesis and term rewriting. PLDI DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
2018	J	`jnl`	Adaptive Static Analysis via Learning with Bayesian Optimization. ACM Trans. Program. Lang. Syst. Kihong Heo, Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
2018	A*	`conf`	Crellvm: verified credible compilation for LLVM. PLDI Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi
2017	A*	`conf`	Machine-learning-guided selectively unsound static analysis. ICSE Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2017	J	`jnl`	Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis. Softw. Pract. Exp. Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2017	J	`jnl`	Sound Non-Statistical Clustering of Static Analysis Alarms. ACM Trans. Program. Lang. Syst. Woosuk Lee, Wonchan Lee, Dongok Kang, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2016	J	`jnl`	Selective X-Sensitive Analysis Guided by Impact Pre-Analysis. ACM Trans. Program. Lang. Syst. Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
2016	J	`jnl`	Widening with thresholds via binary search. Softw. Pract. Exp. Sol Kim, Kihong Heo, Hakjoo Oh, Kwangkeun Yi
2015	J	`jnl`	Automatically inferring loop invariants via algorithmic learning. Math. Struct. Comput. Sci. Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi
2015	A	`conf`	Learning a strategy for adapting a program analysis via bayesian optimisation. OOPSLA Hakjoo Oh, Hongseok Yang, Kwangkeun Yi
2015	B	`conf`	Static Analysis with Set-Closure in Secrecy. SAS Woosuk Lee, Hyunsook Hong, Kwangkeun Yi, Jung Hee Cheon
2014	B	`conf`	A Progress Bar for Static Analyzers. SAS Woosuk Lee, Hakjoo Oh, Kwangkeun Yi
2014	J	`jnl`	Global Sparse Analysis Framework. ACM Trans. Program. Lang. Syst. Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
2014	A*	`conf`	Selective context-sensitivity guided by impact pre-analysis. PLDI Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
2013	J	`jnl`	Access-based abstract memory localization in static analysis. Sci. Comput. Program. Hakjoo Oh, Kwangkeun Yi
2012	A*	`conf`	Design and implementation of sparse global analyses for C-like languages. PLDI Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi
2012	J	`jnl`	Extended Report: The Implicit Calculus CoRR Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
2012	A	`conf`	GMeta: A Generic Formal Metatheory Framework for First-Order Representations. ESOP Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
2012	J	`jnl`	Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference Log. Methods Comput. Sci. Wonchan Lee, Yungbum Jung, Bow-Yaw Wang, Kwangkeun Yi
2012	B	`conf`	Sound Non-statistical Clustering of Static Analysis Alarms. VMCAI Woosuk Lee, Wonchan Lee, Kwangkeun Yi
2012	A*	`conf`	Termination Analysis with Algorithmic Learning. CAV Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi
2012	A*	`conf`	The implicit calculus: a new foundation for generic programming. PLDI Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
2011	B	`conf`	Access Analysis-Based Tight Localization of Abstract Memories. VMCAI Hakjoo Oh, Lucas Brutschy, Kwangkeun Yi
2011	B	`conf`	Access-Based Localization with Bypassing. APLAS Hakjoo Oh, Kwangkeun Yi
2011	A*	`conf`	MeCC: memory comparison-based clone detector. ICSE Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun Yi
2011	A	`conf`	Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. TACAS Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi
2011	A*	`conf`	Static analysis of multi-staged programs via unstaging translation. POPL Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta
2010	J	`jnl`	An algorithmic mitigation of large spurious interprocedural cycles in static analysis. Softw. Pract. Exp. Hakjoo Oh, Kwangkeun Yi
2010	B	`conf`	Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. APLAS Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi
2010	B	`conf`	Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction. VMCAI Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun Yi
2010	J	`jnl`	LR error repair using the A* algorithm. Acta Informatica Ik-Soon Kim, Kwangkeun Yi
2009	B	`conf`	Abstract parsing for two-staged languages with concatenation. GPCE Soonho Kong, Wontae Choi, Kwangkeun Yi
2009	—	`conf`	Identifying static analysis techniques for finding non-fix hunks in fix revisions. CIKM-DSMM Yungbum Jung, Hakjoo Oh, Kwangkeun Yi
2009	C	`conf`	Test Coverage Metric for Two-Staged Language with Abstract Interpretation. APSEC Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik, Chisu Wu, Kwangkeun Yi
2008	C	`conf`	Practical memory leak detector based on parameterized procedural summaries. ISMM Yungbum Jung, Kwangkeun Yi
2007	J	`jnl`	An empirical study on classification methods for alarms from a bug-finding static C analyzer. Inf. Process. Lett. Kwangkeun Yi, Hosik Choi, Jaehwang Kim, Yongdai Kim
2007	J	`jnl`	Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han
2006	A*	`conf`	A polymorphic modal type system for lisp-like multi-staged languages. POPL Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno
2006	J	`jnl`	Educational Pearl: 'Proof-directed debugging' revisited for a first-order version. J. Funct. Program. Kwangkeun Yi
2006	B	`ed.`	Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings SAS Kwangkeun Yi
2006	B	`conf`	Type and Effect System for Multi-staged Exceptions. APLAS Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi
2005	A	`conf`	Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ESOP Oukseh Lee, Hongseok Yang, Kwangkeun Yi
2005	B	`ed.`	Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings APLAS Kwangkeun Yi
2005	J	`jnl`	Static Extensivity Analysis for ?-Definable Functions over Lattices. New Gener. Comput. Hyunjun Eo, Kwangkeun Yi, Kwang-Moo Choe
2005	J	`jnl`	Static insertion of safe and effective memory reuse commands into ML-like programs. Sci. Comput. Program. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
2005	B	`conf`	Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. SAS Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi
2004	—	`conf`	A Static Reference Flow Analysis to Understand Design Pattern Behavior. WCRE Chanjin Park, Yoohoon Kang, Chisu Wu, Kwangkeun Yi
2004	J	`jnl`	An uncaught exception analysis for Java. J. Syst. Softw. Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe
2004	C	`conf`	Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. ISMM Oukseh Lee, Kwangkeun Yi
2003	B	`conf`	Automatic Construction of Hoare Proofs from Abstract Interpretation Results. APLAS Sunae Seo, Hongseok Yang, Kwangkeun Yi
2003	B	`conf`	Inserting Safe Memory Reuse Commands into ML-Like Programs. SAS Oukseh Lee, Hongseok Yang, Kwangkeun Yi
2003	J	`jnl`	Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. New Gener. Comput. Hyunjun Eo, Oukseh Lee, Kwangkeun Yi
2002	J	`jnl`	A cost-effective estimation of uncaught exceptions in Standard ML programs. Theor. Comput. Sci. Kwangkeun Yi, Sukyoung Ryu
2002	J	`jnl`	A proof method for the correctness of modularized 0CFA. Inf. Process. Lett. Oukseh Lee, Kwangkeun Yi, Yunheung Paek
2002	B	`conf`	An Improved Differential Fixpoint Iteration Method for Program Analysis. APLAS Hyunjun Eo, Kwangkeun Yi
2002	B	`conf`	Data Flow Analysis of Secure Information-Flow. APLAS Kyung-Goo Doh, Seung Cheol Shin, Kwangkeun Yi
2002	J	`jnl`	Engaging students with theory through ACM collegiate programming contest. Commun. ACM Nikolay V. Shilov, Kwangkeun Yi
2002	B	`conf`	Inserting Safe Memory Re-use Commands into ML-like Programs. APLAS Oukseh Lee, Hongseok Yang, Kwangkeun Yi
2002	B	`conf`	Static Extensionality Checking for Lambda-Definable Functions Over Lattices. APLAS Kwangkeun Yi, Hyunjun Eo
2002	B	`conf`	Static Monotonicity Analysis for lambda-definable Functions over Lattices. VMCAI Andrzej S. Murawski, Kwangkeun Yi
2001	—	`conf`	Exception Analysis for Multithreaded Java Programs. APAQS Sukyoung Ryu, Kwangkeun Yi
2001	Misc	`conf`	Interprocedural exception analysis for Java. SAC Byeong-Mo Chang, Jang-Wu Jo, Kwangkeun Yi, Kwang-Moo Choe
2001	Misc	`conf`	Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. FLOPS Jeff Polakow, Kwangkeun Yi
2001	B	`conf`	Static Monotonicity Analysis for lambda-Definable Functions. over Lattices. APLAS Andrzej S. Murawski, Kwangkeun Yi
2000	B	`conf`	A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. APLAS Oukseh Lee, Kwangkeun Yi
2000	B	`conf`	A Note on Model Checkers Reuse and Validation. APLAS Nikolay V. Shilov, Kwangkeun Yi
2000	B	`conf`	Partial CPS Transformation Using Static Annotation. APLAS Jungtaek Kim, Kwangkeun Yi
2000	B	`conf`	Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. APLAS Jeff Polakow, Kwangkeun Yi
1999	—	`conf`	Exception Analysis for Java. ECOOP Workshops Kwangkeun Yi, Byeong-Mo Chang
1998	J	`jnl`	An Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs. Sci. Comput. Program. Kwangkeun Yi
1998	J	`jnl`	Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. ACM Trans. Program. Lang. Syst. Oukseh Lee, Kwangkeun Yi
1997	B	`conf`	Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs. SAS Kwangkeun Yi, Sukyoung Ryu
1996	B	`conf`	Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations. COMPSAC Kwangkeun Yi, Sukyoung Ryu, Kihyun Pyun
1995	J	`jnl`	Efficient computation of fixpoints that arise in complex program analysis. J. Program. Lang. Li-Ling Chen, Williams Ludwell Harrison III, Kwangkeun Yi
1994	B	`conf`	Compile-time Detection of Uncaught Exceptions in Standard ML Programs. SAS Kwangkeun Yi
1993	A*	`conf`	Automatic Generation and Management of Interprocedural Program Analyses. POPL Kwangkeun Yi, Williams Ludwell Harrison III
1993	—	`—`	Automatic Generation and Management of Program Analyses Kwangkeun Yi
1990	C	`conf`	On-the-fly circuit to measure the average working set size. ICCD Kwangkeun Yi, Luddy Harrison