The following pages link to Kwangkeun Yi (Q845980):
Displayed 24 items.
- An empirical study on classification methods for alarms from a bug-finding static C analyzer (Q845982) (← links)
- LR error repair using the A* algorithm (Q969645) (← links)
- A proof method for the correctness of modularized 0CFA (Q1603499) (← links)
- A cost-effective estimation of uncaught exceptions in Standard ML programs (Q1605229) (← links)
- Proofs of a set of hybrid let-polymorphic type inference algorithms (Q1762932) (← links)
- An abstract interpretation for estimating uncaught exceptions in Standard ML programs (Q1818315) (← links)
- Static extensivity analysis for \(\lambda\)-definable functions over lattices (Q2493277) (← links)
- Static insertion of safe and effective memory reuse commands into ML-like programs (Q2568450) (← links)
- (Q2763630) (← links)
- Sound Non-statistical Clustering of Static Analysis Alarms (Q2891424) (← links)
- GMeta: A Generic Formal Metatheory Framework for First-Order Representations (Q2892744) (← links)
- Access Analysis-Based Tight Localization of Abstract Memories (Q3075495) (← links)
- EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version (Q3426132) (← links)
- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction (Q3656883) (← links)
- (Q4736993) (← links)
- (Q4813398) (← links)
- Programming Languages and Systems (Q5316560) (← links)
- A polymorphic modal type system for lisp-like multi-staged languages (Q5348928) (← links)
- Type and Effect System for Multi-staged Exceptions (Q5385587) (← links)
- Static analysis of multi-staged programs via unstaging translation (Q5408534) (← links)
- Automatically inferring loop invariants via algorithmic learning (Q5740643) (← links)
- Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (Q5892496) (← links)
- Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (Q5894958) (← links)
- Programming Languages and Systems (Q5902363) (← links)