BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × China
1 × Estonia
1 × Italy
1 × Japan
1 × Spain
1 × The Netherlands
12 × USA
2 × France
2 × Germany
3 × United Kingdom
Collaborated with:
W.Lee Y.Jung H.Oh H.Yang O.Lee W.Lee B.Wang W.Choi S.Kong A.S.Murawski J.Polakow S.Ryu ∅ W.L.H.III B.C.d.S.Oliveira K.Heo S.Cho L.Brutschy I.Kim C.Calcagno H.Hong J.H.Cheon G.Lee H.Kim S.Kim B.Aktemur M.Tatsuta J.Kim J.Shin C.Park Y.Kang C.Wu B.Chang J.Jo K.Choe T.Schrijvers J.Kang Yoonseung Kim Youngju Song J.Lee Sanghoon Park Mark Dongyeon Shin Yonghyun Kim Joonwon Choi C.Hur
Talks about:
analysi (12) program (9) static (6) memori (5) base (5) except (4) learn (4) like (4) abstract (3) languag (3)

Person: Kwangkeun Yi

DBLP DBLP: Yi:Kwangkeun

Facilitated 1 volumes:

SAS 2006Ed

Contributed to:

OOPSLA 20152015
SAS 20152015
PLDI 20142014
SAS 20142014
CAV 20122012
ESOP 20122012
PLDI 20122012
VMCAI 20122012
ICSE 20112011
POPL 20112011
TACAS 20112011
VMCAI 20112011
VMCAI 20102010
GPCE 20092009
ISMM 20082008
POPL 20062006
ESOP 20052005
SAS 20052005
ISMM 20042004
WCRE 20042004
SAS 20032003
VMCAI 20022002
FLOPS 20012001
SAC 20012001
SAS 19971997
SAS 19941994
POPL 19931993
PLDI 20182018

Wrote 29 papers:

OOPSLA-2015-OhYY #adaptation #learning #optimisation #program analysis
Learning a strategy for adapting a program analysis via bayesian optimisation (HO, HY, KY), pp. 572–588.
SAS-2015-LeeHYC #static analysis
Static Analysis with Set-Closure in Secrecy (WL, HH, KY, JHC), pp. 18–35.
PLDI-2014-OhLHYY #context-sensitive grammar
Selective context-sensitivity guided by impact pre-analysis (HO, WL, KH, HY, KY), p. 49.
SAS-2014-LeeOY
A Progress Bar for Static Analyzers (WL, HO, KY), pp. 184–200.
CAV-2012-LeeWY #algorithm #analysis #learning #termination
Termination Analysis with Algorithmic Learning (WL, BYW, KY), pp. 88–104.
ESOP-2012-LeeOCY #first-order #framework #named
GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.
PLDI-2012-OhHLLY #analysis #design #implementation
Design and implementation of sparse global analyses for C-like languages (HO, KH, WL, WL, KY), pp. 229–238.
PLDI-2012-OliveiraSCLY #calculus #programming
The implicit calculus: a new foundation for generic programming (BCdSO, TS, WC, WL, KY), pp. 35–44.
VMCAI-2012-LeeLY #clustering #static analysis #statistics
Sound Non-statistical Clustering of Static Analysis Alarms (WL, WL, KY), pp. 299–314.
ICSE-2011-KimJKY #clone detection #detection #memory management #named
MeCC: memory comparison-based clone detector (HK, YJ, SK, KY), pp. 301–310.
POPL-2011-ChoiAYT #multi #source code #static analysis
Static analysis of multi-staged programs via unstaging translation (WC, BA, KY, MT), pp. 81–92.
TACAS-2011-JungLWY #generative #invariant #quantifier
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (YJ, WL, BYW, KY), pp. 205–219.
VMCAI-2011-OhBY #locality
Access Analysis-Based Tight Localization of Abstract Memories (HO, LB, KY), pp. 356–370.
VMCAI-2010-JungKWY #abstraction #algorithm #invariant #learning
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction (YJ, SK, BYW, KY), pp. 180–196.
GPCE-2009-KongCY #parsing
Abstract parsing for two-staged languages with concatenation (SK, WC, KY), pp. 109–116.
ISMM-2008-JungY #detection #memory management #summary
Practical memory leak detector based on parameterized procedural summaries (YJ, KY), pp. 131–140.
POPL-2006-KimYC #multi #polymorphism #type system
A polymorphic modal type system for lisp-like multi-staged languages (ISK, KY, CC), pp. 257–268.
ESOP-2005-LeeYY #analysis #automation #grammarware #pointer #source code #using #verification
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis (OL, HY, KY), pp. 124–140.
SAS-2005-JungKSY #analysis #c #statistics
Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis (YJ, JK, JS, KY), pp. 203–217.
ISMM-2004-LeeY #automation #effectiveness #memory management #source code
Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs (OL, KY), pp. 97–107.
WCRE-2004-ParkKWY #analysis #behaviour #design pattern
A Static Reference Flow Analysis to Understand Design Pattern Behavior (CP, YK, CW, KY), pp. 300–301.
SAS-2003-LeeYY #memory management #reuse #source code
Inserting Safe Memory Reuse Commands into ML-Like Programs (OL, HY, KY), pp. 171–188.
VMCAI-2002-MurawskiY #analysis
Static Monotonicity Analysis for lambda-definable Functions over Lattices (ASM, KY), pp. 139–153.
FLOPS-2001-PolakovY #exception #framework #logic #order #proving
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework (JP, KY), pp. 61–77.
SAC-2001-ChangJYC #analysis #exception #interprocedural #java
Interprocedural exception analysis for Java (BMC, JWJ, KY, KMC), pp. 620–625.
SAS-1997-YiR #effectiveness #estimation #exception #source code #towards
Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs (KY, SR), pp. 98–113.
SAS-1994-Yi #detection #exception #ml #source code #standard
Compile-time Detection of Uncaught Exceptions in Standard ML Programs (KY), pp. 238–254.
POPL-1993-YiH #analysis #automation #generative #interprocedural
Automatic Generation and Management of Interprocedural Program Analyses (KY, WLHI), pp. 246–259.
PLDI-2018-KangKSLPSKCCHY #compilation #named
Crellvm: verified credible compilation for LLVM (JK, YK, YS, JL, SP, MDS, YK, SC, JC, CKH, KY), pp. 631–645.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.