Technical Memos
- ROSAEC-2010-007
"Inferring Quantified Invariants via Algorithmic Learning, Decision Procedures, and Predicate Abstraction."
Cristina David and Yungbum Jung and Soonho Kong and Bow-Yaw Wang and Kwangkeun Yi. - ROPAS-2006-34
"Off-line Semantic Slicing From Abstract Interpretation Results."
Hongseok Yang and Sunae Seo and Kwangkeun Yi and Taisook Han. - ROPAS-2006-33
"Statically Detecting Uninitialized Array Element Usage in Perl Program [Master Thesis]."
Seungho Han. - ROPAS-2006-32
"An Abstract Interpretation with the Interval Domain for C-like Programs [Master Thesis]."
Jaeho Shin. - ROPAS-2006-31
"Experiment on a Modular Program Analysis That Saves Memory [Master Thesis]."
Jaehwang Kim. - ROPAS-2006-30
"프로그램 분석에서 넓히기(widening)로 인한 정확도 저하를 보완하는 할일하기(worklist) 알고리즘 [석사논문]."
이상우. - ROPAS-2006-29
"완비부분순서집합에서 정의된 단조함수의 최소고정점을 구하는 방법."
박대준. - ROPAS-2006-28
"An Empirical Study on Classification Methods for Alarms from a Bug-Finding Static C Analyzer."
Kwangkeun Yi and Yongdai Kim and Jaehwang Kim and Hosik Choi and Jaeho Shin. - ROPAS-2005-27
"C 프로그램의 배열 참조 오류(buffer overrun)를 모두 자동으로 찾아주는 정적 분석기의 설계와 구현."
정영범 and 김재황 and 신재호 and 이광근. - ROPAS-2005-26
"A Polymorphic Modal Type System for Lisp-Like Multi-Staged Languages."
Ik-Soon Kim and Kwangkeun Yi and Cristiano Calcagno. - ROPAS-2005-25
"Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis."
Yungbum Jung and Jaehwang Kim and Jaeho Shin and Kwangkeun Yi. - ROPAS-2005-24
"Soundness by Static Analysis and False-alarm Removal by Statistical Analysis: Our Airac Experience."
Yungbum Jung and Jaehwang Kim and Jaeho Shin and Kwangkeun Yi. - ROPAS-2005-23
"Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis."
Oukseh Lee and Hongseok Yang and Kwangkeun Yi. - ROPAS-2004-22
"Abstract-value Slicing."
Sunae Seo and Hongseok Yang and Kwangkeun Yi. - ROPAS-2004-21
"A Differential Fixoint Iteration Method for Static Analysis Specifications."
Hyunjun Eo and Kwangkeun Yi. - ROPAS-2003-20
"Automatic Verification and Tuning of Transaction Based Database Applications."
Hyun-Goo Kang and Kwangkeun Yi. - ROPAS-2003-19
"Correctness Proof on an Algorithm to Insert Memory Reuse Commands into ML-like Programs."
Oukseh Lee and Hongseok Yang and Kwangkeun Yi. - ROPAS-2002-18
"Bi-directional Demand-Driven Set-Based Analysis."
Woongsik Choi and Kwangkeun Yi. - ROPAS-2002-17
"Static Extensionality Analysis for Lambda-Definable Functions Over Lattices."
Kwangkeun Yi and Hyunjun Eo. - ROPAS-2001-16
"Proceedings of the Second Asian Workshop on Programming Languages and Systems."
Research On Program Analysis System. - ROPAS-2001-15
"Static Monotonicity Analysis for Lambda-Definable Functions over Lattices."
Andrzej Murawski and Kwangkeun Yi. - ROPAS-2001-14
"A Semantic Basis for Local Reasoning."
Hongseok Yang and Peter O'Hearn. - ROPAS-2001-13
"Computability and Complexity Results for a Spatial Assertion Language for Data Structures."
Cristiano Calcagno and Hongseok Yang and Peter O'Hearn. - ROPAS-2001-12
"Compile Time Evaluation of Pattern Matching."
Laszlo Nemeth. - ROPAS-2001-11
"Exception Analysis for Multithreaded Java Programs."
Sukyoung Ryu. - ROPAS-2001-10
"Yet Another Ensemble of Abstract Interpreter, Higher-Order Data-Flow Equations, and Model Checking."
Kwangkeun Yi. - ROPAS-2000-9
"A Proof Method for the Correctness of Modularized kCFAs."
Oukseh Lee and Kwangkeun Yi. - ROPAS-2000-8
"Proving Exception Stackability and Linearity in an Ordered Logical Framework."
Jeff Polakow and Kwangkeun Yi. - ROPAS-2000-7
"Program Logics Made Easy."
Nikolay Shilov and Kwangkeun Yi. - ROPAS-2000-6
"Verification of Machine Codes Using An Effect Type System."
Jaeyoun Chung and Sukyoung Ryu and Kwangkeun Yi. - ROPAS-2000-5
"A Generalized Let-Polymorphic Type Inference Algorithm."
Oukseh Lee and Kwangkeun Yi. - ROPAS-2000-4
"Modularization of 0-CFA Makes It Polyvariant."
Oukseh Lee and Kwangkeun Yi. - ROPAS-1999-3
"Automatic Test Data Generation for Exceptions in First-Order ML Programs."
Sukyoung Ryu and Kwangkeun Yi. - ROPAS-1999-2
"Reconstructing the Types of Stack-Machine Codes."
Oukseh Lee and Kwangkeun Yi. - ROPAS-1999-1
"Preparing Set-Based Analysis for Run-time Specialization."
Hyunjun Eo and Kwangkeun Yi.
Register new technical memos