Papers                [Copyright Notice]
(topics in alphabetical order)
automatic bug detection for C programs program logics
exception analysis program transformation
heap analysis program proof mechanization
multi-staged programming languages static analysis in general
other static analyses typing, inference, program calculi
(For journal/conference categorization: click here)

Automatic Bug Detection for C Programs

실제 C 프로그램의 소스 오류를 자동으로 미리 찾아내는 분석기에 대해서.
Works on sound and automatic detection of bugs in realistic C programs.

Exception Analysis

프로그램에서 처리되지않는 예외상황들을 예측해내는 방법에 대해서.
Works on estimating uncaught exceptions in programs

Heap Analysis

프로그램이 만드는 메모리 구조물의 성질을 예측하는 방법에 대해서.
Works on static estimation of the properties of program's dynamic memory structures.

Multi-Staged Programming Language

프로그램이 프로그램을 만드는 다단계 프로그램의 분석에 대해서.
Works on static analysis for multi-staged programs.

Static Analysis in General

프로그램 분석 이론과 도구등에 대해서.
Works on static analysis in general.

Program Proof Mechanization

프로그램 검증에 사용하는 자동 증명기술 관련.
Works on mechanized proofs on programs.

Program Logics

프로그램 논리와 모델검증에 대해서.
Works on program logics and model checking.

Program Transformation

프로그램 변환에 대해서.
Works on program transformations.

Typing, Inference, Program Calculi

프로그래밍 언어의 타입 유추 시스템과 프로그래밍 모델에 대해서.
Works on static typing, inference, and programming calculi.

Other Static Analyses