Yi, Kwangkeun "Kwang" - School of Computer Science and Engineering, Seoul National University

• Type and Effect System for Multi-Staged Hyunjun Eo1
• Abstract Parsing for Two-staged Languages with Concatenation
• Information Processing Letters 102 (2007) 118123 www.elsevier.com/locate/ipl
• MeCC: Memory Comparison-based Clone Detector Heejung Kim
• Inserting Safe Memory Reuse Commands into ML-like Programs
• Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
• Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
• SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2000; 00:17 Prepared using speauth.cls [Version: 2002/09/23 v2.2]
• Goal-Directed Weakening of Abstract Interpretation Results
• Acta Informatica DOI 10.1007/s00236-010-0115-6
• Science of Computer Programming 58 (2005) 141178 www.elsevier.com/locate/scico
• Static Extensivity Analysis for Definable Functions Over Lattices 1 Static Extensivity Analysis for Definable
• On Expressive and Model Checking Power of Propositional Program Logics
• A Polymorphic Modal Type System for Lisp-Like Multi-Staged Ik-Soon Kim
• Static Analysis of Multi-Staged Programs via Unstaging Translation
• Access Analysis-Based Tight Localization of Abstract Memories
• A Practical Memory Leak Detector Based on Parameterized Procedural Summaries
• JFP 16 (6): 663670, 2006. c 2006 Cambridge University Press doi:10.1017/S0956796806006149 First published online 14 September 2006 Printed in the United Kingdom
• A Polymorphic Modal Type System for Lisp-like Multi-Staged Languages
• Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
• Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis
• Soundness by Static Analysis and False-alarm Removal by Statistical Analysis
• Theoretical Computer Science 277 (2002) 185217 www.elsevier.com/locate/tcs
• 98 September 2002/Vol. 45, No. 9 COMMUNICATIONS OF THE ACM The role of formal methods in the development
• An uncaught exception analysis for Java q,qq Jang-Wu Jo a,*, Byeong-Mo Chang b
• Experiments on the Effectiveness of an Automatic Insertion of Memory Reuses into ML-like Programs
• Experiments on the Effectiveness of an Automatic Insertion of Safe Memory Reuses into ML-like Programs
• Automatic Construction of Hoare Proofs from Abstract Interpretation Results
• Exception Analysis for Multithreaded Java Programs Sukyoung Ryu and Kwangkeun Yi
• THE LOGIC IN COMPUTER SCIENCE COLLUMN Yuri GUREVICH #
• PCC Framework for Program-Generators Soonho Kong Wontae Choi Kwangkeun Yi
• Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
• Static Monotonicity Analysis for -Definable Functions over Lattices
• THE LOGIC IN COMPUTER SCIENCE COLLUMN Yuri GUREVICH
• Sound Non-Statistical Clustering of Static Analysis Alarms
• GMeta: A Generic Formal Metatheory Framework for First-Order Representations
• Access-Based Localization with Bypassing Hakjoo Oh and Kwangkeun Yi
• Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple