Kwangkeun Yi

Available identifiers

zbMath Open yi.kwangkeunDBLPy/KwangkeunYiWikidataQ102196908 ScholiaQ102196908MaRDI QIDQ845980

List of research outcomes

Publication	Date of Publication	Type
A polymorphic modal type system for lisp-like multi-staged languages	2017-08-21	Paper
Automatically inferring loop invariants via algorithmic learning	2016-07-27	Paper
Static analysis of multi-staged programs via unstaging translation	2014-04-10	Paper
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference	2012-10-22	Paper
GMeta: A Generic Formal Metatheory Framework for First-Order Representations	2012-06-22	Paper
Sound Non-statistical Clustering of Static Analysis Alarms	2012-06-15	Paper
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference	2011-05-19	Paper
Access Analysis-Based Tight Localization of Abstract Memories	2011-02-15	Paper
LR error repair using the A* algorithm	2010-05-07	Paper
An empirical study on classification methods for alarms from a bug-finding static C analyzer	2010-01-29	Paper
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction	2010-01-14	Paper
Programming Languages and Systems	2010-01-05	Paper
Type and Effect System for Multi-staged Exceptions	2008-05-06	Paper
EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version	2007-03-08	Paper
Static extensivity analysis for \(\lambda\)-definable functions over lattices	2006-06-12	Paper
Static insertion of safe and effective memory reuse commands into ML-like programs	2005-10-10	Paper
Programming Languages and Systems	2005-09-13	Paper
Proofs of a set of hybrid let-polymorphic type inference algorithms	2005-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4813398	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4736993	2004-08-11	Paper
A cost-effective estimation of uncaught exceptions in Standard ML programs	2002-07-15	Paper
A proof method for the correctness of modularized 0CFA	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q2763630	2002-01-21	Paper
An abstract interpretation for estimating uncaught exceptions in Standard ML programs	2000-01-04	Paper

Research outcomes over time

This page was built for person: Kwangkeun Yi