Kwangkeun Yi

Available identifiers

zbMath Open yi.kwangkeunWikidataQ102196908 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kwangkeun Yi